Makefile: rename INSTALL_FLEXDLL into INSTALL_FLEXDLLDIR for consistency

master
Gabriel Scherer 2018-03-29 14:15:23 +02:00
parent ecfd39f127
commit 3a0c7d97f3
1 changed files with 3 additions and 3 deletions

View File

@ -279,7 +279,7 @@ INSTALL_LIBDIR=$(DESTDIR)$(LIBDIR)
INSTALL_COMPLIBDIR=$(DESTDIR)$(COMPLIBDIR)
INSTALL_STUBLIBDIR=$(DESTDIR)$(STUBLIBDIR)
INSTALL_MANDIR=$(DESTDIR)$(MANDIR)
INSTALL_FLEXDLL=$(INSTALL_LIBDIR)/flexdll
INSTALL_FLEXDLLDIR=$(INSTALL_LIBDIR)/flexdll
TOPINCLUDES=$(addprefix -I otherlibs/,$(filter-out %threads,$(OTHERLIBRARIES)))
RUNTOP=./byterun/ocamlrun ./ocaml \
@ -591,8 +591,8 @@ ifneq "$(filter-out mingw,$(TOOLCHAIN))" ""
"$(INSTALL_BINDIR)/"
endif
if test -n "$(wildcard flexdll/flexdll_*.$(O))" ; then \
$(MKDIR) "$(INSTALL_FLEXDLL)" ; \
install -m $(MDATA) flexdll/flexdll_*.$(O) "$(INSTALL_FLEXDLL)" ; \
$(MKDIR) "$(INSTALL_FLEXDLLDIR)" ; \
install -m $(MDATA) flexdll/flexdll_*.$(O) "$(INSTALL_FLEXDLLDIR)" ; \
fi
MDATA=u+rw,g+rw,o+r