[m-rev.] for review: fix a couple of test cases with mmc --make

Peter Wang wangp at students.cs.mu.OZ.AU
Mon Jan 30 11:46:27 AEDT 2006


Estimated hours taken: 0.5
Branches: main

tests/debugger/Mercury.options:
	Make the `shallow' test work with `mmc --make'.

	Make the `interactive' test work with `mmc --make' on platforms
	on which shared libraries are supported.

Index: debugger/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/debugger/Mercury.options,v
retrieving revision 1.15
diff -u -r1.15 Mercury.options
--- debugger/Mercury.options	21 Dec 2005 22:11:48 -0000	1.15
+++ debugger/Mercury.options	30 Jan 2006 00:39:20 -0000
@@ -16,6 +16,7 @@
 MCFLAGS-poly_io_retry2 = --trace-table-io-all
 MCFLAGS-queens_rep = --trace rep
 MCFLAGS-shallow = --trace shallow
+MCFLAGS-shallow2 = --trace deep
 MCFLAGS-tabled_read = --trace-table-io-all
 MCFLAGS-tabled_read_unitize = --trace-table-io-all
 MCFLAGS-tabled_read_decl = --trace-table-io-all
@@ -48,5 +49,6 @@
 # The following is necessary for shared libraries to work on Linux.
 GRADEFLAGS-interactive = --pic-reg
 MLFLAGS-interactive = --shared
+MERCURY_LINKAGE-interactive = shared
 
 MCFLAGS-fib = --allow-table-reset
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list