[mercury-users] Problem installing Mercury on openSUSE 11.1

Peter C. Chapin pcc482719 at gmail.com
Sat Jan 31 04:22:23 AEDT 2009


I'm a new Mercury user. I'm interested in both declarative programming
and high integrity programming. It seems like Mercury has something
important to say about both of those topics. I look forward to learning
about it.

I tried installing the 0.13.1 source on my shiny new openSUSE 11.1
system. However, during 'make install' I got an error about a stack
overflow "possibly due to unbounded recursion." (I can provide more
specific information if necessary) I did install the system successfully
on Cygwin, but Cygwin uses a considerably older version of gcc so
perhaps that has something to do with it.

I notice that 0.13.1 is a bit old and I'm wondering if I'd be better off
installing a recent "release of the day" instead.

Note that my system has 1 GB of RAM running inside a VMware virtual
machine in case that makes a difference.



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