Ubuntu
mercury package

  1. Bug #94720
  2. Comment #16

Comment 16 for bug 94720

Revision history for this message
Andreas Altaïr Redmer (altair-ibn-la-ahad) wrote :

I have packaged version 14.01 (current) into a ppa.

To install mercury on your computer do:

sudo add-apt-repository ppa:altair-ibn-la-ahad/mercury-compiler
sudo apt-get update
sudo apt-get install mercury-compiler

run the compiler with:

mmc