Merge pull request #165802 from LibreCybernetics/staging-next-polyml

[staging-next] polyml: remove already applied patch
This commit is contained in:
Artturi
2022-03-26 05:35:12 +02:00
committed by GitHub
@@ -1,4 +1,10 @@
{ lib, stdenv, fetchFromGitHub, fetchpatch, autoreconfHook, gmp, libffi }:
{ lib
, stdenv
, fetchFromGitHub
, autoreconfHook
, gmp
, libffi
}:
stdenv.mkDerivation rec {
pname = "polyml";
@@ -12,14 +18,6 @@ stdenv.mkDerivation rec {
nativeBuildInputs = lib.optional stdenv.isDarwin autoreconfHook;
patches = [
# glibc 2.34 compat
(fetchpatch {
url = "https://src.fedoraproject.org/rpms/polyml/raw/4d8868ca5a1ce3268f212599a321f8011c950496/f/polyml-pthread-stack-min.patch";
sha256 = "1h5ihg2sxld9ymrl3f2mpnbn2242ka1fsa0h4gl9h90kndvg6kby";
})
];
configureFlags = [
"--enable-shared"
"--with-system-libffi"