953d5285f4
using GMP as backend. This is needed by frama-c because num was removed from the OCaml compiler distribution. Marked as BROKEN till the next OCaml upgrade. OK jca@
33 lines
906 B
Plaintext
33 lines
906 B
Plaintext
$OpenBSD: patch-configure,v 1.1.1.1 2018/07/11 15:09:00 chrisz Exp $
|
|
|
|
Index: configure
|
|
--- configure.orig
|
|
+++ configure
|
|
@@ -292,7 +292,7 @@ fi
|
|
|
|
arch='none'
|
|
case $host in
|
|
- x86_64-*linux-gnu|x86_64-kfreebsd-gnu)
|
|
+ x86_64-*linux-gnu|x86_64-kfreebsd-gnu|amd64-*-openbsd*)
|
|
ccdef="-DZ_ELF -DZ_DOT_LABEL_PREFIX $ccdef"
|
|
arch='x86_64';;
|
|
i486-*linux-gnu|i686-*linux-gnu|i486-kfreebsd-gnu)
|
|
@@ -307,7 +307,7 @@ case $host in
|
|
arch='i686'
|
|
fi
|
|
;;
|
|
- i386-*darwin* | x86_64-*darwin*)
|
|
+ i386-*darwin* | x86_64-*darwin* | i386-*-openbsd*)
|
|
ccdef="-DZ_UNDERSCORE_PREFIX -DZ_MACOS $ccdef"
|
|
if test "x$wordsize" = "x64"; then
|
|
ccopt="-arch x86_64 $ccopt"
|
|
@@ -321,7 +321,7 @@ case $host in
|
|
checkcc
|
|
fi
|
|
;;
|
|
- armv7*-gnueabi)
|
|
+ armv7*-gnueabi | armv7-*-openbsd*)
|
|
arch='arm'
|
|
;;
|
|
none)
|