diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:05:54 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:05:54 +0000 |
commit | f90ae7c60f77a511f1dea5d60906ad54178d997f (patch) | |
tree | b847277ae0cc3f0a8a4441dff553eaf1a4c97842 | |
parent | 57d1b406ce84cf1e1071ccc4a9604ee013a6eea0 (diff) |
Support alpha-netbsd et alpha-openbsd. Test pour setlocale()
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-x | configure | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -285,6 +285,8 @@ system=unknown case "$host" in alpha-*-osf*) arch=alpha; system=digital;; alpha-*-linux*) arch=alpha; system=linux;; + 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;; @@ -334,6 +336,8 @@ case "$arch,$model,$system" in alpha,*,digital) asflags='-O2'; asppflags='-O2 -DSYS_$(SYSTEM)'; asppprofflags='-pg -DPROFILING';; alpha,*,linux) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';; + alpha,*,netbsd) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';; + alpha,*,openbsd) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';; mips,*,irix) asflags='-n32 -O2'; asppflags="$asflags";; sparc,*,bsd) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';; sparc,*,linux) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';; @@ -617,6 +621,11 @@ if sh ./hasgot putenv; then echo "#define HAS_PUTENV" >> s.h fi +if sh ./hasgot -i locale.h && sh ./hasgot setlocale; then + echo "setlocale() and <locale.h> found." + echo "#define HAS_LOCALE" >> s.h +fi + # Determine if the debugger is supported if test "$has_sockets" = "yes"; then |