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/math-classes | |
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/math-classes')
-rw-r--r-- | pkgs/development/coq-modules/math-classes/default.nix | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/pkgs/development/coq-modules/math-classes/default.nix b/pkgs/development/coq-modules/math-classes/default.nix index d045ec4223b2..1831cd0c5714 100644 --- a/pkgs/development/coq-modules/math-classes/default.nix +++ b/pkgs/development/coq-modules/math-classes/default.nix @@ -1,8 +1,4 @@ -{ stdenv, fetchFromGitHub, coq, coqPackages }: - -if ! stdenv.lib.versionAtLeast coq.coq-version "8.6" then - throw "Math-Classes requires Coq 8.6 or later." -else +{ stdenv, fetchFromGitHub, coq, bignums }: stdenv.mkDerivation rec { @@ -16,7 +12,7 @@ stdenv.mkDerivation rec { sha256 = "0wgnczacvkb2pc3vjbni9bwjijfyd5jcdnyyjg8185hkf9zzabgi"; }; - buildInputs = [ coq coqPackages.bignums ]; + buildInputs = [ coq bignums ]; enableParallelBuilding = true; installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; @@ -26,4 +22,9 @@ stdenv.mkDerivation rec { maintainers = with maintainers; [ siddharthist jwiegley ]; platforms = coq.meta.platforms; }; + + passthru = { + compatibleCoqVersions = v: stdenv.lib.versionAtLeast v "8.6"; + }; + } |