diff options
author | John Wiegley <johnw@newartisans.com> | 2018-11-20 15:16:27 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2018-11-20 15:18:12 -0800 |
commit | a370bd1fed5fcce0bb260fb6a5213911f1441eac (patch) | |
tree | b230efcfe10ba93048b1440ab10695e530521771 /pkgs/development/coq-modules/Verdi | |
parent | 461c9d783cbaced35338035e78a5245e599fdeca (diff) |
coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi
Diffstat (limited to 'pkgs/development/coq-modules/Verdi')
-rw-r--r-- | pkgs/development/coq-modules/Verdi/default.nix | 52 |
1 files changed, 52 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/Verdi/default.nix b/pkgs/development/coq-modules/Verdi/default.nix new file mode 100644 index 0000000000000..9f54eb67c72ad --- /dev/null +++ b/pkgs/development/coq-modules/Verdi/default.nix @@ -0,0 +1,52 @@ +{ stdenv, fetchFromGitHub, coq, mathcomp, StructTact, InfSeqExt, Cheerios }: + +let params = + { + "8.6" = { + version = "20181102"; + rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564"; + sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z"; + }; + + "8.7" = { + version = "20181102"; + rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564"; + sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z"; + }; + + "8.8" = { + version = "20181102"; + rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564"; + sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z"; + }; + + "8.9" = { + version = "20181102"; + rev = "25b79cf1be5527ab8dc1b8314fcee93e76a2e564"; + sha256 = "1vw47c37k5vaa8vbr6ryqy8riagngwcrfmb3rai37yi9xhdqg55z"; + }; + }; + param = params."${coq.coq-version}"; +in + +stdenv.mkDerivation rec { + name = "coq${coq.coq-version}-verdi-${param.version}"; + + src = fetchFromGitHub { + owner = "uwplse"; + repo = "verdi"; + inherit (param) rev sha256; + }; + + buildInputs = [ + coq coq.ocaml coq.camlp5 coq.findlib mathcomp StructTact InfSeqExt Cheerios + ]; + enableParallelBuilding = true; + + buildPhase = "make -j$NIX_BUILD_CORES"; + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + passthru = { + compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" "8.8" "8.9" ]; + }; +} |