summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2000-02-10 08:42:47 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2000-02-10 08:42:47 +0000
commit35c19ad08be799518b7c7738168673abd0d1b2cf (patch)
treee776616f4f41e5d27edccf6b6c6a1dcddd771ece /configure
parent39553e99728ed01708c4004d59d00e1dd73243f5 (diff)
MAJ pour HPUX 10
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure21
1 files changed, 12 insertions, 9 deletions
diff --git a/configure b/configure
index 9473a7e93..285672b96 100755
--- a/configure
+++ b/configure
@@ -332,14 +332,17 @@ esac
nativecccompopts=''
nativecclinkopts=''
-case "$arch,$nativecc,$system" in
- alpha,cc*,digital) nativecccompopts=-std1;;
- mips,cc*,irix) nativecccompopts=-n32
- nativecclinkopts="-n32 -Wl,-woff,84";;
- *,*,nextstep) nativecccompopts="$gcc_warnings -U__GNUC__ -posix"
- nativecclinkopts="-posix";;
- *,*,rhapsody) nativecccompopts="$gcc_warnings -DSHRINKED_GNUC";;
- *,gcc*,*) nativecccompopts="$gcc_warnings";;
+case "$arch,$nativecc,$system,$host_type" in
+ alpha,cc*,digital,*) nativecccompopts=-std1;;
+ mips,cc*,irix,*) nativecccompopts=-n32
+ nativecclinkopts="-n32 -Wl,-woff,84";;
+ hppa,gcc*,hpux,*hpux10*)
+ nativecccompopts="$gcc_warnings"
+ nativecclinkopts="-Wl,+vnocompatwarnings";;
+ *,*,nextstep,*) nativecccompopts="$gcc_warnings -U__GNUC__ -posix"
+ nativecclinkopts="-posix";;
+ *,*,rhapsody,*) nativecccompopts="$gcc_warnings -DSHRINKED_GNUC";;
+ *,gcc*,*,*) nativecccompopts="$gcc_warnings";;
esac
asflags=''
@@ -365,7 +368,7 @@ case "$arch,$model,$system" in
*) asppflags='-P -DSYS_$(SYSTEM)';;
esac;;
i386,*,*) aspp='gcc'; asppflags='-c -DSYS_$(SYSTEM)';;
- hppa,*,*) aspp="$cc"; asppflags='-c -DSYS_$(SYSTEM)';;
+ hppa,*,*) aspp="$cc"; asppflags='-traditional -c -DSYS_$(SYSTEM)';;
power,rs6000,aix) asflags='-u -m pwr -w'; asppflags="$asflags";;
power,ppc,aix) asflags='-u -m ppc -w'; asppflags="$asflags";;
power,*,elf) aspp='gcc'; asppflags='-c';;