test-suite/misc/poly-capture-global-univs.sh


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