diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-02-26 12:46:56 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-02-26 12:46:56 +0000 |
| commit | fb21808a4a4fb5f950b032afff52a546223af718 (patch) | |
| tree | b24fdc061e6a70508e98754f2047f524b873d474 | |
| parent | ab3b118780e542dd7b72ea88afe5c96769cc04c5 (diff) | |
Ajout -D_REENTRANT si threads systeme
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rwxr-xr-x | configure | 31 |
1 files changed, 17 insertions, 14 deletions
@@ -160,10 +160,6 @@ case "$bytecc,$host" in bytecclinkopts="-Wl,-woff,84";; esac -echo "BYTECC=$bytecc" >> Makefile -echo "BYTECCCOMPOPTS=$bytecccompopts" >> Makefile -echo "BYTECCLINKOPTS=$bytecclinkopts" >> Makefile - # Configure compiler to use in further tests cc="$bytecc $bytecclinkopts" @@ -310,16 +306,6 @@ case "$arch,$model,$system" in power,*,elf) aspp='gcc'; asppflags='-c';; esac -echo "ARCH=$arch" >> Makefile -echo "MODEL=$model" >> Makefile -echo "SYSTEM=$system" >> Makefile -echo "NATIVECC=$nativecc" >> Makefile -echo "NATIVECCCOMPOPTS=$nativecccompopts" >> Makefile -echo "NATIVECCLINKOPTS=$nativecclinkopts" >> Makefile -echo "ASFLAGS=$asflags" >> Makefile -echo "ASPP=$aspp" >> Makefile -echo "ASPPFLAGS=$asppflags" >> Makefile - # Where is ranlib? if sh ./searchpath ranlib; then @@ -609,6 +595,8 @@ echo "BIGNUM_ARCH=$bignum_arch" >> Makefile if test "$posix_threads" = "yes"; then echo "Threads library supported (using POSIX system threads)." otherlibraries="$otherlibraries systhreads" + bytecccompopts="$bytecccompopts -D_REENTRANT" + nativecccompopts="$nativecccompopts -D_REENTRANT" elif test "$has_select" = "yes" \ && test "$has_setitimer" = "yes" \ && test "$has_gettimeofday" = "yes" \ @@ -692,6 +680,21 @@ fi # Finish generated files cclibs="$cclibs -lm" + +echo "BYTECC=$bytecc" >> Makefile +echo "BYTECCCOMPOPTS=$bytecccompopts" >> Makefile +echo "BYTECCLINKOPTS=$bytecclinkopts" >> Makefile + +echo "ARCH=$arch" >> Makefile +echo "MODEL=$model" >> Makefile +echo "SYSTEM=$system" >> Makefile +echo "NATIVECC=$nativecc" >> Makefile +echo "NATIVECCCOMPOPTS=$nativecccompopts" >> Makefile +echo "NATIVECCLINKOPTS=$nativecclinkopts" >> Makefile +echo "ASFLAGS=$asflags" >> Makefile +echo "ASPP=$aspp" >> Makefile +echo "ASPPFLAGS=$asppflags" >> Makefile + echo "CCLIBS=$cclibs" >> Makefile echo "OTHERLIBRARIES=$otherlibraries" >> Makefile echo "DEBUGGER=$debugger" >> Makefile |