configure: make --disable-jit imply --disable-futures

This commit is contained in:
Matthew Flatt 2011-08-18 12:41:36 -06:00
parent 8291fef9de
commit 69929b7499
2 changed files with 22 additions and 12 deletions

17
src/configure vendored
View File

@ -8257,6 +8257,17 @@ _ACEOF
fi
################### JIT ####################
if test "${enable_jit}" = "no" ; then
PREFLAGS="${PREFLAGS} -DMZ_DONT_USE_JIT"
if test "${enable_futures}" = "yes" ; then
echo configure: cannot enable futures and disable the JIT
exit 1
fi
enable_futures=no
fi
############### places ###################
if test "${enable_parallel_by_default}" = "yes" ; then
@ -8518,12 +8529,6 @@ if test "${enable_noopt}" = "yes" ; then
CFLAGS=`echo "$CFLAGS" | awk "$AWKPRG"`
fi
################### JIT ####################
if test "${enable_jit}" = "no" ; then
PREFLAGS="${PREFLAGS} -DMZ_DONT_USE_JIT"
fi
############## usersetup ################
if test "${enable_usersetup}" != "yes" ; then

View File

@ -911,6 +911,17 @@ if test "${endianness}" = "big" ; then
AC_DEFINE(SCHEME_BIG_ENDIAN,1,[Big endian])
fi
################### JIT ####################
if test "${enable_jit}" = "no" ; then
PREFLAGS="${PREFLAGS} -DMZ_DONT_USE_JIT"
if test "${enable_futures}" = "yes" ; then
echo configure: cannot enable futures and disable the JIT
exit 1
fi
enable_futures=no
fi
############### places ###################
if test "${enable_parallel_by_default}" = "yes" ; then
@ -1020,12 +1031,6 @@ if test "${enable_noopt}" = "yes" ; then
CFLAGS=`echo "$CFLAGS" | awk "$AWKPRG"`
fi
################### JIT ####################
if test "${enable_jit}" = "no" ; then
PREFLAGS="${PREFLAGS} -DMZ_DONT_USE_JIT"
fi
############## usersetup ################
if test "${enable_usersetup}" != "yes" ; then