#!/bin/sh
echo Compiling CAPD files to generate Simulator
g++ -O2 simulator2.cpp -o simu `../capd/bin/capd-config --cflags --libs`
g++ -O2 guard2.cpp -o guards `../capd/bin/capd-config --cflags --libs`
g++ -O2 invariant2.cpp -o invariants `../capd/bin/capd-config --cflags --libs`
echo Executables from CAPD generated
