diff options
Diffstat (limited to 'coq')
-rwxr-xr-x | coq | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,5 +13,5 @@ make -q ${1}o || { done) } -coqide -I lib -I common -I $ARCH/$VARIANT -I $ARCH -I backend -I cfrontend $1 \ +coqide -I lib -I common -I $ARCH/$VARIANT -I $ARCH -I backend -I cfrontend -I flocq -I flocq/Appli -I flocq/Calc -I flocq/Core -I flocq/Prop $1 \ && make ${1}o |