From eac501ea841bae3582d677c9dc73392a74fac995 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= <pullmoll@t-online.de>
Date: Tue, 24 Mar 2020 03:37:34 +0100
Subject: [PATCH] polyml: FFI_UNIX64 is defined only for __x86_64__

---
 srcpkgs/polyml/patches/noffi_sysv.patch | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/srcpkgs/polyml/patches/noffi_sysv.patch b/srcpkgs/polyml/patches/noffi_sysv.patch
index 2b8b84c4e66..76022a79291 100644
--- a/srcpkgs/polyml/patches/noffi_sysv.patch
+++ b/srcpkgs/polyml/patches/noffi_sysv.patch
@@ -3,8 +3,9 @@
 @@ -111,7 +111,6 @@
  #elif defined(X86_WIN64)
      {"win64", FFI_WIN64},
- #elif defined(X86_ANY)
+-#elif defined(X86_ANY)
 -    {"sysv", FFI_SYSV},
++#elif defined(X86_ANY) && defined(__x86_64__)
      {"unix64", FFI_UNIX64},
  #endif
      { "default", FFI_DEFAULT_ABI}