]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile.common
- we are moving from old (patched) management of sort inclusion
[helm.git] / helm / software / helena / Makefile.common
index 34c521bb6eeeae2b8446ede553b9aad3fae4b0a2..babfcf50fb5aab3d79be0806e7a94b9c43071e18 100644 (file)
@@ -91,6 +91,6 @@ etc:
        @echo "  OCAMLOPT $<"
        $(H)$(OCAMLOPT) -c $<
 
-TAGS += $(MAIN).opt
+TAGS += all opt $(MAIN).opt
 
 $(foreach TAG, $(TAGS), $(eval $(call INCLUDE_TEMPLATE, $(TAG))))