[mercury-users] Problems with mdb (0.11.0)

Ian MacLarty maclarty at cs.mu.OZ.AU
Tue May 24 23:50:58 AEST 2005

On 24 May 2005, at 02:03, Valeri Geiser wrote:

> Hi,
>> 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.

Ah, sorry, the --mercury-linkage option is only available after the 
0.11 release.  You may want to try downloading the unstable release of 
the day or the 0.12 beta release.

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

Strange.  That Mmakefile worked fine for me with the 0.11 release on a 
small test case.  If you can send a small example that exhibits this 
problem (including your Mmakefile), then I'll take a look at it.


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