deps.sh

deps.sh

+#!/bin/sh
+
+DEPS=./deps/
+mkdir -p "$DEPS"
+cd "$DEPS"
+
+# clan
+wget http://icps.u-strasbg.fr/~bastoul/development/clan/docs/clan-0.8.0.tar.gz
+tar xf clan-0.8.0.tar.gz
+cd clan-0.8.0
+./configure
+make
+cd ..
+
+
+# candl
+git clone https://repo.or.cz/candl.git
+cd candl
+git submodule init
+git submodule update
+sh autogen.sh
+
+cd piblib
+./configure --no-create --no-recursion
+cd ..
+
+./configure --with-piplib=bundled --with-scoplib=bundled
+make
+