A standalone version of the ATerm library (and it's dependencies) extracted from https://github.com/mCRL2org/mCRL2
Usage
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 filesadd_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.
Compile
mkdir build
cd build
cmake ..
make
Documentation
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