diff options
| -rw-r--r-- | otherlibs/systhreads/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile index 031f05c89..432fc580c 100644 --- a/otherlibs/systhreads/Makefile +++ b/otherlibs/systhreads/Makefile @@ -53,6 +53,7 @@ install: if test -d $(LIBDIR)/threads; then :; else mkdir $(LIBDIR)/threads; fi cp $(THREAD_OBJS:.cmo=.cmi) threads.cma $(LIBDIR)/threads rm -f $(LIBDIR)/threads/stdlib.cma + cp thread.mli mutex.mli condition.mli event.mli threadUnix.mli $(LIBDIR) installopt: cp libthreadsnat.a $(LIBDIR)/libthreadsnat.a |