diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-12-02 13:04:03 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-12-02 13:04:03 +0000 |
commit | f63d2b77cc2da428c13fef644c947e0b7c120b85 (patch) | |
tree | 9e15b06d723286c878d5fbfa690175b9473c318f /config/auto-aux | |
parent | d7595ad51beda8d10ab30b86b2f49ddea2c0600c (diff) | |
download | ocaml-f63d2b77cc2da428c13fef644c947e0b7c120b85.tar.gz |
Ajout architecture x86 pour libnum
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'config/auto-aux')
-rwxr-xr-x | config/auto-aux/config.guess | 18 | ||||
-rwxr-xr-x | config/auto-aux/config.sub | 2 |
2 files changed, 19 insertions, 1 deletions
diff --git a/config/auto-aux/config.guess b/config/auto-aux/config.guess index cdbdcb7c44..40498d205e 100755 --- a/config/auto-aux/config.guess +++ b/config/auto-aux/config.guess @@ -65,6 +65,9 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in amiga:NetBSD:*:*) echo m68k-cbm-netbsd${UNAME_RELEASE} exit 0 ;; + amiga:OpenBSD:*:*) + echo m68k-cbm-openbsd${UNAME_RELEASE} + exit 0 ;; arm:RISC*:1.[012]*:*|arm:riscix:1.[012]*:*) echo arm-acorn-riscix${UNAME_RELEASE} exit 0;; @@ -102,12 +105,21 @@ case "${UNAME_MACHINE}:${UNAME_SYSTEM}:${UNAME_RELEASE}:${UNAME_VERSION}" in atari*:NetBSD:*:*) echo m68k-atari-netbsd${UNAME_RELEASE} exit 0 ;; + atari*:OpenBSD:*:*) + echo m68k-atari-openbsd${UNAME_RELEASE} + exit 0 ;; sun3*:NetBSD:*:*) echo m68k-sun-netbsd${UNAME_RELEASE} exit 0 ;; + sun3*:OpenBSD:*:*) + echo m68k-sun-openbsd${UNAME_RELEASE} + exit 0 ;; mac68k:NetBSD:*:*) echo m68k-apple-netbsd${UNAME_RELEASE} exit 0 ;; + mac68k:OpenBSD:*:*) + echo m68k-apple-openbsd${UNAME_RELEASE} + exit 0 ;; RISC*:ULTRIX:*:*) echo mips-dec-ultrix${UNAME_RELEASE} exit 0 ;; @@ -303,6 +315,9 @@ EOF hp3[0-9][05]:NetBSD:*:*) echo m68k-hp-netbsd${UNAME_RELEASE} exit 0 ;; + hp3[0-9][05]:OpenBSD:*:*) + echo m68k-hp-openbsd${UNAME_RELEASE} + exit 0 ;; i[34]86:BSD/386:*:* | *:BSD/OS:*:*) echo ${UNAME_MACHINE}-unknown-bsdi${UNAME_RELEASE} exit 0 ;; @@ -312,6 +327,9 @@ EOF *:NetBSD:*:*) echo ${UNAME_MACHINE}-unknown-netbsd`echo ${UNAME_RELEASE}|sed -e 's/[-_].*/\./'` exit 0 ;; + *:OpenBSD:*:*) + echo ${UNAME_MACHINE}-unknown-openbsd`echo ${UNAME_RELEASE}|sed -e 's/[-_].*/\./'` + exit 0 ;; *:GNU:*:*) echo `echo ${UNAME_MACHINE}|sed -e 's,/.*$,,'`-unknown-gnu`echo ${UNAME_RELEASE}|sed -e 's,/.*$,,'` exit 0 ;; diff --git a/config/auto-aux/config.sub b/config/auto-aux/config.sub index ec6d3014e7..cd1f0492d1 100755 --- a/config/auto-aux/config.sub +++ b/config/auto-aux/config.sub @@ -641,7 +641,7 @@ case $os in | -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \ | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \ | -ptx* | -coff* | -ecoff* | -winnt* | -domain* | -vsta* \ - | -udi* | -eabi* | -lites* ) + | -udi* | -eabi* | -lites* | -openbsd* ) # Remember, each alternative MUST END IN *, to match a version number. ;; -sunos5*) |