diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-10-30 09:32:32 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-10-30 09:32:32 +0000 |
| commit | 343d49401abf2c9d6841a4739c90f65fc88a666f (patch) | |
| tree | b378148fd4864173f54e73ea51d0a4c3be367ad4 /otherlibs/systhreads | |
| parent | f4e4e941cb5919dfe680a7968a057a1cc76af4c8 (diff) | |
Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/systhreads')
| -rw-r--r-- | otherlibs/systhreads/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile index 3f5265983..6ea121cdc 100644 --- a/otherlibs/systhreads/Makefile +++ b/otherlibs/systhreads/Makefile @@ -68,7 +68,7 @@ clean: partialclean rm -f $(GENFILES) install: - if test -f libthreads.so; then cp libthreads.so $(LIBDIR)/libthreads.so; fi + if test -f dllthreads.so; then cp dllthreads.so $(LIBDIR)/dllthreads.so; fi cp libthreads.a $(LIBDIR)/libthreads.a cd $(LIBDIR); $(RANLIB) libthreads.a if test -d $(LIBDIR)/threads; then :; else mkdir $(LIBDIR)/threads; fi |