diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-15 19:52:16 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-18 15:30:36 +0000 |
commit | d9f41a5bcee2f81c851bb060d287f6bc80986973 (patch) | |
tree | 298fea7df66cf32fa1255dab1af6d40ede11e435 /pkgs/development/coq-modules/CoLoR | |
parent | 3b367119ee2fbdc63abfab1047bd5bafdcaafb20 (diff) | |
download | nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.gz nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.bz2 nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.lz nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.xz nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.tar.zst nixlib-d9f41a5bcee2f81c851bb060d287f6bc80986973.zip |
coqPackages: move to a separate file and filter the package set
Diffstat (limited to 'pkgs/development/coq-modules/CoLoR')
-rw-r--r-- | pkgs/development/coq-modules/CoLoR/default.nix | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/CoLoR/default.nix b/pkgs/development/coq-modules/CoLoR/default.nix index ec190d5a1d6a..3f5ec69235f8 100644 --- a/pkgs/development/coq-modules/CoLoR/default.nix +++ b/pkgs/development/coq-modules/CoLoR/default.nix @@ -1,8 +1,4 @@ -{ stdenv, fetchurl, coq, coqPackages }: - -if !stdenv.lib.versionAtLeast coq.coq-version "8.6" -then throw "CoLoR is not available for Coq ${coq.coq-version}" -else +{ stdenv, fetchurl, coq, bignums }: stdenv.mkDerivation { name = "coq${coq.coq-version}-CoLoR-1.4.0"; @@ -12,7 +8,7 @@ stdenv.mkDerivation { sha256 = "1jsp9adsh7w59y41ihbwchryjhjpajgs9bhf8rnb4b3hzccqxgag"; }; - buildInputs = [ coq coqPackages.bignums ]; + buildInputs = [ coq bignums ]; enableParallelBuilding = false; installPhase = '' @@ -25,4 +21,8 @@ stdenv.mkDerivation { maintainers = with maintainers; [ jwiegley ]; platforms = coq.meta.platforms; }; + + passthru = { + compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; + }; } |