summaryrefslogtreecommitdiff
path: root/otherlibs/Makefile
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2018-03-29 14:38:33 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2018-03-29 17:04:05 +0200
commit3702f536923fcd0680645a1e50aca707aed4e95b (patch)
tree31e35eb253d7843c0f27c37652f2864a186b72bd /otherlibs/Makefile
parentafcd29eb0c72747459456d660f0c22805affe3b0 (diff)
downloadocaml-3702f536923fcd0680645a1e50aca707aed4e95b.tar.gz
factorize common makefile definitions in Makefile.common
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r--otherlibs/Makefile9
1 files changed, 2 insertions, 7 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile
index ea1401e522..98d6d470fb 100644
--- a/otherlibs/Makefile
+++ b/otherlibs/Makefile
@@ -17,6 +17,8 @@
ROOTDIR=../..
include $(ROOTDIR)/config/Makefile
+include $(ROOTDIR)/Makefile.common
+
CAMLRUN ?= $(ROOTDIR)/boot/ocamlrun
CAMLYACC ?= $(ROOTDIR)/boot/ocamlyacc
@@ -76,13 +78,6 @@ $(LIBNAME).cmxs: $(LIBNAME).cmxa lib$(CLIBNAME).$(A)
lib$(CLIBNAME).$(A): $(COBJS)
$(MKLIB) -oc $(CLIBNAME) $(COBJS) $(LDOPTS)
-INSTALL=install
-INSTALL_DATA=$(INSTALL) -m u+rw,g+rw,o+r
-INSTALL_PROG=$(INSTALL) -m u+rwx,g+rwx,o+rx
-
-INSTALL_LIBDIR=$(DESTDIR)$(LIBDIR)
-INSTALL_STUBLIBDIR=$(DESTDIR)$(STUBLIBDIR)
-
install::
if test -f dll$(CLIBNAME)$(EXT_DLL); then \
$(INSTALL_PROG) \