diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2017-12-05 21:23:39 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-05 21:23:39 +0000 |
| commit | b04040cce497c6a1149eac25793d2bb09e48be3d (patch) | |
| tree | 569054f5ef5785be319db11df36bfb1deb151faf | |
| parent | a86d746b930e9c1a47f685ced7e3925145f54f84 (diff) | |
| parent | 62935172f35d48480294976ff3539cf8f587eaf4 (diff) | |
| download | nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.tar nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.tar.gz nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.tar.bz2 nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.tar.lz nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.tar.xz nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.tar.zst nixlib-b04040cce497c6a1149eac25793d2bb09e48be3d.zip | |
Merge pull request #32329 from fare-patches/gerbil
Gerbil
| -rw-r--r-- | pkgs/development/compilers/gambit/default.nix | 6 | ||||
| -rw-r--r-- | pkgs/development/compilers/gerbil/default.nix | 10 |
2 files changed, 8 insertions, 8 deletions
diff --git a/pkgs/development/compilers/gambit/default.nix b/pkgs/development/compilers/gambit/default.nix index 79f57c42c50d..b70d3649bb9a 100644 --- a/pkgs/development/compilers/gambit/default.nix +++ b/pkgs/development/compilers/gambit/default.nix @@ -4,13 +4,13 @@ stdenv.mkDerivation rec { name = "gambit-${version}"; - version = "4.8.8-300db59"; + version = "4.8.8-415-g29ed48bb"; bootstrap = import ./bootstrap.nix ( pkgs ); src = fetchgit { url = "https://github.com/feeley/gambit.git"; - rev = "300db59e1d3b66bcd597f617849df0274d2a4472"; - sha256 = "1mhy49lasakgvdaswkxasdssik11lx3hfx4h1gs2b6881488ssdp"; + rev = "29ed48bb688e8302d2430b5d24a2fc7c2039aeec"; + sha256 = "1h3kmczvjir0pi6cmqa2bsc09n68jhw0bxq7m6w4b1f0xvgvn3fr"; }; buildInputs = [ openssl git autoconf bootstrap ]; diff --git a/pkgs/development/compilers/gerbil/default.nix b/pkgs/development/compilers/gerbil/default.nix index 59cafee3b3a9..622107c75345 100644 --- a/pkgs/development/compilers/gerbil/default.nix +++ b/pkgs/development/compilers/gerbil/default.nix @@ -7,11 +7,11 @@ stdenv.mkDerivation rec { name = "gerbil-${version}"; - version = "0.12-DEV-777-gd855915"; + version = "0.12-DEV-836-gcde6802"; src = fetchgit { url = "https://github.com/vyzo/gerbil.git"; - rev = "9db6187dc996eec4087f83b86339e7b17bb69bad"; - sha256 = "1hqmsy77d62dvil3az4vdr0rmwvxhinjl1dbcxzamz2c2kcjv1jg"; + rev = "2904b0014fac344409d0ae2ba5835d0e67ac83b5"; + sha256 = "1nnirqdd11n6pkvidnf8pb39m45jjnpmwj2qy62di024r7ha3y18"; }; buildInputs = [ @@ -52,9 +52,9 @@ stdenv.mkDerivation rec { export GERBIL_HOME=$out case "\$1" in -:*) GSIOPTIONS=\$1 ; shift ;; esac if [[ \$# = 0 ]] ; then - ${gambit}/bin/gsi \$GSIOPTIONS \$GERBIL_HOME/lib/gxi-init \$GERBIL_HOME/lib/gxi-interactive - ; + exec ${gambit}/bin/gsi \$GSIOPTIONS \$GERBIL_HOME/lib/gxi-init \$GERBIL_HOME/lib/gxi-interactive - ; else - ${gambit}/bin/gsi \$GSIOPTIONS \$GERBIL_HOME/lib/gxi-init "\$@" + exec ${gambit}/bin/gsi \$GSIOPTIONS \$GERBIL_HOME/lib/gxi-init "\$@" fi EOF runHook postInstall |