These packages are new and may have some problems. But hopefully they save a good number of people a lot of time.
Please let me (Paul) know if there are problems, The Mercury mailing lists are the best place to contact me.
Currently packages for Mercury 14.01.1 on Debian jessie (stable) and sid (unstable) on amd64 and i386. Soon I will add other Debian and Ubuntu versions, then a more recent Mercury version.
You might find that even if you don't have the exact Debian version I've built the packages for they work anyway. Mercury has few dependencies so this is quite likely. For example the Debian jessie packages work on my Mint desktop.
The packaged version of Mercury contains a reasonable number of grades for the C backends. It does not contain the Java, C# or Erlang backends. The included grades are.
Depending on the C compiler some packages use "reg" grades rather than "asm_fast" grades.
It has been bootstrapped (the compiler is built with 3 tag bits and other
settings) and separated into multiple packages.
It does not support multiple concurrent installation versions, nor do the
dynamic libraries support this.
As always, make sure that there is no other version of Mercury in your
$PATH, you can run into problems (which I will be
First download my GPG key and tell your Debian based system that you trust me. This command means that you are authorising your computer to download any software I publish in this repository, like Debian itself.
cd /tmp wget https://paul.bone.id.au/paul.asc sudo apt-key add paul.asc
Now tell your system where the repository is.
Create a new file in
/etc/apt/sources.list.d, name it
mercury.list and paste in it:
deb http://dl.mercurylang.org/deb/stable/ DISTRO main deb-src http://dl.mercurylang.org/deb/stable/ DISTRO main
Replace DISTRO with either
sid depending on your OS version:
|You have||Then use|
|Debian stretch (testing)||sid|
|Debian jessie (stable)||jessie|
If your OS version isn't listed, then try the jessie packages first, they use the faster low-level-C grades but require gcc-4.8 specifically.
Later I will add a second repository for more recent Mercury versions. These instructions will probably change then.
Update your packages list.
sudo apt-get update
Either browse the packages or install
mercury-recommended which will install a reasonable set of
Mercury packages for most developers.
sudo aptitude install mercury-recommended
Or choose specific packages to install. You can see a list with the command:
apt-cache showsrc mercury
I hope this is useful.