diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-07-02 11:35:04 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-07-02 11:35:04 +0000 |
| commit | 280f52c6c8555af288105bec7a393c00f42f2ead (patch) | |
| tree | 7a6a30610860b2840c6c9e051f29c2e02600e3a9 | |
| parent | 8d89bc946b3cfa4c623c1249ee0f877fb47f7b8a (diff) | |
Matcher sur alpha* et non pas sur alpha (le nouveau config.guess sort des trucs du style alphaev5) (PR#417)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rwxr-xr-x | configure | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -199,7 +199,7 @@ case "$bytecc,$host" in bytecccompopts="-fno-defer-pop $gcc_warnings" # No -lm library mathlib="";; - gcc,alpha-*-osf*) + gcc,alpha*-*-osf*) bytecccompopts="-fno-defer-pop $gcc_warnings" if cc="$bytecc" sh ./hasgot -mieee; then bytecccompopts="-mieee $bytecccompopts"; @@ -208,7 +208,7 @@ case "$bytecc,$host" in bytecclinkopts="-Wl,-T,12000000 -Wl,-D,14000000" # Tell gcc that we can use 32-bit code addresses for threaded code echo "#define ARCH_CODE32" >> m.h;; - cc,alpha-*-osf*) + cc,alpha*-*-osf*) bytecccompopts="-std1 -ieee";; cc,mips-*-irix6*) # Add -n32 flag to ensure compatibility with native-code compiler @@ -361,11 +361,11 @@ model=default system=unknown case "$host" in - alpha-*-osf*) arch=alpha; system=digital;; - alpha-*-linux*) arch=alpha; system=linux;; - alpha-*-freebsd*) arch=alpha; system=freebsd;; - alpha-*-netbsd*) arch=alpha; system=netbsd;; - alpha-*-openbsd*) arch=alpha; system=openbsd;; + alpha*-*-osf*) arch=alpha; system=digital;; + alpha*-*-linux*) arch=alpha; system=linux;; + alpha*-*-freebsd*) arch=alpha; system=freebsd;; + alpha*-*-netbsd*) arch=alpha; system=netbsd;; + alpha*-*-openbsd*) arch=alpha; system=openbsd;; sparc-*-sunos4.*) arch=sparc; system=sunos;; sparc-*-solaris2.*) arch=sparc; system=solaris;; sparc-*-*bsd*) arch=sparc; system=bsd;; |