[mercury-users] mdb interactive query tool

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Oct 13 19:25:06 AEST 2004

On 13-Oct-2004, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
> Can anybody tell me how I get the interactive query tool working in mdb 
> on i*86 Linux?

Well, a start would be to back out the following change :)

 | date: 2004/06/04 06:50:40;  author: zs;  state: Exp;  lines: +259 -228
 | Estimated hours taken: 0.2
 | Branches: main
 | browser/interactive_query.m:
 |         Bring this module up to date with our current coding style guidelines.

Actually you don't need to back out all of it, just the parts in the diff
below, which I have just committed.

Estimated hours taken: 0.5
Branches: main

	Back out a bug which appears to have been accidentally introduced
	in revision 1.21 of this file ("Bring this module up to date
	with our current coding style guidelines.").  The mmc command needs
	to be executed, not just echoed into a "./.xx" file.

Workspace: /home/jupiter/fjh/ws-jupiter/mercury
Index: browser/interactive_query.m
RCS file: /home/mercury1/repository/mercury/browser/interactive_query.m,v
retrieving revision 1.22
diff -u -d -r1.22 interactive_query.m
--- browser/interactive_query.m	16 Jul 2004 08:08:29 -0000	1.22
+++ browser/interactive_query.m	13 Oct 2004 09:21:02 -0000
@@ -465,13 +465,13 @@
 	%		symbols defined in the program
-		"echo mmc --infer-all --no-verbose-make -O0 --no-c-optimize ",
+		"mmc --infer-all --no-verbose-make -O0 --no-c-optimize ",
 		"--no-warn-simple-code --no-warn-det-decls-too-lax ",
 		"--output-compile-error-lines 10000 ",
 		"--allow-undefined ", Options,
 		" --grade ", grade_option,
 		" --pic-reg --compile-to-shared-lib ",
-		query_module_name, "> .xx"],
+		query_module_name],
 	invoke_system_command(Command, Succeeded, !IO).
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list