summaryrefslogtreecommitdiff
path: root/libdde-linux26/mk/config.inc
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-07-27 22:15:01 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-07-27 22:15:01 +0000
commit7996a3d79d55b7f879dfd62e202bbfe2963718d3 (patch)
tree8d9f6759fec4099b9be503c11c7ed174f7204980 /libdde-linux26/mk/config.inc
parent4fbe7358c7747a9165f776eb19addbb9baf7def2 (diff)
really properly move files
Diffstat (limited to 'libdde-linux26/mk/config.inc')
-rw-r--r--libdde-linux26/mk/config.inc137
1 files changed, 137 insertions, 0 deletions
diff --git a/libdde-linux26/mk/config.inc b/libdde-linux26/mk/config.inc
new file mode 100644
index 00000000..841ef9b7
--- /dev/null
+++ b/libdde-linux26/mk/config.inc
@@ -0,0 +1,137 @@
+# -*- Makefile -*-
+# vim:set ft=make:
+# DROPS (Dresden Realtime OPerating System) Component
+#
+# Makefile-Include for compiling templates (prog.mk, lib.mk)
+#
+
+# Makefile-Include for binary, lib, subdir and other directories.
+# Definitions and rules for the DROPS configuration tool.
+
+# Supported targets:
+#
+# config:: - run the menu-driven configuration tool
+# txtconfig:: - run the configuration tool
+# oldconfig:: - (re)create the configuration header based on a prior
+# configuration or default values
+#
+#
+# Required Parameters:
+#
+# PKGDIR
+#
+#
+# Optional Parameters:
+#
+# DROPSCONF - if nonempty, the configuration tool is run for
+# target config::. If empty, the configuration tool
+# is not run.
+# DROPSCONF_TITLE - the main title in the configuration tool.
+# DROPSCONF_DEFCONFIG - default config file
+# DROPSCONF_CONFIG_IN - configuration defintion file
+# DROPSCONF_CONFIG - config file
+# DROPSCONF_CONFIG_H - generated config header file
+# DROPSCONF_MACRO - macro to indicate inclusion of config header file
+# DROPSCONF_HELPFILE - options help file
+# DROPSCONF_TOOL - the menudriven configuration tool
+# DROPSCONF_TOOL_TXT - the configuration tool
+# DROPSCONF_TOOL_OLD - helper for recreating the config header file
+
+DROPSCONF ?=
+DROPSCONF_TITLE ?= DROPS Configuration Tool
+DROPSCONF_DEFCONFIG ?= defconfig
+DROPSCONF_CONFIG_IN ?= config.in
+DROPSCONF_CONFIG ?= $(OBJ_DIR)/.config
+DROPSCONF_CONFIG_H ?= $(OBJ_DIR)/config.h
+DROPSCONF_CONFIG_MK ?= $(OBJ_DIR)/Makeconf.bid.local
+DROPSCONF_DONTINC_MK ?=
+DROPSCONF_MACRO ?= CONFIG_H_INCLUDED
+DROPSCONF_HELPFILE ?= config.help
+DROPSCONF_LXDIALOG ?= $(OBJ_BASE)/tool/config/lxdialog/lxdialog
+DROPSCONF_TOOL ?= $(firstword $(wildcard \
+ $(L4DIR)/tool/config/Menuconfig \
+ $(DROPS_STDDIR)/tool/bin/Menuconfig) \
+ did_not_find_BID_Menuconfig)
+DROPSCONF_TOOL_TXT ?= $(firstword $(wildcard \
+ $(L4DIR)/tool/config/Configure \
+ $(DROPS_STDDIR)/tool/bin/Configure) \
+ did_not_find_BID_Configure)
+DROPSCONF_TOOL_OLD ?= $(firstword $(wildcard \
+ $(L4DIR)/tool/config/Configure \
+ $(DROPS_STDDIR)/tool/bin/Configure) \
+ did_not_find_BID_Configure) -d
+DROPSCONF_VARDEFS = $(foreach v,TITLE DEFCONFIG CONFIG_IN CONFIG CONFIG_H \
+ MACRO HELPFILE UNDEF LXDIALOG,DROPSCONF_$v='$(DROPSCONF_$v)')
+
+ifneq ($(DROPSCONF),)
+.o: $(DROPSCONF_CONFIG_H)
+
+$(DROPSCONF_CONFIG_H): $(DROPSCONF_CONFIG)
+
+$(DROPSCONF_CONFIG_H) $(DROPSCONF_CONFIG): $(DROPSCONF_CONFIG_IN)
+ @$(GEN_MESSAGE)
+ $(VERBOSE)install -d $(dir $(DROPSCONF_CONFIG))
+ $(VERBOSE)install -d $(dir $(DROPSCONF_CONFIG_H))
+ $(VERBOSE)if tty >/dev/null; then \
+ $(DROPSCONF_VARDEFS) $(DROPSCONF_TOOL_OLD); \
+ else \
+ true | $(DROPSCONF_VARDEFS) $(DROPSCONF_TOOL_OLD) \
+ $(if $(VERBOSE),>/dev/null,) || \
+ ( echo -e "\nError: Unattended mode -- Some defaults for config options are missing." ; \
+ false ) \
+ fi
+
+$(DROPSCONF_CONFIG_MK): $(DROPSCONF_CONFIG)
+ $(VERBOSE)sed -e "s/\(^[^= ]*=\)'\([^']*\)'/\1\2/" \
+ <$(DROPSCONF_CONFIG) >$@
+ $(VERBOSE)$(MAKE) DROPSCONF_CONFIG_MK_POST_HOOK
+
+DROPSCONF_CONFIG_MK_POST_HOOK::
+
+config:: $(DROPSCONF_LXDIALOG)
+ $(VERBOSE)install -d $(dir $(DROPSCONF_CONFIG_H))
+ $(VERBOSE)$(DROPSCONF_VARDEFS) $(DROPSCONF_TOOL)
+ $(VERBOSE)test ! -r $(DROPSCONF_CONFIG) -o \
+ ! $(DROPSCONF_CONFIG) -nt $(DROPSCONF_CONFIG_MK) || \
+ $(MAKE) $(DROPSCONF_CONFIG_MK)
+
+txtconfig::
+ $(VERBOSE)install -d $(dir $(DROPSCONF_CONFIG_H))
+ $(VERBOSE)$(DROPSCONF_VARDEFS) $(DROPSCONF_TOOL_TXT)
+ @$(MAKE) $(DROPSCONF_CONFIG_MK)
+
+oldconfig::
+ $(VERBOSE)install -d $(dir $(DROPSCONF_CONFIG_H))
+ $(VERBOSE)$(DROPSCONF_VARDEFS) $(DROPSCONF_TOOL_OLD)
+ @$(MAKE) $(DROPSCONF_CONFIG_MK)
+
+$(DROPSCONF_LXDIALOG):
+ $(VERBOSE)install -d $(@D)
+ $(VERBOSE)PWD=$(call absfilename,$(L4DIR)/tool/config) $(MAKE) -C $(L4DIR)/tool/config
+
+clean::
+
+cleanall::
+ $(VERBOSE)$(RM) $(DROPSCONF_CONFIG) $(DROPSCONF_CONFIG_H) \
+ $(DROPSCONF_CONFIG_MK) .menuconfig.log \
+ $(DROPSCONF_CONFIG).old
+help::
+ @echo " config - run the menu-driven configuration tool"
+ @echo " txtconfig - run the configuration tool"
+ @echo " oldconfig - (re)create the configuration header based on a prior"
+ @echo " configuration or default values"
+
+# special switch not to include DROPSCONF_CONFIG_MK
+ifeq ($(DROPSCONF_DONTINC_MK),)
+# do not prebuild the config file on "make config"
+ifeq ($(filter config oldconfig txtconfig help scrub clean cleanall $(DROPSCONF_CONFIG_MK),$(MAKECMDGOALS)),)
+-include $(DROPSCONF_CONFIG_MK)
+endif
+endif
+
+# end of DROPSCONF defined
+else
+config txtconfig oldconfig::
+endif
+
+.PHONY: config oldconfig txtconfig