blob: e066ac039bdc63359696e551fde2b4c183d64c25 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env bash
set -e
export COQBIN=$BIN
export PATH=$COQBIN:$PATH
cd misc/poly-capture-global-univs/
coq_makefile -f _CoqProject -o Makefile
make clean
make src/evil_plugin.cmxs
if make; then
>&2 echo 'Should have failed!'
exit 1
fi
|