diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-16 18:38:43 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-10-24 05:50:04 +0000 |
commit | ab95faa5076b3d946451ffd2debee681a8fb2d2c (patch) | |
tree | 2af402f1a501f47797fe7b2382c37a8177485af4 /pkgs/development/coq-modules/category-theory/default.nix | |
parent | d3f328e59218b7bd2240dd5aeca3565ee7b2045f (diff) | |
download | nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.tar nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.tar.gz nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.tar.bz2 nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.tar.lz nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.tar.xz nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.tar.zst nixpkgs-ab95faa5076b3d946451ffd2debee681a8fb2d2c.zip |
coqPackages.category-theory: fix build
Diffstat (limited to 'pkgs/development/coq-modules/category-theory/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/category-theory/default.nix | 34 |
1 files changed, 19 insertions, 15 deletions
diff --git a/pkgs/development/coq-modules/category-theory/default.nix b/pkgs/development/coq-modules/category-theory/default.nix index 4587e08be48..94ed2945692 100644 --- a/pkgs/development/coq-modules/category-theory/default.nix +++ b/pkgs/development/coq-modules/category-theory/default.nix @@ -1,21 +1,25 @@ -{ stdenv, fetchgit, coq, ssreflect }: +{ stdenv, fetchgit, coq, ssreflect, equations }: -let param = - { - "8.6" = { +let + params = + let + v20180709 = { version = "20180709"; rev = "3b9ba7b26a64d49a55e8b6ccea570a7f32c11ead"; sha256 = "0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs"; }; - - "8.7" = { - version = "20180709"; - rev = "3b9ba7b26a64d49a55e8b6ccea570a7f32c11ead"; - sha256 = "0f2nr8dgn1ab7hr7jrdmr1zla9g9h8216q4yf4wnff9qkln8sbbs"; + v20181016 = { + version = "20181016"; + rev = "8049479c5aee00ed0b92e5edc7c8996aebf48208"; + sha256 = "14f9rlwh8vgmcl6njykvsiwxx0jn623375afixk26mzpy12zdcph"; }; - - }."${coq.coq-version}" -; in + in { + "8.6" = v20180709; + "8.7" = v20180709; + "8.8" = v20181016; + }; + param = params."${coq.coq-version}"; +in stdenv.mkDerivation rec { @@ -26,8 +30,8 @@ stdenv.mkDerivation rec { inherit (param) rev sha256; }; - buildInputs = with coq.ocamlPackages; [ ocaml camlp5 findlib ]; - propagatedBuildInputs = [ coq ssreflect ]; + buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ]); + propagatedBuildInputs = [ ssreflect equations ]; enableParallelBuilding = false; @@ -43,7 +47,7 @@ stdenv.mkDerivation rec { }; passthru = { - compatibleCoqVersions = v: builtins.elem v [ "8.6" "8.7" ]; + compatibleCoqVersions = v: builtins.hasAttr v params; }; } |