Skip to content

Commit bd78f1c

Browse files
committed
oasis: build quickcheck when testing
1 parent 27dade4 commit bd78f1c

File tree

2 files changed

+11
-10
lines changed

2 files changed

+11
-10
lines changed

_oasis

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ Library quickcheck
3535
Findlibparent: packet
3636
Findlibname: quickcheck
3737
Path: quickcheck
38-
Build$: flag(quickcheck)
38+
Build$: flag(tests) || flag(quickcheck)
3939
BuildDepends:
4040
packet,
4141
quickcheck
@@ -45,7 +45,7 @@ Library quickcheck
4545
Executable testtool
4646
Path: test
4747
Install: false
48-
Build$: flag(tests) && flag(quickcheck)
48+
Build$: flag(tests)
4949
MainIs: Test.ml
5050
BuildDepends:
5151
oUnit,

setup.ml

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
(* setup.ml generated for the first time by OASIS v0.3.0 *)
22

33
(* OASIS_START *)
4-
(* DO NOT EDIT (digest: 9b08b8c7c1334543fac7a194c0900bf6) *)
4+
(* DO NOT EDIT (digest: ce1959053de2f5f88ac0db40b0c888f8) *)
55
(*
66
Regenerated by OASIS v0.4.1
77
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6886,7 +6886,10 @@ let setup_t =
68866886
bs_build =
68876887
[
68886888
(OASISExpr.EBool true, false);
6889-
(OASISExpr.EFlag "quickcheck", true)
6889+
(OASISExpr.EOr
6890+
(OASISExpr.EFlag "tests",
6891+
OASISExpr.EFlag "quickcheck"),
6892+
true)
68906893
];
68916894
bs_install = [(OASISExpr.EBool true, true)];
68926895
bs_path = "quickcheck";
@@ -6925,10 +6928,7 @@ let setup_t =
69256928
bs_build =
69266929
[
69276930
(OASISExpr.EBool true, false);
6928-
(OASISExpr.EAnd
6929-
(OASISExpr.EFlag "tests",
6930-
OASISExpr.EFlag "quickcheck"),
6931-
true)
6931+
(OASISExpr.EFlag "tests", true)
69326932
];
69336933
bs_install = [(OASISExpr.EBool true, false)];
69346934
bs_path = "test";
@@ -6999,14 +6999,15 @@ let setup_t =
69996999
};
70007000
oasis_fn = Some "_oasis";
70017001
oasis_version = "0.4.1";
7002-
oasis_digest = Some "XHS\225\\\162\198r:\166)5\157,\183\004";
7002+
oasis_digest =
7003+
Some "\137\143]\202\128U\229w\236q\235\178\228\158\161\179";
70037004
oasis_exec = None;
70047005
oasis_setup_args = [];
70057006
setup_update = false
70067007
};;
70077008

70087009
let setup () = BaseSetup.setup setup_t;;
70097010

7010-
# 7011 "setup.ml"
7011+
# 7012 "setup.ml"
70117012
(* OASIS_STOP *)
70127013
let () = setup ();;

0 commit comments

Comments
 (0)