build.sh

#!/bin/bash

source bin/osx_gnu.sh

set -e

DIRS="-Is src/util,src/formulas,src/backends/smtlib,src/backends/c,src/programs,src/frontends/spl,src/prover,src/sl,src/verifier,src/main"
TARGET="src/main/grasshopper src/main/vizmodel "
FLAGS="-cflag -g -lflag -g -libs unix,str $DIRS"
OCAMLBUILD=ocamlbuild

ocb()
{
    $OCAMLBUILD -use-ocamlfind $FLAGS $*
}

if [ $# -eq 0 ]; then
    action=native
else
    action=$1;
    shift
fi

case $action in
    clean)  ocb -clean; echo "" ;;
    native) ocb ${TARGET//" "/".native "} ;;
    byte)   ocb ${TARGET//" "/".byte "} ;;
    all)    ocb ${TARGET//" "/".native "} ${TARGET//" "/".byte "} ;;
    prof)   ocb ${TARGET//" "/".p.native "} ;;
    tests)  bin/regression-tests $@ ;;
    depend) echo "Not needed.";;
    smt-lib) bin/generate-smtlib-benchmarks $@ ;;
    *)      echo "Unknown action $action";;
esac;