]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/Makefile.common
- conditional compilation continues ...
[helm.git] / helm / software / helena / Makefile.common
index 6845800d5653f24dc5430cb8243a1fccae4dfad5..ae92e7df6e538f2af47f0f14dda530b1a3d35b58 100644 (file)
@@ -24,6 +24,8 @@ OCAMLLEX  = ocamllex.opt
 OCAMLYACC = ocamlyacc -v
 TAR       = tar -czf etc/$(MAIN:%=%.tgz)
 
+CALLMAKE = $(MAKE) --no-print-directory
+
 define DIR_TEMPLATE
    MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))
 endef
@@ -69,12 +71,6 @@ B_OBJECTS = $(patsubst %.ml,%.cmo,$(SOURCES:%.mli=%.cmi))
 
 CLEAN += $(MAIN).opt
 
-all opt: .depend.opt
-       @$(MAKE) --no-print-directory $(MAIN).opt
-
-byte: .depend.byte
-       @$(MAKE) --no-print-directory $(MAIN).byte
-
 $(MAIN).opt: $(O_OBJECTS)
        @echo "  OCAMLOPT -o $(MAIN).opt"
        $(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
@@ -123,7 +119,7 @@ etc:
        @echo "  OCAMLC $<"
        $(H)$(OCAMLC) -c $<
 
-O_TAGS += all opt $(MAIN).opt
+O_TAGS += opt $(MAIN).opt
 
 B_TAGS += byte $(MAIN).byte