[m-rev.] diff: setup for testing the erlang grade
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Jun 29 17:01:47 AEST 2009
Setup for testing the erlang grade.
tools/test_mercury:
Force the use of --make when testing the erlang grade.
Julien.
Index: test_mercury
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.352
diff -u -r1.352 test_mercury
--- test_mercury 29 Jun 2009 03:44:05 -0000 1.352
+++ test_mercury 29 Jun 2009 06:58:06 -0000
@@ -862,9 +862,21 @@
echo "test_mercury starting tests for grade $grade at `date`" 1>&2
MERCURY_SUPPRESS_STACK_TRACE=yes
export MERCURY_SUPPRESS_STACK_TRACE
+
+ # The Erlang backend requires the use of --make.
+ case $grade in
+ erlang)
+ FORCE_MMC_MAKE="--use-mmc-make"
+ ;;
+
+ *)
+ FORCE_MMC_MAKE=""
+ ;;
+ esac
+
case $BRANCH in
*)
- $MMAKE GRADE="$grade" \
+ $MMAKE "$FORCE_MMC_MAKE" GRADE="$grade" \
EXTRA_MCFLAGS="$TEST_MCFLAGS" \
EXTRA_CFLAGS="$TEST_CFLAGS" \
EXTRA_MGNUCFLAGS="$TEST_MGNUCFLAGS" \
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list