diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-12-14 10:52:25 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-12-21 12:37:04 +0100 |
| commit | 1d5059c5e65e3a1b952885aabb0b9ea02290aebb (patch) | |
| tree | 483e01f5abc13a8e002fb1f06d2459d04f572f0f /pkgs/development | |
| parent | 954bc20786ad3299dfc0c32dc608e9ed28d4926e (diff) | |
| download | nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.tar nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.tar.gz nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.tar.bz2 nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.tar.lz nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.tar.xz nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.tar.zst nixlib-1d5059c5e65e3a1b952885aabb0b9ea02290aebb.zip | |
coqPackages.InfSeqExt: fix build
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/coq-modules/InfSeqExt/default.nix | 41 |
1 files changed, 7 insertions, 34 deletions
diff --git a/pkgs/development/coq-modules/InfSeqExt/default.nix b/pkgs/development/coq-modules/InfSeqExt/default.nix index 355b9e439277..6b908f5a09a3 100644 --- a/pkgs/development/coq-modules/InfSeqExt/default.nix +++ b/pkgs/development/coq-modules/InfSeqExt/default.nix @@ -1,38 +1,11 @@ -{ stdenv, fetchFromGitHub, coq, mathcomp }: +{ stdenv, fetchFromGitHub, coq }: -let params = +let param = { - "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 { @@ -44,15 +17,15 @@ stdenv.mkDerivation rec { inherit (param) rev sha256; }; - buildInputs = [ - coq coq.ocaml coq.camlp5 coq.findlib mathcomp - ]; + buildInputs = [ coq ]; + enableParallelBuilding = true; - buildPhase = "make -j$NIX_BUILD_CORES"; + preConfigure = "patchShebangs ./configure"; + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ]; + compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.5"; }; } |