Package: src:polyml
Version: 5.7.1-2
Severity: important
Tags: sid bullseye patch
The following patch is needed to build with libffi 3.3 in experimental.
* Fix build with libffi 3.3.
diff -Nru polyml-5.7.1/debian/patches/libffi33.diff polyml-5.7.1/debian/patches/libffi33.diff
--- polyml-5.7.1/debian/patches/libffi33.diff 1970-01-01 01:00:00.000000000 +0100
+++ polyml-5.7.1/debian/patches/libffi33.diff 2020-01-13 10:28:21.000000000 +0100
@@ -0,0 +1,12 @@
+--- a/libpolyml/polyffi.cpp
++++ b/libpolyml/polyffi.cpp
+@@ -108,6 +108,9 @@ static struct _abiTable { const char *ab
+ {"ms_cdecl", FFI_MS_CDECL},
+ #elif defined(X86_WIN64)
+ {"win64", FFI_WIN64},
++#elif defined (X86_64) || (defined (__x86_64__) && defined (X86_DARWIN))
++ {"sysv", FFI_UNIX64},
++ {"unix64", FFI_UNIX64},
+ #elif defined(X86_ANY)
+ {"sysv", FFI_SYSV},
+ {"unix64", FFI_UNIX64},
diff -Nru polyml-5.7.1/debian/patches/series polyml-5.7.1/debian/patches/series
--- polyml-5.7.1/debian/patches/series 2018-06-30 15:31:25.000000000 +0200
+++ polyml-5.7.1/debian/patches/series 2020-01-13 10:27:23.000000000 +0100
@@ -1,3 +1,4 @@
modules-non-executable.patch
riscv-support.patch
riscv-libffi.patch
+libffi33.diff
