tjh.dev
1{ lib, mkCoqDerivation, autoreconfHook, coq, version ? null }:
2
3let hasWarning = lib.versionAtLeast coq.ocamlPackages.ocaml.version "4.08"; in
4
5mkCoqDerivation {
6 pname = "dpdgraph";
7 owner = "Karmaki";
8 repo = "coq-dpdgraph";
9 inherit version;
10 defaultVersion = lib.switch coq.coq-version [
11 { case = "8.17"; out = "1.0+8.17"; }
12 { case = "8.16"; out = "1.0+8.16"; }
13 { case = "8.15"; out = "1.0+8.15"; }
14 { case = "8.14"; out = "1.0+8.14"; }
15 { case = "8.13"; out = "1.0+8.13"; }
16 { case = "8.12"; out = "0.6.8"; }
17 { case = "8.11"; out = "0.6.7"; }
18 { case = "8.10"; out = "0.6.6"; }
19 { case = "8.9"; out = "0.6.5"; }
20 { case = "8.8"; out = "0.6.3"; }
21 { case = "8.7"; out = "0.6.2"; }
22 { case = "8.6"; out = "0.6.1"; }
23 { case = "8.5"; out = "0.6"; }
24 ] null;
25
26 release."1.0+8.17".sha256 = "sha256-gcvL3vseLKEF9xinT0579jXBBaA5E3rJ5KaU8RfKtm4=";
27 release."1.0+8.16".sha256 = "sha256-xy4xcVHaD1OHBdGUzUy3SeZnHtOf1+UIh6YjUYFINm0=";
28 release."1.0+8.15".sha256 = "sha256:1pxr0gakcz297y8hhrnssv5j07ccd58pv7rh7qv5g7855pfqrkg7";
29 release."1.0+8.14".sha256 = "sha256:01pmi7jcc77431jii6x6nd4m8jg4vycachiyi1h6dx9rp3a2508s";
30 release."1.0+8.13".sha256 = "sha256:0f8lj8b99n8nsq2jf5m0snblfs8yz50hmlqqq9nlw4qklq7j4z5z";
31 release."0.6.9".sha256 = "11mbydpcgk7y8pqzickbzx0ig7g9k9al71i9yfrcscd2xj8fwj8z";
32 release."0.6.8".sha256 = "1mj6sknsd53xfb387sp3kdwvl4wn80ck24bfzf3s6mgw1a12vyps";
33 release."0.6.7".sha256 = "01vpi7scvkl4ls1z2k2x9zd65wflzb667idj759859hlz3ps9z09";
34 release."0.6.6".sha256 = "1gjrm5zjzw4cisiwdr5b3iqa7s4cssa220xr0k96rwgk61rcjd8w";
35 release."0.6.5".sha256 = "1f34z24yg05b1096gqv36jr3vffkcjkf9qncii3pzhhvagxd0w2f";
36 release."0.6.3".rev = "0acbd0a594c7e927574d5f212cc73a486b5305d2";
37 release."0.6.3".sha256 = "0c95b0bz2kjm6swr5na4gs06lxxywradszxbr5ldh2zx02r3f3rx";
38 release."0.6.2".rev = "d76ddde37d918569945774733b7997e8b24daf51";
39 release."0.6.2".sha256 = "04lnf4b25yarysj848cfl8pd3i3pr3818acyp9hgwdgd1rqmhjwm";
40 release."0.6.1".rev = "c3b87af6bfa338e18b83f014ebd0e56e1f611663";
41 release."0.6.1".sha256 = "1jaafkwsb5450378nprjsds1illgdaq60gryi8kspw0i25ykz2c9";
42 release."0.6".sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n";
43 releaseRev = v: "v${v}";
44
45 nativeBuildInputs = [ autoreconfHook ];
46 mlPlugin = true;
47 buildInputs = [ coq.ocamlPackages.ocamlgraph ];
48
49 # dpd_compute.ml uses deprecated Pervasives.compare
50 # Versions prior to 0.6.5 do not have the WARN_ERR build flag
51 preConfigure = lib.optionalString hasWarning ''
52 substituteInPlace Makefile.in --replace "-warn-error +a " ""
53 '';
54
55 buildFlags = lib.optional hasWarning "WARN_ERR=";
56
57 preInstall = ''
58 mkdir -p $out/bin
59 '';
60
61 extraInstallFlags = [ "BINDIR=$(out)/bin" ];
62
63 meta = with lib; {
64 description = "Build dependency graphs between Coq objects";
65 license = licenses.lgpl21;
66 maintainers = with maintainers; [ vbgl ];
67 };
68}