X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2FMakefile.common;h=1db6ea34085d002b29f9bdfcbfb1852ee5cdb71c;hb=bf7be462a06e739b39af20f72362857e849a2aa0;hp=ae92e7df6e538f2af47f0f14dda530b1a3d35b58;hpb=586c361209ac14e8c2b1da3509041c0c82a86c92;p=helm.git

diff --git a/helm/software/helena/Makefile.common b/helm/software/helena/Makefile.common
index ae92e7df6..1db6ea340 100644
--- 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)