misc/ci-local.sh

   1 #!/bin/bash
   2
   3 function section_start()
   4 { echo -e "\e[0Ksection_start:`date +%s`:$1[collapsed=true]\r\e[0K\e[32;1m$2\e[0;m"; }
   5 function section_stop()
   6 { echo -e "\e[0Ksection_end:`date +%s`:$1\r\e[0K"; }
   7
   8 set -e
   9 if test "$COMPILER" != "system"; then
  10     opam switch $COMPILER
  11     eval `opam env`
  12 fi
  13 if test "$COMPILER" = "full"; then
  14     JS="--enable-js-of-ocaml"
  15 fi
  16
  17 section_start configure Configuration
  18 ./autogen.sh
  19 ./configure --enable-local $JS
  20 section_stop configure
  21
  22 section_start build Building
  23 make -j2
  24 section_stop build
  25
  26 while test $# -gt 0
  27 do
  28     section_start "test_$1" "Testing \"$1\""
  29     case "$1" in
  30         bench)
  31             bin/why3 config detect
  32             make bench
  33             ;;
  34         ide)
  35             WHY3CONFIG="" xvfb-run bin/why3 ide --batch="" examples/logic/einstein.why
  36             bin/why3 config detect
  37             bench/ide-bench
  38             ;;
  39         trywhy3)
  40             make -j2 web_ide
  41             make -j2 trywhy3.tar.gz
  42             ;;
  43         doc)
  44             make predoc
  45             make stdlibdoc
  46             make apidoc
  47             ;;
  48         ce-bench)
  49             bin/why3 config detect
  50             bench/check-ce-bench
  51             ;;
  52         nightly-bench-reduced)
  53             bin/why3 config detect
  54             sed -i why3.conf -e "s/running_provers_max = [0-9]*/running_provers_max = 1/"
  55             cat misc/bench-few-provers-why3-conf >> why3.conf
  56             COQVER=$(bin/why3 config list-provers | sed -n -e 's/Coq (\?\([0-9.]\+\).*/\1/p')
  57             if test "$COQVER" != "" ; then
  58               sed misc/bench-coq-why3-conf -e "s/@COQVER@/$COQVER/g" >> why3.conf
  59             fi
  60             examples/regtests.sh --reduced-mode
  61             ;;
  62     esac
  63     section_stop "test_$1"
  64     shift
  65 done