Vincent Laporte
42 lines
705 B
Nix
42 lines
705 B
Nix
{
|
|
lib,
|
|
ocaml,
|
|
buildDunePackage,
|
|
dolmen,
|
|
dolmen_type,
|
|
gen,
|
|
pp_loc,
|
|
mdx,
|
|
}:
|
|
|
|
buildDunePackage {
|
|
pname = "dolmen_loop";
|
|
inherit (dolmen) src version;
|
|
|
|
env =
|
|
# Fix build with gcc15
|
|
lib.optionalAttrs
|
|
(
|
|
lib.versionAtLeast ocaml.version "4.10" && lib.versionOlder ocaml.version "4.14"
|
|
|| lib.versions.majorMinor ocaml.version == "5.0"
|
|
)
|
|
{
|
|
NIX_CFLAGS_COMPILE = "-std=gnu11";
|
|
};
|
|
|
|
propagatedBuildInputs = [
|
|
dolmen
|
|
dolmen_type
|
|
gen
|
|
pp_loc
|
|
];
|
|
|
|
doCheck = true;
|
|
nativeCheckInputs = [ mdx.bin ];
|
|
checkInputs = [ mdx ];
|
|
|
|
meta = dolmen.meta // {
|
|
description = "Tool library for automated deduction tools";
|
|
};
|
|
}
|