ci-coq.sh 70 Bytes
Newer Older
Heiko Becker's avatar
Heiko Becker committed
1 2 3
#!/bin/sh

eval `opam config env`
Heiko Becker's avatar
Heiko Becker committed
4
cd ./coq
Heiko Becker's avatar
Heiko Becker committed
5 6
./configure_coq.sh
make -j