Mercury packages for .deb based systems

Please let us know if there are problems.

What's supported?

• Mercury 22.01 (mercury-* packages)
• Mercury ROTD 2020-05-31 (mercury-rotd-* packages)

• amd64
• i386 (limited support)

• Debian sid (unstable)
• Debian 12 bookworm (testing)
• Debian 11 bullseye (stable)
• Ubuntu 19.04 (bionic)
• Ubuntu 20.04 (focal)
• Ubuntu 22.04 (jammy)

We build on the above OSs, but often these packages will work on other Debian/Ubuntu versions, including derivative OSs like Mint.

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:

• asm_fast.gc
• asm_fast.par.gc.stseg
• asm_fast.gc.tr
• hlc.gc
• hlc.par.gc
• hlc.gc.tr
• asm_fast.gc.decldebug.stseg
• asm_fast.gc.profdeep.stseg
• asm_fast.gc.memprof.stseg
• asm_fast.gc.prof.stseg

Depending on the C compiler some packages may use "reg" grades rather than "asm_fast" grades.

There are two groups of packages to choose from. The stable version of Mercury's packages begin with "mercury", a more recent snapshot begins with "mercury-rotd" (not updated yet).

This Mercury 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.

Okay, hook me up!

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.

sudo apt install wget ca-certificates
cd /tmp
wget https://paul.bone.id.au/paul.asc
sudo cp paul.asc /etc/apt/trusted.gpg.d/paulbone.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/ DISTRO main
deb-src http://dl.mercurylang.org/deb/ DISTRO main

Depending on your OS version replace DISTRO with one of: sid, bookworm, bullseye, disco, focal, or jammy.

If your OS version isn't listed then try some of the others, depending on what dependencies you have available.

Ubuntu and derivatives must have the universe repository enabled.

Update your packages list.

sudo apt update

Either browse the packages or install mercury-recommended which will install a reasonable set of Mercury packages for most developers.

sudo apt install mercury-recommended

sudo apt install mercury-rotd-recommended

Or choose specific packages to install. You can see a list with the command:

apt-cache showsrc mercury

More info