diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:10:28 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:10:28 +0000 |
| commit | 422bea47ee1b23265eb03aa2e908716a8097f9c1 (patch) | |
| tree | 35982f1c90a35010dd7012d5e199c4836e34d37c | |
| parent | 253d2025aace6d6aca231dd24fd1adc6aad9cb0d (diff) | |
Installer les .mli aussi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |