matita.basedir used consistently

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

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index ae92e7df6e538f2af47f0f14dda530b1a3d35b58..1db6ea34085d002b29f9bdfcbfb1852ee5cdb71c 100644 (file)
--- a/helm/software/helena/Makefile.common
+++ b/helm/software/helena/Makefile.common
@@ -1,9 +1,6 @@
 H=@
-ifeq ($(origin OCAMLPATH), undefined)
-   OCAMLFIND = OCAMLPATH=$(HOME)/svn/claudio/components/METAS ocamlfind
-else
-   OCAMLFIND = ocamlfind
-endif
+OCAMLPATH ?= /home/fguidi/svn/matita_patched/components/METAS
+OCAMLFIND = OCAMLPATH=$(OCAMLPATH) ocamlfind
 
 RELISE = $(MAIN:%=%_$(shell cat MakeVersion))
 
@@ -76,7 +73,7 @@ $(MAIN).opt: $(O_OBJECTS)
        $(H)$(OCAMLOPT) -o $(MAIN).opt $(CMXS)
 
 $(MAIN).byte: $(B_OBJECTS)
-       @echo "  OCAMC -o $(MAIN).byte"
+       @echo "  OCAMLC -o $(MAIN).byte"
        $(H)$(OCAMLC) -o $(MAIN).byte $(CMOS)
 
 .depend.opt: $(SOURCES)