2014-10-31 10:31:19 -07:00
|
|
|
{ callPackage, ... } @ args:
|
2009-03-25 09:06:00 -07:00
|
|
|
|
2014-10-31 10:31:19 -07:00
|
|
|
callPackage ./generic.nix (args // {
|
|
|
|
|
baseVersion = "1.10";
|
2017-02-01 10:23:04 -08:00
|
|
|
revision = "15";
|
|
|
|
|
sha256 = "1zkhmggzxjla2iwaiyrx5161yxckrzszmy9yghjlpnhg8zyqzk60";
|
2015-03-08 11:55:17 -07:00
|
|
|
extraConfigureFlags = "--with-gnump";
|
2016-12-28 04:46:27 -08:00
|
|
|
postPatch = ''
|
|
|
|
|
sed -e 's@lang_flags "@&--std=c++11 @' -i src/build-data/cc/{gcc,clang}.txt
|
|
|
|
|
'';
|
2014-10-31 10:31:19 -07:00
|
|
|
})
|
