test-rocq.bash


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

set -e

# clean up before starting
echo cleaning rocq builds
guix gc -D $(find /gnu/store -maxdepth 1 -name "*rocq*")

# copy to temp to keep avoid recompiling unnecessary files
TMP=`mktemp -t -d test-rocq.bash.XXXXXX`
mkdir -p $TMP/gnu/packages
cp gnu/packages/rocq.scm $TMP/gnu/packages

for PKG in rocq-runtime rocq-core rocqide rocqide-server
do
    echo building $PKG ...
    guix build -L $TMP $PKG
    echo ... success
done

echo testing repl ...
guix shell -L scratch/ rocq-runtime rocq-core  -- rocq top < RocqExample.v
echo ... success

echo rocq tests finished successfully

trap "rm -rf $TMP* 2>EXIT" 0