[mercury-users] segmentation fault

Jörg Schuster joerg.schuster at gmail.com
Tue Jan 20 20:24:40 AEDT 2009

> Some questions:
> * Which version of gcc is this?

gcc version 4.3.1 20080507 (prerelease) [gcc-4_3-branch revision
135036] (SUSE Linux)

> * Which version of Mercury is this?

Mercury Compiler, version 0.13.1, configured for x86_64-unknown-linux-gnu

> * What grade is the program being compiled in?

I don't know so much about grades. I compiled it with mmc -m.

It might have to do with the way I installed Mercury according to your
instructions. You wrote:

> I've tried installing Mercury 0.13.1 on OpenSUSE 11 using gcc 4.3
> and the following works:

> (1) Unpack the source distribution from the tarball

> (2) Create the file Mmake.params at the root of the source tree and
>    put the following line in it:

>  GRADE=none.gc

> (3) Invoke configure as follows:

 > ./configure --with-llds-base-grade=none \
 >    --with-default-grade=hlc.gc


mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list