Commit 9a1d5386 authored by Michael Sammler's avatar Michael Sammler
Browse files

added build.sh

parent e15f8db2
#!/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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment