diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-03-29 14:38:33 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-03-29 17:04:05 +0200 |
| commit | 3702f536923fcd0680645a1e50aca707aed4e95b (patch) | |
| tree | 31e35eb253d7843c0f27c37652f2864a186b72bd /stdlib/Makefile | |
| parent | afcd29eb0c72747459456d660f0c22805affe3b0 (diff) | |
| download | ocaml-3702f536923fcd0680645a1e50aca707aed4e95b.tar.gz | |
factorize common makefile definitions in Makefile.common
Diffstat (limited to 'stdlib/Makefile')
| -rw-r--r-- | stdlib/Makefile | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 80716fe981..c7477dd931 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -14,6 +14,8 @@ #************************************************************************** include ../config/Makefile +include ../Makefile.common + CAMLRUN ?= ../boot/ocamlrun CAMLYACC ?= ../boot/ocamlyacc TARGET_BINDIR ?= $(BINDIR) @@ -83,12 +85,6 @@ allopt-noprof: allopt-prof: stdlib.p.cmxa std_exit.p.cmx rm -f std_exit.p.cmi -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) - .PHONY: install install:: $(INSTALL_DATA) \ |