This is a quick installation guide for Mace on Ubuntu 8.10.
First, install all the corresponding packages before installing Mace:
apt-get install build-essential subversion libssl-dev cmake libdb-dev libdb4.7++-dev lgrind libboost-dev
Second, check out Mace from repository.
svn co http://www.macesystems.org/svn/mace mace
Next, install Mace with the following commands:
cd mace
mkdir builds
cd builds
cmake ..
ccmake .
make
When you are configuring with ccmake, type "c" to configure and "g" to generate output Makefile.
Now it is done. When you compiling Mace project, don't forget to specify MaceDIR by following command:
cd your_project_directory
mkdir builds
cd builds
cmake -D Mace_DIR:PATH=/path_to_mace/builds ..
make
if cmake -D Mace_DIR:PATH=/path_to_mace/builds .. doesn't works, do ccmake . and manually configure Mace path. When you are done, type "c" and "g" to generate output Makefile.
Now everything is done. Enjoy!
Posted by Sunghwan


