build.sh 261 Bytes
Newer Older
Michael Sammler's avatar
Michael Sammler committed
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/bash

set -e

export TIMECMD="time -f \t%es\t%P"

if [[ "${1##*.}" == "c" ]]; then
    dune exec -- refinedc check --no-build "$1"
    cd "$(dirname $1)/proofs/$(basename $1 .c)"
    dune build --display short
else
    dune build --display short "$@"
fi