blob: 1cd2bb503889db53ccc83cf4ed414f3193b9e843 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
{
darwin,
fetchurl,
lib,
ocamlPackages,
stdenv,
}:
let
pname = "alt-ergo";
version = "2.6.0";
src = fetchurl {
url = "https://github.com/OCamlPro/alt-ergo/releases/download/v${version}/alt-ergo-${version}.tbz";
hash = "sha256-EmkxGvJSeKRmiSuoeMyIi6WfF39T3QPxKixiOwP8834=";
};
in
let
alt-ergo-lib = ocamlPackages.buildDunePackage {
pname = "alt-ergo-lib";
inherit version src;
buildInputs = with ocamlPackages; [ ppx_blob ];
propagatedBuildInputs = with ocamlPackages; [
camlzip
dolmen_loop
dune-build-info
fmt
ocplib-simplex
ppx_deriving
seq
stdlib-shims
zarith
];
};
in
let
alt-ergo-parsers = ocamlPackages.buildDunePackage {
pname = "alt-ergo-parsers";
inherit version src;
nativeBuildInputs = [ ocamlPackages.menhir ];
propagatedBuildInputs = [ alt-ergo-lib ] ++ (with ocamlPackages; [ psmt2-frontend ]);
};
in
ocamlPackages.buildDunePackage {
inherit pname version src;
nativeBuildInputs = [
ocamlPackages.menhir
] ++ lib.optionals stdenv.hostPlatform.isDarwin [ darwin.sigtool ];
propagatedBuildInputs =
[ alt-ergo-parsers ]
++ (with ocamlPackages; [
cmdliner
dune-site
ppxlib
]);
outputs = [
"bin"
"out"
];
installPhase = ''
runHook preInstall
dune install --prefix $bin ${pname}
mkdir -p $out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib
mv $bin/lib/alt-ergo $out/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib/
runHook postInstall
'';
meta = {
description = "High-performance theorem prover and SMT solver";
homepage = "https://alt-ergo.ocamlpro.com/";
license = lib.licenses.ocamlpro_nc;
maintainers = [ lib.maintainers.thoughtpolice ];
};
}
|
