daajoe / dynasp

dynasp

##REQUIREMENTS

Debian

System Packages

$ sudo apt-get install git libgmp-dev libtool-bin flex bison g++

External Packages

• cmake (3.2+)

$ wget https://cmake.org/files/v3.6/cmake-3.6.1-Linux-x86_64.tar.gz
$ tar xf cmake-3.6.1-Linux-x86_64.tar.gz

Add cmake bin to path

##INSTALLATION Just clone the repository including all the submodules via

$ git clone --recursive https://github.com/daajoe/dynasp.git

or

$ git clone https://github.com/daajoe/dynasp.git && cd dynasp/
$ git submodule init
$ git submodule update --checkout --recursive

BUILD

• prepare local root

  $ mkdir ~/.local

• build htd

  $ cd dynasp/htd
  $ cmake -DCMAKE_INSTALL_PREFIX:PATH=~/.local/usr && make -j 5 all install

• build sharp

  $ cd dynasp/sharp
  $ cmake -DCMAKE_INSTALL_PREFIX:PATH=~/.local/usr .
  $ make install

• build htd

  $ cd dynasp/
  $ cmake -DCMAKE_INSTALL_PREFIX:PATH=~/.local/usr .
  $ make install