From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 16 Nov 2001 14:27:36 +0000 (+0000)
Subject: ...
X-Git-Tag: mlminidom_0_2_2~76
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b958f33972d53583bffa6fc207eee34211fc0afd;p=helm.git

...
---

diff --git a/helm/DEVEL/mlminidom/Makefile.in b/helm/DEVEL/mlminidom/Makefile.in
index 802da6faf..e18583fc7 100644
--- a/helm/DEVEL/mlminidom/Makefile.in
+++ b/helm/DEVEL/mlminidom/Makefile.in
@@ -65,7 +65,7 @@ test: test.ml $(OBJECTS_C) $(ARCHIVE)
 	mkdir -p $(TMPPKGDIR)
 	cp $(OBJECTS_C) $(ARCHIVE) $(INST) $(TMPPKGDIR)
 	cp test.ml $(TMPDIR)
-	cd $(TMPDIR) ; export OCAMLPATH=. ; \
+	cd $(TMPDIR) ; export OCAMLPATH=.:$$OCAMLPATH ; \
 	$(OCAMLC) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
 	mv $(TMPDIR)/$@ .
 	rm -r $(TMPDIR)
@@ -74,7 +74,7 @@ test.opt: test.ml $(OBJECTS_C) $(ARCHIVE_C) $(ARCHIVE_OPT)
 	mkdir -p $(TMPPKGDIR)
 	cp $(OBJECTS_C) $(ARCHIVE_C) $(ARCHIVE_OPT) $(INST) $(TMPPKGDIR)
 	cp test.ml $(TMPDIR)
-	cd $(TMPDIR) ; export OCAMLPATH=. ; \
+	cd $(TMPDIR) ; export OCAMLPATH=.:$$OCAMLPATH ; \
 	$(OCAMLOPT) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
 	mv $(TMPDIR)/$@ .
 	rm -r $(TMPDIR)