diff --git a/bin/dune b/bin/dune index 4820fbfc19fc07d42764e7d0b73fe7406b517847..e092d32044d8ee3d37118617ee2930aede2ba44b 100644 --- a/bin/dune +++ b/bin/dune @@ -1,8 +1,8 @@ -;; Time-stamp: <modified the 21/02/2019 (at 16:31) by Erwan Jahier> +;; Time-stamp: <modified the 14/03/2019 (at 17:01) by Erwan Jahier> (executable (name sasa) - (libraries dynlink ocamlgraph algo) + (libraries dynlink ocamlgraph algo lutils) ) (install diff --git a/bin/sasa.ml b/bin/sasa.ml index a8c740e72ca1c97446434e1bc114c79bb519a4ba..0dad048b31e14c8efcaf1e8d877acd328c848fd9 100644 --- a/bin/sasa.ml +++ b/bin/sasa.ml @@ -1,4 +1,4 @@ -(* Time-stamp: <modified the 14/03/2019 (at 16:57) by Erwan Jahier> *) +(* Time-stamp: <modified the 14/03/2019 (at 17:05) by Erwan Jahier> *) (* XXX Je pourrais utiliser Lwt pour rendre step non-bloquant, ce qui permettrait d'accelerer la simu sur les machines qui ont plusieurs @@ -179,6 +179,7 @@ let () = exit 0); let n = SasArg.args.length in if SasArg.args.rif then ( + Printf.printf "%s" (Mypervasives.entete "#" "version" "sha"); if SasArg.args.demon <> Demon.Custom then Printf.printf "#seed %i\n" SasArg.args.seed; Printf.printf "#inputs %s\n"