There are two alternative ways of instalation: 1) with precompiled executables 2) with compiling from sources In both cases, you need to unpack the archive, set some system variables in file config and run a prepared script. ********************************* 1) with precompiled executables ********************************* Requirements: linux (the executables are provided for linux) python (tested with python 1.4) java 1.5 ------------------------------------- $ tar xfz ARTMC-distr-1.tgz $ cd ARTMC-distr-1 $ ./set_project_path.sh ----------------------------------- The tool is ready to be used ********************************* 2) with compiling from sources ********************************* Requirements: POSIX OS mona (version 1.4), http://www.brics.dk/mona/ python (tested with python 1.4) java 1.5 gcc ------------------------------------- Download and __compile__ mona (http://www.brics.dk/mona/), the ARTMC tool use some libraries from this project. $ tar xfz ARTMC-sources-1.tgz $ cd ARTMC-distr-1 $ vim config - set MONA variable according to the location of the mona sources - e.g. MONA=/home/tools/mona-1.4 - optionally you can set the path for the java runtime engine - e.g. JRE_PATH=/usr/bin/java $ ./set_project_path.sh $ ./bin/build_tool.t.sh - this buid all necessary executables - there may be few warnings, but NO error ------------------------------------ The tool is ready to be used ***************************************************** Note for Cygwin (POSIX subsystem for windows) users: ***************************************************** There is a problem with compiling the mona under cygwin. Nevertheless, it is still possible to build the artmc tool. You need to visit the folders Mona-1.4/Bdd MONA-1.4/GTA Mona-1.4/Mem and compile the libraries manually. The folowing command may work: $ for i in *.c; do gcc -c $i; done It would produce the .o files, which are necessary to build the ARTMC.