X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2FMakefile;h=7054f4ef0f4eb4a3b9d478205aa2818492f641c5;hb=21f1fb39b5e1187ef87387f20522e60abe4f7c19;hp=c2cc976d41bef6da55f04323c35a6b136326cf26;hpb=d4302f43737034a69bd475e5f46e8d126229375e;p=helm.git

diff --git a/helm/software/matita/contribs/dama/Makefile b/helm/software/matita/contribs/dama/Makefile
index c2cc976d4..7054f4ef0 100644
--- a/helm/software/matita/contribs/dama/Makefile
+++ b/helm/software/matita/contribs/dama/Makefile
@@ -1,6 +1,6 @@
 GOALS = all opt clean clean.opt
 
-DEVELS = dama dama_didactic
+DEVELS = dama dama_didactic dama_duality
 
 $(GOALS): 
 	@$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;)