tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 ocaml,
4 buildDunePackage,
5 dolmen,
6 dolmen_type,
7 gen,
8 pp_loc,
9 mdx,
10}:
11
12buildDunePackage {
13 pname = "dolmen_loop";
14 inherit (dolmen) src version;
15
16 env =
17 # Fix build with gcc15
18 lib.optionalAttrs
19 (
20 lib.versionAtLeast ocaml.version "4.10" && lib.versionOlder ocaml.version "4.14"
21 || lib.versions.majorMinor ocaml.version == "5.0"
22 )
23 {
24 NIX_CFLAGS_COMPILE = "-std=gnu11";
25 };
26
27 propagatedBuildInputs = [
28 dolmen
29 dolmen_type
30 gen
31 pp_loc
32 ];
33
34 doCheck = true;
35 nativeCheckInputs = [ mdx.bin ];
36 checkInputs = [ mdx ];
37
38 meta = dolmen.meta // {
39 description = "Tool library for automated deduction tools";
40 };
41}