ATerm++

PrevUpHomeNext

Installing ATerm++

Building with ATerm++

The ATerm++ Library is a header-only template library, which means you don't need to alter your build scripts or link to any separate lib file to use it. All you need to do is #include "atermpp/aterm.h".

Requirements

The ATerm++ Library has two dependencies.

In the first place it depends on the ATerm Library. You can download the latest version of the ATerm Library from CWI. Version 2.3.1 or higher is required.

In versions before 2.3.1 of the ATerm library a patch aterm2.h of the ATerm library needs to be patched with the following patch.

The effect of the patch is that anonymous structs like

typedef struct
{
	header_type header;
	ATerm       next;
	int         value;
} *ATermInt;

are named, in this case _ATermInt.

The ATerm++ Library also depends on Boost. You can download the latest version of the Boost libraries from www.boost.org. The ATerm++ Library requires Boost version 1.32 or higher. There is no need to install any library from Boost. Specifying the Boost include path is all that is needed.

Supported Compilers

Currently, the ATerm++ Library has only been tested on the following compilers:

Please send any questions, comments and bug reports to J.W.Wesselink at tue dot nl.
Copyright © 2004 Wieger Wesselink

PrevUpHomeNext