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