tjh.dev
coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7
+6
-6
pkgs/development/coq-modules/CoLoR/default.nix
+6
-6
pkgs/development/coq-modules/CoLoR/default.nix
···
1
-
{ stdenv, fetchurl, coq }:
2
3
if !stdenv.lib.versionAtLeast coq.coq-version "8.6"
4
then throw "CoLoR is not available for Coq ${coq.coq-version}"
5
else
6
7
stdenv.mkDerivation {
8
-
name = "coq${coq.coq-version}-CoLoR-1.3.0";
9
10
src = fetchurl {
11
-
url = https://gforge.inria.fr/frs/download.php/file/36399/color.1.3.0.tar.gz;
12
-
sha256 = "0n7431mc4a5bn9fsyk5167j2vnbxz4vgggjch4pm0x58lda8mxv1";
13
};
14
15
-
buildInputs = [ coq ];
16
-
enableParallelBuilding = true;
17
18
installPhase = ''
19
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install
···
1
+
{ stdenv, fetchurl, coq, coqPackages }:
2
3
if !stdenv.lib.versionAtLeast coq.coq-version "8.6"
4
then throw "CoLoR is not available for Coq ${coq.coq-version}"
5
else
6
7
stdenv.mkDerivation {
8
+
name = "coq${coq.coq-version}-CoLoR-1.4.0";
9
10
src = fetchurl {
11
+
url = https://gforge.inria.fr/frs/download.php/file/37205/color.1.4.0.tar.gz;
12
+
sha256 = "1jsp9adsh7w59y41ihbwchryjhjpajgs9bhf8rnb4b3hzccqxgag";
13
};
14
15
+
buildInputs = [ coq coqPackages.bignums ];
16
+
enableParallelBuilding = false;
17
18
installPhase = ''
19
make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install