]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b8d37cd)
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)
helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile patch | blob | history

diff --git a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
index 489b2c135c950ef1d9e36b0a5c094efae0db9c6c..5b2b2fa40e0f0b5776abb2572b03b98c854bd733 100644 (file)
--- a/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
+++ b/helm/software/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
@@ -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
Unnamed repository; edit this file 'description' to name the repository.