[mercury-users] rotd-2007-02-10 won't compile on Ubuntu

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Feb 14 16:47:53 AEDT 2007

On Wed, 14 Feb 2007, Ondrej Bojar wrote:

> Another remark:
> Already rotd-2006-11-06 has exactly the same problem.

We've noticed this problem with Debian testing but only when you build
Mercury under nohup.  Are you using nohup?

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