X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2Flibrary%2FMakefile;h=6d8bdcaab2d94067561bfb47045a681cf8ee8a6a;hb=8ae1653eb75d2b57c50e077c49cb9d078313ea9d;hp=bd75dbd6d9c6d47567f18bc7018fefacfdc53826;hpb=3bfc56cd9b5afe52c3abfbef886ce82efa3bb3a3;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/library/Makefile b/helm/software/matita/contribs/procedural/library/Makefile
index bd75dbd6d..6d8bdcaab 100644
--- a/helm/software/matita/contribs/procedural/library/Makefile
+++ b/helm/software/matita/contribs/procedural/library/Makefile
@@ -1,3 +1,4 @@
 DEVEL = library
+MATITAOPTIONS = -no-default-includes
 
 include ../Makefile.common