blob: f659fce6809e4e6904356d6316b33e23387496fe (
plain)
1
2
3
4
5
6
7
8
|
#!/bin/sh
command -v "${BIN}coqtop.byte" || { echo "Missing coqtop.byte"; exit 1; }
f=$(mktemp)
printf 'Drop. #use"include";; #quit;;\n' | "${BIN}coqtop.byte" -q 2>&1 | tee "$f"
if grep -q -E "Error|Unbound" "$f"; then exit 1; fi
|