]> git.pld-linux.org Git - packages/ocaml-zarith.git/blobdiff - ocaml-zarith-x32.patch
- added x32 patch (adjust asm arch detection for x32 ABI); release 2
[packages/ocaml-zarith.git] / ocaml-zarith-x32.patch
diff --git a/ocaml-zarith-x32.patch b/ocaml-zarith-x32.patch
new file mode 100644 (file)
index 0000000..a0f65c0
--- /dev/null
@@ -0,0 +1,15 @@
+--- Zarith-release-1.9.1/configure.orig        2019-08-28 16:17:04.000000000 +0200
++++ Zarith-release-1.9.1/configure     2019-12-28 15:42:01.220520989 +0100
+@@ -323,7 +323,11 @@
+             arch='x86_64'
+         fi
+         ;;
+-    i486-*linux-gnu|i686-*linux-gnu|i486-kfreebsd-gnu)
++    x86_64-*linux-gnux32)
++        ccdef="-DZ_ELF -DZ_DOT_LABEL_PREFIX $ccdef"
++        arch='x86_64'
++        ;;
++    i[456]86-*linux-gnu|iathlon-*linux-gnu|i486-kfreebsd-gnu)
+         ccdef="-DZ_ELF -DZ_DOT_LABEL_PREFIX $ccdef"
+         arch='i686';;
+     i686-*cygwin)
This page took 0.030891 seconds and 4 git commands to generate.