Commit d5ac6fe5 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

enhance the online doc of lurettetop

parent 2ee15c1e
......@@ -85,8 +85,8 @@ ungited
tmp
strtop
save
parser.ml*
lexer.ml*
parser.ml
lexer.ml
ocaml2c.*
lurettetop
lucky
......
......@@ -55,9 +55,19 @@ let rp_help ="
Examples:
\"sut:v6:controler.lus:main\"
\"env:lutin:train:tgv\"
\"env:lutin:train.lut:tgv\"
\"oracle:socket:127.0.0.0:2042\"
"
If one needs to pass other options, one just need to add it
at the end of the rp, separating options by ':'.
For instance, if the train.lut requires an extern dynamic library
libm.so, one would need to pass the option \"-L libm.so\" to the
Lutin interpreter. In order to do the same from lurettetop,
one would write:
\"env:lutin:train:tgv:-L:libm.so\"
"
(* compiler used to compiler sut and oracles *)
(* XXX obselete soon! *)
......
......@@ -199,8 +199,13 @@ let put_in_scope (env: t) (id : Syntaxe.ident) (ii : CkIdentInfo.t) = (
))
)
) with Not_found -> (
Verbose.exe ~level:3
(fun () ->
printf "Add %s to the current scope\n" id.it ;
flush stdout);
Hashtbl.add env.ce_scope id.it ii
));
)
)
(*
let bdgs = Util.hfind_all env.ce_scope id.it in
let pii ii = (printf " %s\n" (CkIdentInfo.to_string ii)) in
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment