racket/src/configure: correct default when CS and BC are both enabled

This commit is contained in:
Matthew Flatt 2021-02-06 10:51:24 -07:00
parent 965c941caa
commit d07d256f18
4 changed files with 14 additions and 2 deletions

View File

@ -46,7 +46,11 @@ if test "${enable_cgcdefault}" = "yes" ; then
else
MAIN_VARIANT=3m
fi
MAIN_MAKE_TARGET="${MAIN_VARIANT}"
if test "${enable_csdefault}" = "yes" ; then
MAIN_MAKE_TARGET="racketcs"
else
MAIN_MAKE_TARGET="${MAIN_VARIANT}"
fi
if test "${enable_racket}" != "" ; then
RUN_RACKET="${enable_racket}"

View File

@ -2336,7 +2336,11 @@ if test "${enable_cgcdefault}" = "yes" ; then
else
MAIN_VARIANT=3m
fi
MAIN_MAKE_TARGET="${MAIN_VARIANT}"
if test "${enable_csdefault}" = "yes" ; then
MAIN_MAKE_TARGET="racketcs"
else
MAIN_MAKE_TARGET="${MAIN_VARIANT}"
fi
if test "${enable_racket}" != "" ; then
RUN_RACKET="${enable_racket}"

View File

@ -2240,6 +2240,8 @@ fi
RUN_LOCAL_RACKET="local/cs/c/racketcs"
CONFIGURE_LOCAL_RACKET=--enable-cs
# If BC is the default, then we rely on BC configure-parent
# being used instead of this one:
MAIN_MAKE_TARGET=racketcs
MAIN_VARIANT=3m

View File

@ -31,6 +31,8 @@ fi
RUN_LOCAL_RACKET="local/cs/c/racketcs"
CONFIGURE_LOCAL_RACKET=--enable-cs
# If BC is the default, then we rely on BC configure-parent
# being used instead of this one:
MAIN_MAKE_TARGET=racketcs
MAIN_VARIANT=3m