#!/bin/sh


cd ./coq

opam switch coq8.7.2
eval `opam config env`
./configure_coq.sh
make -j

make clean

#opam switch coq8.8
#eval `opam config env`
#./configure_coq.sh
#make -j