[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
browser/interactive_query.m:
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
%
string__append_list([
- "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],
Command),
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