mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 06:47:17 +00:00
Pass INSTALL_PREFIX and LIBGRADES to mmc.
Estimated hours taken: 0.2 Branches: main configure.in: scripts/mmc.in: Pass INSTALL_PREFIX and LIBGRADES to mmc.
This commit is contained in:
@@ -2212,7 +2212,14 @@ AC_SUBST(DEFAULT_GRADE)
|
|||||||
LIBGRADES=` echo " $LIBGRADES " | sed "s/ $GRADE / /" `
|
LIBGRADES=` echo " $LIBGRADES " | sed "s/ $GRADE / /" `
|
||||||
MERCURY_MSG("using \`LIBGRADES=$LIBGRADES' as the set of library grades to install")
|
MERCURY_MSG("using \`LIBGRADES=$LIBGRADES' as the set of library grades to install")
|
||||||
|
|
||||||
|
LIBGRADE_OPTS=
|
||||||
|
for libgrade in $LIBGRADES
|
||||||
|
do
|
||||||
|
LIBGRADE_OPTS="$LIBGRADE_OPTS --libgrade $libgrade"
|
||||||
|
done
|
||||||
|
|
||||||
AC_SUBST(LIBGRADES)
|
AC_SUBST(LIBGRADES)
|
||||||
|
AC_SUBST(LIBGRADE_OPTS)
|
||||||
|
|
||||||
#-----------------------------------------------------------------------------#
|
#-----------------------------------------------------------------------------#
|
||||||
#
|
#
|
||||||
|
|||||||
@@ -49,6 +49,8 @@ DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS="\
|
|||||||
--create-archive-command-flags \"@ARFLAGS@\" \
|
--create-archive-command-flags \"@ARFLAGS@\" \
|
||||||
--ranlib-command \"@RANLIB@\" \
|
--ranlib-command \"@RANLIB@\" \
|
||||||
--fullarch \"@FULLARCH@\" \
|
--fullarch \"@FULLARCH@\" \
|
||||||
|
--install-prefix \"@prefix@\" \
|
||||||
|
@LIBGRADE_OPTS@ \
|
||||||
--num-real-r-regs \"@NUM_REAL_R_REGS@\" \
|
--num-real-r-regs \"@NUM_REAL_R_REGS@\" \
|
||||||
--num-real-r-temps \"@NUM_REAL_R_TEMPS@\" \
|
--num-real-r-temps \"@NUM_REAL_R_TEMPS@\" \
|
||||||
--conf-low-tag-bits \"@LOW_TAG_BITS@\" \
|
--conf-low-tag-bits \"@LOW_TAG_BITS@\" \
|
||||||
|
|||||||
Reference in New Issue
Block a user