1 2 3 4 5 6 7
#!/bin/sh # Start coqide with the right -I options ARCH=`sed -n -e 's/^ARCH=//p' Makefile.config` VARIANT=`sed -n -e 's/^VARIANT=//p' Makefile.config` coqide -I lib -I common -I $ARCH/$VARIANT -I $ARCH -I backend -I cfrontend $1 && make ${1}o