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

eval `opam config env`
cd ../coq
./configure_coq.sh
make -j