From: Claudio Sacerdoti Coen Date: Wed, 6 Mar 2002 17:20:23 +0000 (+0000) Subject: The .so file was not moved into the temporary installation directory. X-Git-Tag: V_0_3_0_debian_8~240 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f385f14a96bd959e475cb197213d67b343ac5bbb;p=helm.git The .so file was not moved into the temporary installation directory. --- diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in index defa0b999..48fb33754 100644 --- a/helm/DEVEL/lablgtkmathview/Makefile.in +++ b/helm/DEVEL/lablgtkmathview/Makefile.in @@ -73,7 +73,7 @@ $(ARCHIVE_SO): $(OBJECTS_C) $(TESTDIR)/test: $(OBJECTS_C) $(ARCHIVE) $(TESTDIR)/test.ml mkdir -p $(TMPPKGDIR) - cp $(OBJECTS_C) $(ARCHIVE) $(INST) $(TMPPKGDIR) + cp $(OBJECTS_C) $(ARCHIVE_SO) $(ARCHIVE) $(INST) $(TMPPKGDIR) cd $(TESTDIR) ; export OCAMLPATH=../$(TMPDIR):$$OCAMLPATH ; make rm -r $(TMPDIR)