X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=38f1c3076fcc47ad8eb82c7d9c3e4dd0724724ca;hb=380ceb6b6552fd9ebd48d710ab12931d5d97e465;hp=7e267a2f31c6157d713f2c726ea6017ebd790f20;hpb=e8998d29ab83e7b6aa495a079193705b2f6743d3;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 7e267a2f3..38f1c3076 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -16,6 +16,7 @@ ORIGS    = basic_2/basic_1.orig
 PACKAGES = ground_2 basic_2 apps_2
 
 all:
+	../../matitac.opt
 
 # xoa ########################################################################