Ajout -D_REENTRANT si threads systeme

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Xavier Leroy 1998-02-26 12:46:56 +00:00
parent ab3b118780
commit fb21808a4a
1 changed files with 17 additions and 14 deletions

31
configure vendored
View File

@ -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