diff options
| author | Mark Shinwell <mshinwell@janestreet.com> | 2014-05-13 13:14:12 +0000 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@janestreet.com> | 2014-05-13 13:14:12 +0000 |
| commit | 286af5b06acf31632ea9bc4de3394e6852c8b4e5 (patch) | |
| tree | 623ef8f433bfce5d7e807fa56a71e86c0cd1cc4d /configure | |
| parent | 80f91b100bee9eec5852f69face0753db161d6b5 (diff) | |
merge github.com/ocaml/ocaml/pull/56.diff, from Anil, part 1: fix support for PowerPC/BSD backtraces
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -760,11 +760,11 @@ if test $with_sharedlibs = "yes"; then sparc*-*-linux*) natdynlink=true;; i686-*-kfreebsd*) natdynlink=true;; x86_64-*-kfreebsd*) natdynlink=true;; - i[345]86-*-freebsd*) natdynlink=true;; + i[3456]86-*-freebsd*) natdynlink=true;; x86_64-*-freebsd*) natdynlink=true;; - i[345]86-*-openbsd*) natdynlink=true;; + i[3456]86-*-openbsd*) natdynlink=true;; x86_64-*-openbsd*) natdynlink=true;; - i[345]86-*-netbsd*) natdynlink=true;; + i[3456]86-*-netbsd*) natdynlink=true;; x86_64-*-netbsd*) natdynlink=true;; i386-*-gnu0.3) natdynlink=true;; arm*-*-linux*) natdynlink=true;; @@ -821,6 +821,8 @@ case "$target" in armv5te*-*-linux-gnueabi) arch=arm; model=armv5te; system=linux_eabi;; armv5*-*-linux-gnueabi) arch=arm; model=armv5; system=linux_eabi;; arm*-*-linux-gnueabi) arch=arm; system=linux_eabi;; + arm*-*-openbsd*) arch=arm; system=bsd;; + zaurus*-*-openbsd*) arch=arm; system=bsd;; x86_64-*-linux*) arch=amd64; system=linux;; x86_64-*-gnu*) arch=amd64; system=gnu;; x86_64-*-freebsd*) arch=amd64; system=freebsd;; @@ -908,12 +910,16 @@ case "$arch,$system" in i386,bsd_elf) profiling='prof';; amd64,macosx) profiling='prof';; i386,macosx) profiling='prof';; + sparc,bsd) profiling='prof';; sparc,solaris) profiling='prof' case "$nativecc" in gcc*) ;; *) cc_profile='-xpg';; esac;; amd64,linux) profiling='prof';; + amd64,openbsd) profiling='prof';; amd64,gnu) profiling='prof';; arm,linux*) profiling='prof';; + power,elf) profiling='prof';; + power,bsd*) profiling='prof';; *) profiling='noprof';; esac |