Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[minor] rename CAN_BE_UNCONFIGURED into REQUIRES_CONFIGURATION

master
Gabriel Scherer 2020-05-03 11:12:27 +02:00
parent fab58a938a
commit 472a20d735
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -1069,7 +1069,7 @@ distclean: clean
include .depend
ifneq "$(CAN_BE_UNCONFIGURED)" ""
ifneq "$(REQUIRES_CONFIGURATION)" ""
Makefile.config Makefile.build_config: config.status
config.status:

8
Makefile.common
View File

@ -17,16 +17,16 @@
# other Makefiles
# Some special targets ('*clean' and 'configure') do not require configuration.
# CAN_BE_UNCONFIGURED is empty if only those targets are requested,
# REQUIRES_CONFIGURATION is empty if only those targets are requested,
# and non-empty if configuration is required.
CAN_BE_UNCONFIGURED := $(strip \
REQUIRES_CONFIGURATION := $(strip \
$(filter-out partialclean clean distclean configure, \
$(if $(MAKECMDGOALS),$(MAKECMDGOALS),defaultentry)))
# If no goals were specified (i.e. `make`), we add defaultentry
# (since it requires ./configure to be run) so that
# CAN_BE_UNCONFIGURED is non-empty.
# REQUIRES_CONFIGURATION is non-empty.
ifeq "$(CAN_BE_UNCONFIGURED)" ""
ifeq "$(REQUIRES_CONFIGURATION)" ""
-include $(ROOTDIR)/Makefile.build_config
else
include $(ROOTDIR)/Makefile.build_config