diff --git a/src/configure b/src/configure index 79e2020b01..d305222935 100755 --- a/src/configure +++ b/src/configure @@ -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 diff --git a/src/racket/configure.ac b/src/racket/configure.ac index 0b774b9cb2..aeb8dbf08a 100644 --- a/src/racket/configure.ac +++ b/src/racket/configure.ac @@ -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