Readme

The Termite driver synthesis tool

http://www.termite2.org

Termite must be built on a Linux system. The build process has been tested on 64 bit versions of Ubuntu and Arch Linux.
A working Haskell installation is required. You will need to install ghc version 7.8 or greater and cabal-install version 1.20 or greater using your system's package manager.

You will need to install several other dependencies.  On Ubuntu, the following packages are needed:

libglib2.0-dev 
libcairo2-dev
libpangocairo-1.0
libgtk2.0-dev
libpango1.0-dev
libgtksourceview2.0-dev
graphviz

Finally, you will need to build from sources and install Z3 SMT solver from Microsoft Research, available at https://z3.codeplex.com.  Note that Z3 is free for non-commercial academic purposes only.

To clone the needed git subrepos and setup a cabal sandbox:
    $ ./setup.sh

To build:
    $ ./build.sh

Copy the language definition to a place where GTKSourceView can find it:
    $ sudo cp lib/tsl/tools/tsl.lang /usr/share/gtksourceview-2.0/language-specs/

To run:
    $ source ./envs.sh
    $ cd documentation/GPIO
    $ ../../bin/termite -i main.tsl -s

Or, if you prefer to build CUDD separately:

To build CUDD: 
    $ pushd lib/cudd
    $ cp Makefile.64bit Makefile # or Makefile.32bit if you are on a 32 bit system
    $ make libso
    $ popd

To build Termite:
    $ export LD_LIBRARY_PATH=`pwd`/lib/cudd/libso
    $ cabal update
    $ cabal install termite --extra-include-dirs=`pwd`/lib/cudd/include --extra-lib-dirs=`pwd`/lib/cudd/libso --bindir=`pwd`/bin