blob: 398d618fc489c9ba00a8bd0ff29c6a05f87419df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/sh
# Start Proof General with the right Coq version
# Use the Makefile to rebuild dependencies if needed
# Recompile the modified file after editing
make -q ${1}o || {
make -n ${1}o | grep -v "\\b${1}\\b" | \
(while read cmd; do
sh -c "$cmd" || exit 2
done)
}
COQPROGNAME="${COQBIN}coqtop"
emacs --eval "(setq coq-prog-name \"$COQPROGNAME\")" $1 \
&& make ${1}o
|