diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-03-13 10:24:44 +0100 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-03-13 13:58:17 +0100 |
| commit | 07a6851bdc4a0e3b5338f6690ff1343f50f41005 (patch) | |
| tree | 9bb1fe2e332444547e90af068894172fa5a0e877 /configure | |
| parent | ad72a6749c2e61cf30eb4e55a8787d45a5d5f10b (diff) | |
| download | ocaml-07a6851bdc4a0e3b5338f6690ff1343f50f41005.tar.gz | |
Remove support for the NeXTStep platform
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -413,12 +413,7 @@ byteccprivatecompopts="-DCAML_NAME_SPACE $byteccprivatecompopts" # Adjust according to target case "$bytecc,$target" in - cc,*-*-nextstep*) - # GNU C extensions disabled, but __GNUC__ still defined! - bytecccompopts="$bytecccompopts -U__GNUC__ -posix" - bytecclinkopts="-posix";; *,*-*-rhapsody*) - # Almost the same as NeXTStep bytecccompopts="$bytecccompopts -DSHRINKED_GNUC" mathlib="";; *,*-*-darwin*) @@ -890,7 +885,6 @@ case "$target" in sparc*-*-gnu*) arch=sparc; system=gnu;; i[3456]86-*-linux*) arch=i386; system=linux_`sh ./runtest elf.c`;; i[3456]86-*-*bsd*) arch=i386; system=bsd_`sh ./runtest elf.c`;; - i[3456]86-*-nextstep*) arch=i386; system=nextstep;; i[3456]86-*-solaris*) if $arch64; then arch=amd64; system=solaris else @@ -969,7 +963,6 @@ nativecclinkopts='' nativeccrpath="$byteccrpath" case "$arch,$nativecc,$system,$model" in - *,*,nextstep,*) nativecclinkopts="-posix";; *,*,rhapsody,*) if $arch64; then partialld="ld -r -arch ppc64"; fi;; amd64,gcc*,macosx,*) partialld="ld -r -arch x86_64";; amd64,gcc*,solaris,*) partialld="ld -r -m elf_x86_64";; |
