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

[Fergus Henderson]

On 21-Apr-1999, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
> | > 	$ 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

I think Tyson already solved this one for Erwan, but in case anyone
else was having the same problem: the problem here is that interactive
queries only work with executables that are linked dynamically.
If you use static linking (as is the default on Linux), then
interactive queries might not work.

-- 
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
--------------------------------------------------------------------------