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

[Erwan Jahier]

| Erwan Jahier, you wrote:

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

>From the "preparing a program for debugging" section:

	The simpler way is to compile a program in a debugging grade, which you can do
	directly by specifying a grade that includes the word "debug" (e.g.
	`asm_fast.gc.debug'), or indirectly by specifying the `--debug' grade option to
	the compiler, linker, c2init and other tools.
            ^^^^^^^^
So you mean that the "compiler" here refers to the C compiler and not mmc? 

Futhermore, it worked spelled like this.

| Perhaps you meant `mmake GRADEFLAGS=--debug queens'?

I thought both were equivalent so yes, that's what I meant.

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

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

Ok, I'll look at that.

-- 
R1.


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