diff options
author | Francois-Rene Rideau <fare@tunes.org> | 2017-12-09 06:23:37 -0500 |
---|---|---|
committer | Francois-Rene Rideau <fare@tunes.org> | 2018-01-11 04:28:18 -0500 |
commit | 699c8cc832fa55c52bcd0e62739e6fd4949c840f (patch) | |
tree | 4b3f6805ee980b493b435545c15ff058a7b3df11 /pkgs/development/compilers/gerbil | |
parent | aa87655318d0a95b65bc25ced879341b9a83339f (diff) |
gerbil: 0.12-DEV-836-gcde6802 -> 0.12-DEV-1030-gbbed3bc
Diffstat (limited to 'pkgs/development/compilers/gerbil')
-rw-r--r-- | pkgs/development/compilers/gerbil/default.nix | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/pkgs/development/compilers/gerbil/default.nix b/pkgs/development/compilers/gerbil/default.nix index 622107c753452..caa8acfb313bd 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-836-gcde6802"; + version = "0.12-DEV-1030-gbbed3bc"; src = fetchgit { url = "https://github.com/vyzo/gerbil.git"; - rev = "2904b0014fac344409d0ae2ba5835d0e67ac83b5"; - sha256 = "1nnirqdd11n6pkvidnf8pb39m45jjnpmwj2qy62di024r7ha3y18"; + rev = "bbed3bc4cf7bcaa64eaabdf097192bfcc2bfc928"; + sha256 = "1dc0j143j860yq72lfjp71fin7hpsy1426azz7rl1szxvjfb7h4r"; }; buildInputs = [ @@ -36,6 +36,9 @@ stdenv.mkDerivation rec { # Enable all optional libraries substituteInPlace "src/std/build-features.ss" --replace '#f' '#t' + # gxprof testing uses $HOME/.cache/gerbil/gxc + export HOME=$$PWD + # Build, replacing make by build.sh ( cd src && sh build.sh ) |