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/InfSeqExt | |
parent | 461c9d783cbaced35338035e78a5245e599fdeca (diff) |
coqPackages: New expressions: StructTact, InfSeqExt, Cheerios, Verdi
Diffstat (limited to 'pkgs/development/coq-modules/InfSeqExt')
-rw-r--r-- | pkgs/development/coq-modules/InfSeqExt/default.nix | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/InfSeqExt/default.nix b/pkgs/development/coq-modules/InfSeqExt/default.nix new file mode 100644 index 0000000000000..355b9e4392772 --- /dev/null +++ b/pkgs/development/coq-modules/InfSeqExt/default.nix @@ -0,0 +1,58 @@ +{ stdenv, fetchFromGitHub, coq, mathcomp }: + +let params = + { + "8.5" = { + version = "20180918"; + rev = "243d6be45666da73a9da6c37d451327165275798"; + sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn"; + }; + + "8.6" = { + version = "20180918"; + rev = "243d6be45666da73a9da6c37d451327165275798"; + sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn"; + }; + + "8.7" = { + version = "20180918"; + rev = "243d6be45666da73a9da6c37d451327165275798"; + sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn"; + }; + + "8.8" = { + version = "20180918"; + rev = "243d6be45666da73a9da6c37d451327165275798"; + sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn"; + }; + + "8.9" = { + version = "20180918"; + rev = "243d6be45666da73a9da6c37d451327165275798"; + sha256 = "1nh2psb4pcppy1akk24ilb4p08m35cba357i4xyymmarmbwqpxmn"; + }; + }; + param = params."${coq.coq-version}"; +in + +stdenv.mkDerivation rec { + name = "coq${coq.coq-version}-InfSeqExt-${param.version}"; + + src = fetchFromGitHub { + owner = "DistributedComponents"; + repo = "InfSeqExt"; + inherit (param) rev sha256; + }; + + buildInputs = [ + coq coq.ocaml coq.camlp5 coq.findlib mathcomp + ]; + enableParallelBuilding = true; + + buildPhase = "make -j$NIX_BUILD_CORES"; + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + passthru = { + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ]; + }; +} |