Skip to content

Installation

Giuliano Casale edited this page Aug 25, 2016 · 20 revisions

Binary installation

Create a directory for FG. Then run from that directory:

svn co https://github.com/dice-project/DICE-Enhancement-FG/trunk/bin

The binary distribution is now available under ./bin/.

See the Getting Started section for usage instructions.

Sources installation and compilation

Create a directory for FG. Then run from that directory:

svn co https://github.com/dice-project/DICE-Enhancement-FG/trunk

The source files are now available under ./trunk/. To compile run

cd trunk/bin
compile_dicefg

This will generate a dicefg binary (Linux) or a dicefg.exe binary (Windows). See the Getting Started section for usage instructions.