--- otherlibs/threads/Makefile.orig 2013-07-23 16:48:47.000000000 +0200 +++ otherlibs/threads/Makefile 2014-04-01 07:27:02.000000000 +0200 @@ -98,8 +98,8 @@ install: if test -f dllvmthreads.so; then cp dllvmthreads.so $(STUBLIBDIR)/.; fi mkdir -p $(LIBDIR)/vmthreads + $(RANLIB) libvmthreads.a 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 \