Merge pull request #93803 from vaibhavsagar/bump-polyml

polyml: 5.8 -> 5.8.1
This commit is contained in:
Daniël de Kok 2020-07-25 11:28:39 +02:00 committed by GitHub
commit 95fabdf3e3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,20 +2,12 @@
stdenv.mkDerivation rec {
pname = "polyml";
version = "5.8";
version = "5.8.1";
prePatch = stdenv.lib.optionalString stdenv.isDarwin ''
substituteInPlace configure.ac --replace stdc++ c++
'';
patches = [
(fetchpatch {
name = "new-libffi-FFI_SYSV.patch";
url = "https://github.com/polyml/polyml/commit/ad32de7f181acaffaba78d5c3d9e5aa6b84a741c.patch";
sha256 = "007q3r2h9kfh3c1nv0dyhipmak44q468ab9bwnz4kk4a2dq76n8v";
})
];
buildInputs = [ libffi gmp ];
nativeBuildInputs = stdenv.lib.optional stdenv.isDarwin autoreconfHook;
@ -30,7 +22,7 @@ stdenv.mkDerivation rec {
owner = "polyml";
repo = "polyml";
rev = "v${version}";
sha256 = "1s7q77bivppxa4vd7gxjj5dbh66qnirfxnkzh1ql69rfx1c057n3";
sha256 = "0gcx2fjiwsiazlyfhm7zlrd563blc4fy9w2mspib9divbavaxin6";
};
meta = with stdenv.lib; {