diff options
author | Francois-Rene Rideau <fare@tunes.org> | 2017-12-04 23:46:39 -0500 |
---|---|---|
committer | Francois-Rene Rideau <fare@tunes.org> | 2017-12-04 23:46:39 -0500 |
commit | 62935172f35d48480294976ff3539cf8f587eaf4 (patch) | |
tree | a20a438966f4520bd9a15082e8d20ef40019d892 /pkgs/development/compilers/gerbil | |
parent | d75594e2d7f9f750f74bb586d525476b62bf41b0 (diff) |
gerbil: 0.12-DEV-777-gd855915 -> 0.12-DEV-836-gcde6802
Diffstat (limited to 'pkgs/development/compilers/gerbil')
-rw-r--r-- | pkgs/development/compilers/gerbil/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/development/compilers/gerbil/default.nix b/pkgs/development/compilers/gerbil/default.nix index 59cafee3b3a90..622107c753452 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 |