#!/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