A standalone version of the ATerm library (and it's dependencies) extracted from https://github.com/mCRL2org/mCRL2

The easiest way to use/test the library is to modify the example source. After compiling, an example executable will be created under build/example/ which can be simply run with ./example from within that directory.

Alternatively, create a folder at the top level directory with all the necessary sources. Then create a CMakeLists.txt within that folder with contents :

• set(SOURCES file1.cpp file1.cpp ...) where file1.cpp file2.cpp are replaced with the actual source files
• add_executable(<target_name> ${SOURCES})
• target_link_libraries(<target_name> atermpp)

After compiling, an executable named <target_name> is created under build/<folder_name>/ where <folder_name> is the name of the newly created source folder.

mkdir build
cd build
cmake ..
make

A Doxyfile is included in the root directory. Simply run doxygen from the root directory. A doc folder will be created containing the documentation. Can be viewed with e.g. firefox doc/html/index.html