ci-local.sh 828 Bytes
Newer Older
1 2 3
#!/bin/bash

set -e
4
eval `opam config env`
5

6
export OCAMLRUNPARAM=o=20,O=200
7
./configure --enable-local
8
make
9

10 11 12 13 14 15 16 17 18 19 20 21 22
while test $# -gt 0
do
    case "$1" in
        bench)
            bin/why3config --detect-provers
            make bench
            ;;
        ide)
            WHY3CONFIG="" xvfb-run bin/why3 ide --batch "" examples/logic/einstein.why
            ;;
        doc)
            make doc
            ;;
Guillaume Melquiond's avatar
Guillaume Melquiond committed
23
        ce-bench)
24 25
            bin/why3config --detect-provers
            bench/ce-bench
Guillaume Melquiond's avatar
Guillaume Melquiond committed
26 27 28
            ;;
        nightly-bench-reduced)
            bin/why3config --detect-provers
29 30 31 32
            sed -i why3.conf -e "s/running_provers_max = [0-9]*/running_provers_max = 1/"
            cat misc/bench-few-provers-why3-conf >> why3.conf
            examples/regtests.sh --reduced-mode
            ;;
33 34 35
    esac
    shift
done