pyrox.dev
lol
alt-ergo: use Dune 2
authored by
Vincent Laporte
and committed by
Vincent Laporte
f9a4e6b1
60358d0d
+5
-3
+5
-3
pkgs/applications/science/logic/alt-ergo/default.nix
+5
-3
pkgs/applications/science/logic/alt-ergo/default.nix
···
9
9
sha256 = "124k2a4ikk4wdpmvgjpgl97x9skvr9qznk8m68dzsynzpv6yksaj";
10
10
};
11
11
12
+
useDune2 = true;
13
+
12
14
nativeBuildInputs = [ which ];
13
15
14
16
in
15
17
16
18
let alt-ergo-lib = ocamlPackages.buildDunePackage rec {
17
19
pname = "alt-ergo-lib";
18
-
inherit version src nativeBuildInputs;
20
+
inherit version src useDune2 nativeBuildInputs;
19
21
configureFlags = pname;
20
22
propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex stdlib-shims zarith ];
21
23
}; in
22
24
23
25
let alt-ergo-parsers = ocamlPackages.buildDunePackage rec {
24
26
pname = "alt-ergo-parsers";
25
-
inherit version src nativeBuildInputs;
27
+
inherit version src useDune2 nativeBuildInputs;
26
28
configureFlags = pname;
27
29
buildInputs = with ocamlPackages; [ menhir ];
28
30
propagatedBuildInputs = [ alt-ergo-lib ] ++ (with ocamlPackages; [ camlzip psmt2-frontend ]);
···
30
32
31
33
ocamlPackages.buildDunePackage {
32
34
33
-
inherit pname version src nativeBuildInputs;
35
+
inherit pname version src useDune2 nativeBuildInputs;
34
36
35
37
configureFlags = pname;
36
38