]> matita.cs.unibo.it Git - helm.git/commitdiff
Missing -I ../.. added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2006 14:13:31 +0000 (14:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2006 14:13:31 +0000 (14:13 +0000)
matita/contribs/PREDICATIVE-TOPOLOGY/Makefile

index 489b2c135c950ef1d9e36b0a5c094efae0db9c6c..5b2b2fa40e0f0b5776abb2572b03b98c854bd733 100644 (file)
@@ -1,6 +1,6 @@
 SRC=$(shell find . -name "*.ma" -a -type f)
 
-MATITA_FLAGS =
+MATITA_FLAGS = -I ../..
 NODB=false
 ifeq ($(NODB),true)
        MATITA_FLAGS += -nodb