st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-27 00:58:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Better gdb support

Browse source
This commit is contained in:
Dmitry Boulytchev 2020-09-08 01:50:16 +03:00
parent e2e6d47996
commit 2dbd6808a5
4 changed files with 16 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/Driver.ml
View file

@ -66,6 +66,7 @@ class options args =
val paths = ref [X86.get_std_path ()]
val mode = ref (`Default : [`Default | `Eval | `SM | `Compile ])
val curdir = Unix.getcwd ()
val debug = ref false
(* Workaround until Ostap starts to memoize properly *)
val const = ref false
(* end of the workaround *)
@ -87,6 +88,7 @@ class options args =
| "-dp" -> self#set_dump dump_ast
| "-h" -> self#set_help
| "-v" -> self#set_version
| "-g" -> self#set_debug
| _ ->
if opt.[0] = '-'
then raise (Commandline_error (Printf.sprintf "Invalid command line specifier ('%s')" opt))
@ -171,6 +173,10 @@ class options args =
);
if !version then Printf.printf "%s\n" Version.version;
if !help then Printf.printf "%s" help_string
method get_debug =
if !debug then "" else "-g"
method set_debug =
debug := true
end
let main =