--- otherlibs/threads/Makefile.orig Tue Mar 2 10:30:56 2004 +++ otherlibs/threads/Makefile Tue Mar 2 10:31:16 2004 @@ -99,12 +99,12 @@ rm -f pervasives.mli marshal.mli unix.mli install: - if test -f dllvmthreads.so; then cp dllvmthreads.so $(STUBLIBDIR)/.; fi - mkdir -p $(LIBDIR)/vmthreads - cp libvmthreads.a $(LIBDIR)/vmthreads/libvmthreads.a - cd $(LIBDIR)/vmthreads; $(RANLIB) libvmthreads.a - cp thread.cmi mutex.cmi condition.cmi event.cmi threadUnix.cmi threads.cma stdlib.cma unix.cma $(LIBDIR)/vmthreads - cp thread.mli mutex.mli condition.mli event.mli threadUnix.mli $(LIBDIR)/vmthreads + if test -f dllvmthreads.so; then cp dllvmthreads.so $(DESTROOT)$(STUBLIBDIR)/.; fi + mkdir -p $(DESTROOT)$(LIBDIR)/vmthreads + cp libvmthreads.a $(DESTROOT)$(LIBDIR)/vmthreads/libvmthreads.a + cd $(DESTROOT)$(LIBDIR)/vmthreads; $(RANLIB) libvmthreads.a + cp thread.cmi mutex.cmi condition.cmi event.cmi threadUnix.cmi threads.cma stdlib.cma unix.cma $(DESTROOT)$(LIBDIR)/vmthreads + cp thread.mli mutex.mli condition.mli event.mli threadUnix.mli $(DESTROOT)$(LIBDIR)/vmthreads installopt: