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

ARCH=`sed -n -e 's/^ARCH=//p' Makefile.config`
VARIANT=`sed -n -e 's/^VARIANT=//p' Makefile.config`

make -q ${1}o || {
  make -n ${1}o | grep -v "\\b${1}\\b" | \
  (while read cmd; do
    $cmd || exit 2
   done)
}

coqide -I lib -I common -I $ARCH/$VARIANT -I $ARCH -I backend -I cfrontend $1 \
&& make ${1}o