This section describes how the GDSL toolkit is built and which dependencies are required.
The GDSL compiler and core libraries require the following software to be on the current search PATH:
- MLton
- CMake
- A C11 and a C++11 compiler
Furthermore, the following software packages and features are required by some of the optional demo applications:
- Libelf (http://www.mr511.de/software/) [>= version 0.152]
The toolkit can be built using CMake:
cd gdsl-toolkit/
mkdir build
cd build/
cmake ..
make
This command will build the toolkit for all available architectures. To build a specific architecture, specify the respective target:
...
make gdsl_x86_rreil
Here, we build the x86 frontend. Similarly, targets for specific libraries or tools can be specified.
The GDSL toolkit contains a number of demo applications and libraries. The tools and libraries are presented in wiki (http://code.google.com/p/gdsl-toolkit/).