summaryrefslogtreecommitdiff
path: root/coq
blob: 0b04a8c7d7cb9cbbda1811352c9cfc0c219044e6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/sh
# Start coqide with the right -I options
# Use the Makefile to rebuild dependencies if needed
# Recompile the modified file after coqide editing

INCLUDES=`make print-includes`

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" $INCLUDES $1 && make ${1}o