diff --git a/configure.in b/configure.in index a14aee074..30ae3045c 100644 --- a/configure.in +++ b/configure.in @@ -2212,7 +2212,14 @@ AC_SUBST(DEFAULT_GRADE) LIBGRADES=` echo " $LIBGRADES " | sed "s/ $GRADE / /" ` 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(LIBGRADE_OPTS) #-----------------------------------------------------------------------------# # diff --git a/scripts/mmc.in b/scripts/mmc.in index baf4e45bc..6131dce92 100644 --- a/scripts/mmc.in +++ b/scripts/mmc.in @@ -49,6 +49,8 @@ DEFAULT_MCFLAGS=${DEFAULT_MCFLAGS="\ --create-archive-command-flags \"@ARFLAGS@\" \ --ranlib-command \"@RANLIB@\" \ --fullarch \"@FULLARCH@\" \ + --install-prefix \"@prefix@\" \ + @LIBGRADE_OPTS@ \ --num-real-r-regs \"@NUM_REAL_R_REGS@\" \ --num-real-r-temps \"@NUM_REAL_R_TEMPS@\" \ --conf-low-tag-bits \"@LOW_TAG_BITS@\" \