blob: 925bc4b9a13e3ea058909d0a01b8c77fa1a08c38 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/sh
# Start coqide with the right options
# Use the Makefile to rebuild dependencies if needed
# Recompile the modified file after coqide editing
make -q ${1}o || {
make -n ${1}o | grep -v "\\b${1}\\b" | \
(while read cmd; do
sh -c "$cmd" || exit 2
done)
}
"${COQBIN}coqide" -async-proofs off $1 && make ${1}o
|