Merge pull request #32329 from fare-patches/gerbil

Gerbil
This commit is contained in:
Michael Raskin 2017-12-05 21:23:39 +00:00 committed by GitHub
commit b04040cce4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 8 deletions

View File

@ -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 ];

View File

@ -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