[m-dev.] diff: fix interactive query bug

[Fergus Henderson]

Estimated hours taken: 0.5

browser/interactive_query.m:
	Pass `--allow-undefined' to ml when building libquery.so;
	this is needed now that `--no-allow-undefined' is the default,
	since the query will refer to symbols in the executable that
	it gets loaded into.

Workspace: /home/hg/fjh/mercury
Index: browser/interactive_query.m
===================================================================
RCS file: /home/mercury1/repository/mercury/browser/interactive_query.m,v
retrieving revision 1.9
diff -u -d -r1.9 interactive_query.m
--- browser/interactive_query.m	2001/01/29 06:47:12	1.9
+++ browser/interactive_query.m	2001/02/13 12:25:56
@@ -425,9 +425,18 @@
 		" query.m"], Command) },
 	invoke_system_command(Command, Succeeded0),
 	( { Succeeded0 = yes } ->
+		% We use the following options:
+		%	--make-shared-lib
+		%		needed so we can dynamically load in the
+		%		code
+		%	--allow-undefined
+		%		needed to allow the query to reference
+		%		symbols defined in the program
+		%	--trace
 		{ string__append_list([
 			"ml --grade ", grade_option,
 			" --trace",
+			" --allow-undefined",
 			" --make-shared-lib ", Options,
 			" -o libquery.so query.o"], Command2) },
 		invoke_system_command(Command2, Succeeded)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "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-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------