blob: 19edb9a9db9aabb6730d96d9af88b675a4c53b24 (
plain)
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
|
