diff --git a/srcpkgs/polyml/patches/noffi_sysv.patch b/srcpkgs/polyml/patches/noffi_sysv.patch
new file mode 100644
index 00000000000..2b8b84c4e66
--- /dev/null
+++ b/srcpkgs/polyml/patches/noffi_sysv.patch
@@ -0,0 +1,10 @@
+--- libpolyml/polyffi.cpp	2019-03-11 10:36:07.000000000 +0100
++++ libpolyml/polyffi.cpp	2020-03-23 22:55:46.741289487 +0100
+@@ -111,7 +111,6 @@
+ #elif defined(X86_WIN64)
+     {"win64", FFI_WIN64},
+ #elif defined(X86_ANY)
+-    {"sysv", FFI_SYSV},
+     {"unix64", FFI_UNIX64},
+ #endif
+     { "default", FFI_DEFAULT_ABI}
diff --git a/srcpkgs/polyml/template b/srcpkgs/polyml/template
index 864f5f85209..7cc2502e21d 100644
--- a/srcpkgs/polyml/template
+++ b/srcpkgs/polyml/template
@@ -1,7 +1,7 @@
 # Template file for 'polyml'
 pkgname=polyml
 version=5.8
-revision=1
+revision=2
 build_style=gnu-configure
 configure_args="--with-system-libffi --enable-shared"
 case "$XBPS_TARGET_MACHINE" in