[mercury-users] Problems with mdb (0.11.0)

Valeri Geiser valeri at a-little-bit.de
Tue May 24 02:03:54 AEST 2005


> If it's just a single module then try compiling it with the following:
> mmc --debug --mercury-linkage shared <your module>
> or if there's more than one file:
> mmc --make --debug --mercury-linkage shared <the main module>

Both dont work...

user at woody:~/mercury$ mmc --debug --mercury-linkage shared palindrom
mercury_compile: unrecognized option `--mercury-linkage'
Mercury Compiler, version 0.11.0, configured for i686-pc-linux-gnu
Copyright (C) 1993-2002 The University of Melbourne
Usage: mmc [<options>] <arguments>
Use `mmc --help' for more information.

> Otherwise you can put the following in your Mmakefile:
> MGNUCFLAGS=--pic-reg
> EXTRA_MLFLAGS=--shared --trace
> EXTRA_MCFLAGS=--trace deep

That also does not work:

user at woody:~/mercury$ mmake palindrom
mmc --compile-to-c --grade asm_fast.gc      --use-subdirs --trace deep 
   palindrom > palindrom.err 2>&1
mgnuc --grade asm_fast.gc     --pic-reg   --      -I. -IMercury/mihs/. 
-c Mercury/cs/palindrom.c -o Mercury/os/palindrom.o
mkinit: invalid option -- -
Usage: mkinit [options] files...
Options: [-a] [-c maxcalls] [-o filename] [-w entry] [-i] [-l] [-t] [-x]
make: *** [Mercury/cs/palindrom_init.c] Error 1

I dont see, why he makes the extra "--" by the mgnuc-call. I have tried 
to run the line by hand without the "--", and it works, but a new start 
of mmake runs the line again and fails and I dont know what has to be 
done after... Sorry, but I´m not familiar with make...

Could you please help me another time?


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