ci-local.sh 1.18 KB
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
while test $# -gt 0
do
    case "$1" in
        bench)
14
            bin/why3config --detect
15 16 17 18
            make bench
            ;;
        ide)
            WHY3CONFIG="" xvfb-run bin/why3 ide --batch "" examples/logic/einstein.why
19
            bin/why3config --detect
20
            bench/ide-bench
21
            ;;
22 23 24
        web_ide)
            make web_ide
            ;;
25 26
        doc)
            make doc
27 28
            make stdlibdoc
            make apidoc
29
            ;;
Guillaume Melquiond's avatar
Guillaume Melquiond committed
30
        ce-bench)
31
            bin/why3config --detect
32
            bench/ce-bench
Guillaume Melquiond's avatar
Guillaume Melquiond committed
33 34
            ;;
        nightly-bench-reduced)
35
            bin/why3config --detect
36 37
            sed -i why3.conf -e "s/running_provers_max = [0-9]*/running_provers_max = 1/"
            cat misc/bench-few-provers-why3-conf >> why3.conf
38 39 40 41
            COQVER=$(bin/why3 --list-provers | sed -n -e 's/  Coq (\?\([0-9.]\+\).*/\1/p')
            if test "$COQVER" != "" ; then
              sed misc/bench-coq-why3-conf -e "s/@COQVER@/$COQVER/g" >> why3.conf
            fi
42 43
            examples/regtests.sh --reduced-mode
            ;;
44 45 46
    esac
    shift
done