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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
{
lib,
stdenv,
buildDunePackage,
ocaml,
fetchFromGitHub,
menhir,
darwin,
bitwuzla-cxx,
bos,
cmdliner,
dolmen_model,
dolmen_type,
dune-build-info,
dune-site,
fpath,
hc,
menhirLib,
mtime,
# fix eval on legacy ocaml versions
ocaml_intrinsics ? null,
prelude,
ppx_enumerate,
scfg,
yojson,
z3,
zarith,
mdx,
ounit2,
}:
buildDunePackage (finalAttrs: {
pname = "smtml";
version = "0.28.0";
src = fetchFromGitHub {
owner = "formalsec";
repo = "smtml";
tag = "v${finalAttrs.version}";
hash = "sha256-TZMBUnw1AtsVUfLLQJ/gs0CBtnphBiREH99QP3VuAL0=";
};
minimalOCamlVersion = "4.14";
nativeBuildInputs = [
menhir
]
++ lib.optionals stdenv.hostPlatform.isDarwin [
darwin.sigtool
];
buildInputs = [
dune-build-info
dune-site
];
propagatedBuildInputs = [
bitwuzla-cxx
bos
cmdliner
dolmen_model
dolmen_type
fpath
hc
menhirLib
mtime
ocaml_intrinsics
ppx_enumerate
prelude
scfg
yojson
z3
zarith
];
checkInputs = [
mdx
ounit2
];
nativeCheckInputs = [
mdx.bin
];
doCheck =
# Checks fail with cmdliner ≥ 2.0
false
&& !(
lib.versions.majorMinor ocaml.version == "5.0"
|| lib.versions.majorMinor ocaml.version == "5.4"
|| stdenv.hostPlatform.isDarwin
);
meta = {
description = "SMT solver frontend for OCaml";
homepage = "https://formalsec.github.io/smtml/smtml/";
downloadPage = "https://github.com/formalsec/smtml";
changelog = "https://github.com/formalsec/smtml/releases/tag/v${finalAttrs.version}";
license = lib.licenses.mit;
teams = with lib.teams; [ ngi ];
maintainers = with lib.maintainers; [
ethancedwards8
redianthus
];
};
})
|
