diff options
| author | Alain Frisch <alain@frisch.fr> | 2010-05-28 10:11:54 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2010-05-28 10:11:54 +0000 |
| commit | 684a1baafefbcdf7f23365d1d9920942a8e2049e (patch) | |
| tree | efc209bc6b100f83fd1e3e795fae1c452abc82a4 | |
| parent | 66092ce6ff6c788bf941cbd672fab8f89b5fed40 (diff) | |
Do not install natdynlink if it does not work.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/dynlink/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index da58af3da..fcac76cc0 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -70,8 +70,10 @@ install: cp extract_crc $(LIBDIR)/extract_crc$(EXE) installopt: - cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR) - cd $(LIBDIR); $(RANLIB) dynlink.$(A) + (grep -q '^NATDYNLINK=true$$' ../../config/Makefile && \ + cp $(NATOBJS) dynlink.cmxa dynlink.$(A) $(LIBDIR) && \ + cd $(LIBDIR) && $(RANLIB) dynlink.$(A) \ + ) || true partialclean: rm -f extract_crc *.cm[ioax] *.cmxa |