ci-local.sh 900 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
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
19 20
            bin/why3config --detect-provers
            bench/ide-bench
21 22 23 24
            ;;
        doc)
            make doc
            ;;
Guillaume Melquiond's avatar
Guillaume Melquiond committed
25
        ce-bench)
26 27
            bin/why3config --detect-provers
            bench/ce-bench
Guillaume Melquiond's avatar
Guillaume Melquiond committed
28 29 30
            ;;
        nightly-bench-reduced)
            bin/why3config --detect-provers
31 32 33 34
            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
            ;;
35 36 37
    esac
    shift
done