There were various problems compiling the mace baseline on the EPFL cluster as some of the machines got upgraded. Aris resolved the issues and created a standalone package you can use without too much headache, hopefully. If you have libboost and openssl on your machine, you might also be able to run it there. As we have limited resources, please understand if we cannot offer help with problems compiling on your personal machine.
The package is here:
I tried today to compile the provided stand-alone mace on my laptop, using g++ version 4.3.1. There were a number of issues such as deprecation errors and missing #includes.
The attached patch fixes (or, rather, silences) these issues so that mace compiles. Maybe it would be helpful for other students; could you forward it to the class?
Here is how to apply the patch:
First download a1macestandalone.tar.gz, a1mace.tar.gz and a1mace.patch and put them in the folder where you want to install mace. Then execute
$ tar xzf a1macestandalone.tar.gz
$ cd mace
$ tar xzf ../a1mace.tar.gz
$ patch -p1 < ../a1mace.patch
This should produce the executable application/file/file.