new semantics of the -g option completed

[helm.git] / helm / software / helena / Makefile.common

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index 902f37a3db557e6b748f50b25d24e368161b6c16..0db660fe6f0b7856260860e69eecca6879c6c7ce 100644 (file)
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -1,13 +1,13 @@
 H=@
 ifeq ($(origin OCAMLPATH), undefined)
-   OCAMLFIND = OCAMLPATH=$(HOME)/svn/helm-stable/software/components/METAS ocamlfind
+   OCAMLFIND = OCAMLPATH=$(HOME)/svn/claudio/components/METAS ocamlfind
 else
    OCAMLFIND = ocamlfind
 endif
 
 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
 
-DOWNDIR = $(HOME)/svn/helm-stable/www/lambda_delta/download
+DOWNDIR = ../../www/lambdadelta/download
 
 DIRECTORIES = $(addprefix $(SRC)/,$(shell cat $(SRC)/Make))
 
@@ -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))))