test-suite/misc/side-eff-leak-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/side-eff-leak-univs/

coq_makefile -f _CoqProject -o Makefile

make clean

make src/evil_plugin.cma

if make; then
    >&2 echo 'Should have failed!'
    exit 1
fi