diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/polyml/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/polyml/default.nix | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/nixpkgs/pkgs/development/compilers/polyml/default.nix b/nixpkgs/pkgs/development/compilers/polyml/default.nix index 65767346537..7b15a988e38 100644 --- a/nixpkgs/pkgs/development/compilers/polyml/default.nix +++ b/nixpkgs/pkgs/development/compilers/polyml/default.nix @@ -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; { |