gambit: 4.8.5 -> 4.8.6

Use higher optimization settings and include openssl interface.
This commit is contained in:
Francois-Rene Rideau 2017-06-02 20:26:44 -04:00 committed by Jörg Thalheim
parent 4c1aeb66a2
commit 43f9c60e92

View File

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