oasis files

This commit is contained in:
Simon Cruanes 2014-05-23 00:43:07 +02:00
parent 55176dbbbe
commit e2002e81ce

View file

@ -1,7 +1,7 @@
(* setup.ml generated for the first time by OASIS v0.4.4 *) (* setup.ml generated for the first time by OASIS v0.4.4 *)
(* OASIS_START *) (* OASIS_START *)
(* DO NOT EDIT (digest: 5f80fb20c64a544367659040be09908f) *) (* DO NOT EDIT (digest: 78058340d0a14266a99c9216440367bb) *)
(* (*
Regenerated by OASIS v0.4.4 Regenerated by OASIS v0.4.4
Visit http://oasis.forge.ocamlcore.org for more information and Visit http://oasis.forge.ocamlcore.org for more information and
@ -7522,9 +7522,7 @@ let setup_t =
(OASISExpr.EFlag "tests", false); (OASISExpr.EFlag "tests", false);
(OASISExpr.EAnd (OASISExpr.EAnd
(OASISExpr.EFlag "tests", (OASISExpr.EFlag "tests",
OASISExpr.EAnd OASISExpr.EFlag "tests"),
(OASISExpr.EFlag "tests",
OASISExpr.EFlag "lwt")),
true) true)
]; ];
test_tools = test_tools =
@ -7593,7 +7591,7 @@ let setup_t =
}; };
oasis_fn = Some "_oasis"; oasis_fn = Some "_oasis";
oasis_version = "0.4.4"; oasis_version = "0.4.4";
oasis_digest = Some "\208\135\146\229\213g\015Y2\180\215\211H\239\2007"; oasis_digest = Some "&\163\185\217A\246D\015Z\230\255\177X*\186\157";
oasis_exec = None; oasis_exec = None;
oasis_setup_args = []; oasis_setup_args = [];
setup_update = false setup_update = false
@ -7601,6 +7599,6 @@ let setup_t =
let setup () = BaseSetup.setup setup_t;; let setup () = BaseSetup.setup setup_t;;
# 7605 "setup.ml" # 7603 "setup.ml"
(* OASIS_STOP *) (* OASIS_STOP *)
let () = setup ();; let () = setup ();;