diff options
author | Francois-Rene Rideau <fare@tunes.org> | 2017-06-02 20:26:44 -0400 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2017-06-03 12:08:49 +0100 |
commit | 43f9c60e92fffb11a61932f3c58c8e777cfc6a86 (patch) | |
tree | 7391157fd86c9192005a8b04af3db5c054064310 /pkgs/development/compilers/gambit | |
parent | 4c1aeb66a28ed0c259ec089b1bed472fcd5f5bbb (diff) |
gambit: 4.8.5 -> 4.8.6
Use higher optimization settings and include openssl interface.
Diffstat (limited to 'pkgs/development/compilers/gambit')
-rw-r--r-- | pkgs/development/compilers/gambit/default.nix | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/pkgs/development/compilers/gambit/default.nix b/pkgs/development/compilers/gambit/default.nix index 99a4d6fc4d1f..7e17cee9abde 100644 --- a/pkgs/development/compilers/gambit/default.nix +++ b/pkgs/development/compilers/gambit/default.nix @@ -1,16 +1,25 @@ -{ stdenv, fetchurl }: +{ stdenv, fetchurl, openssl }: stdenv.mkDerivation rec { name = "gambit-${version}"; - version = "4.8.5"; - devver = "4_8_5"; + version = "4.8.6"; + devver = "4_8_6"; src = fetchurl { url = "http://www.iro.umontreal.ca/~gambit/download/gambit/v4.8/source/gambit-v${devver}-devel.tgz"; - sha256 = "02b5bm06k2qr0lvdwwsl0ygxs7n8410rrkq95picn4s02kxszqnq"; + sha256 = "0j3ka76cfb007rlcc3nv5p1s6vh31cwp87hwwabawf16vs1jb7bl"; }; - configureFlags = [ "--enable-shared" "--enable-single-host" ]; + configureFlags = [ + "--enable-single-host" + "--enable-shared" + "--enable-absolute-shared-libs" + "--enable-c-opt=-O6" "--enable-gcc-opts" "--enable-inline-jumps" + "--enable-thread-system=posix" "--enable-dynamic-tls" + "--enable-openssl" + ]; + + buildInputs = [ openssl ]; meta = { description = "Optimizing Scheme to C compiler"; |