summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Raskin <7c6f434c@mail.ru>2018-08-12 08:34:04 +0000
committerGitHub <noreply@github.com>2018-08-12 08:34:04 +0000
commitf4f93d6dd13c6fe3f3ce3b39d16a51f70496e273 (patch)
tree3e3b88997e66907ede0eb867730eeae9b67143a5
parentMerge pull request #44713 from vbgl/coq-coq-ext-lib-0.9.8 (diff)
parentgambit, gerbil: use stdenv = gccStdenv (diff)
downloadnixpkgs-f4f93d6dd13c6fe3f3ce3b39d16a51f70496e273.tar.gz
Merge pull request #44847 from fare-patches/master
Update Gambit and Gerbil
-rw-r--r--pkgs/development/compilers/gambit/default.nix3
-rw-r--r--pkgs/development/compilers/gambit/unstable.nix10
-rw-r--r--pkgs/development/compilers/gerbil/default.nix3
-rw-r--r--pkgs/development/compilers/gerbil/unstable.nix11
-rw-r--r--pkgs/top-level/all-packages.nix8
5 files changed, 20 insertions, 15 deletions
diff --git a/pkgs/development/compilers/gambit/default.nix b/pkgs/development/compilers/gambit/default.nix
index 77e8fb51602c..36aa73f7274b 100644
--- a/pkgs/development/compilers/gambit/default.nix
+++ b/pkgs/development/compilers/gambit/default.nix
@@ -1,4 +1,4 @@
-{ callPackage, fetchurl }:
+{ stdenv, callPackage, fetchurl }:
callPackage ./build.nix {
version = "4.8.9";
@@ -7,4 +7,5 @@ callPackage ./build.nix {
url = "http://www.iro.umontreal.ca/~gambit/download/gambit/v4.8/source/gambit-v4_8_9-devel.tgz";
sha256 = "1gwzz1ag9hlv266nvfq1bhwzrps3f2yghhffasjjqy8i8xwnry5p";
};
+ inherit stdenv;
}
diff --git a/pkgs/development/compilers/gambit/unstable.nix b/pkgs/development/compilers/gambit/unstable.nix
index 169ddb5a6a31..41d0ee930bf0 100644
--- a/pkgs/development/compilers/gambit/unstable.nix
+++ b/pkgs/development/compilers/gambit/unstable.nix
@@ -1,10 +1,12 @@
-{ callPackage, fetchgit }:
+{ stdenv, callPackage, fetchgit }:
callPackage ./build.nix {
- version = "unstable-2018-05-30";
+ version = "unstable-2018-08-06";
+# git-version = "4.8.9-77-g91a4ad2c";
SRC = fetchgit {
url = "https://github.com/feeley/gambit.git";
- rev = "ffe8841b56330eb86fd794b16dc7f83914ecc7c5";
- sha256 = "1xzkwa2f6zazybbgd5zynhr36krayhr29vsbras5ld63hkrxrp7q";
+ rev = "91a4ad2c28375f067adedcaa61f9d66a4b536f4f";
+ sha256 = "0px1ipvhh0hz8n38h6jv4y1nn163j8llvcy4l7p3hkdns5czwy1p";
};
+ inherit stdenv;
}
diff --git a/pkgs/development/compilers/gerbil/default.nix b/pkgs/development/compilers/gerbil/default.nix
index eaab0e71d3bd..6fa9fcc3de88 100644
--- a/pkgs/development/compilers/gerbil/default.nix
+++ b/pkgs/development/compilers/gerbil/default.nix
@@ -1,4 +1,4 @@
-{ callPackage, fetchurl, gambit }:
+{ stdenv, callPackage, fetchurl, gambit }:
callPackage ./build.nix {
version = "0.12-RELEASE";
@@ -8,4 +8,5 @@ callPackage ./build.nix {
url = "https://github.com/vyzo/gerbil/archive/v0.12.tar.gz";
sha256 = "0nigr3mgrzai57q2jqac8f39zj8rcmic3277ynyzlgm8hhps71pq";
};
+ inherit stdenv;
}
diff --git a/pkgs/development/compilers/gerbil/unstable.nix b/pkgs/development/compilers/gerbil/unstable.nix
index 25c6b75fa03e..66ead04b5429 100644
--- a/pkgs/development/compilers/gerbil/unstable.nix
+++ b/pkgs/development/compilers/gerbil/unstable.nix
@@ -1,12 +1,13 @@
-{ callPackage, fetchgit, gambit-unstable }:
+{ stdenv, callPackage, fetchgit, gambit-unstable }:
callPackage ./build.nix {
- version = "unstable-2018-05-12";
- git-version = "0.13-DEV-437-gaefdb47f";
+ version = "unstable-2018-08-11";
+ git-version = "0.13-DEV-542-g274e1a22";
GAMBIT = gambit-unstable;
SRC = fetchgit {
url = "https://github.com/vyzo/gerbil.git";
- rev = "aefdb47f3d1ceaa735fd5c3dcaac2aeb0d4d2436";
- sha256 = "0xhsilm5kix5lsmykv273npp1gk6dgx9axh266mimwh7j0nxf7ms";
+ rev = "274e1a22b2d2b708d5582594274ab52ee9ba1686";
+ sha256 = "10j44ar4xfl8xmh276zg1ykd3r0vy7w2f2cg4p8slwnk9r251g2s";
};
+ inherit stdenv;
}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 26fef8cb1d7d..68ae83334822 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -6344,10 +6344,10 @@ with pkgs;
fpc = callPackage ../development/compilers/fpc { };
- gambit = callPackage ../development/compilers/gambit { };
- gambit-unstable = callPackage ../development/compilers/gambit/unstable.nix { };
- gerbil = callPackage ../development/compilers/gerbil { };
- gerbil-unstable = callPackage ../development/compilers/gerbil/unstable.nix { };
+ gambit = callPackage ../development/compilers/gambit { stdenv = gccStdenv; };
+ gambit-unstable = callPackage ../development/compilers/gambit/unstable.nix { stdenv = gccStdenv; };
+ gerbil = callPackage ../development/compilers/gerbil { stdenv = gccStdenv; };
+ gerbil-unstable = callPackage ../development/compilers/gerbil/unstable.nix { stdenv = gccStdenv; };
gccFun = callPackage ../development/compilers/gcc/7;
gcc = gcc7;