a) update with upstream version

[helm.git] / helm / software / matita / contribs / dama / Makefile

diff --git a/helm/software/matita/contribs/dama/Makefile b/helm/software/matita/contribs/dama/Makefile
index c2cc976d41bef6da55f04323c35a6b136326cf26..7054f4ef0f4eb4a3b9d478205aa2818492f641c5 100644 (file)
--- 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) $@;)