[m-dev.] IQ and "--trace deep"

[Fergus Henderson]

Erwan Jahier, you wrote:
> 
> Is interactive queries stuff intended to be used from a program compiled 
> with "--trace deep" ? 

Yes, so long as you also pass the `--trace' option to the linker,
(if you use `mmc' to invoke the linker, then it will do this
automatically if you pass `--trace deep' to mmc).

> If yes, it does nor seem to work:
> 
> 	$ mmake queens.depend
> 	$ mmake queens.int
> 	$ mmake --debug queens
> 	$ mdb queens
> 	mdb> query queens list
> 	?- append(X, Y, ['a', 'b', 'c']).
> 	[...]
> 
> That works fine.

I think you mistyped something there; in the command `mmake --debug queens',
the `--debug' option gets passed to GNU Make, not to `mmc' or `ml', so that
would not work.  Perhaps you meant `mmake GRADEFLAGS=--debug queens'?

> But then if I do:
> 
> 	$ mmc --trace deep queens
> 	$ mdb queens
> 	$ query queens list
> 	mdb> query queens list
> 	?- append(X, Y, ['a', 'b', 'c']).
> 	<stdin>:026: Inferred :- pred query((list:list(character)), (list:list(character))).
> 	<stdin>:026: Inferred :- mode query(out, out) is multi.
> 	dlopen failed: /averell/jahier/mercury-compiler-rotd-1999-04-04/lib/mercury/lib/i686-pc-linux-gnu/libgc.so: undefined symbol: __data_start

Does it work OK in grade debug?

If so, I think the problem here *might* be that mdb is not passing
`--trace' to the linker when it builds libquery.so.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------