kconfig/kconfig.mk
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 05 00:01:05 2013 +0200 (2013-05-05)
changeset 3218 3709e61ad85b
parent 3034 11c23aa9c9f9
child 3225 dcdc595a23c8
permissions -rw-r--r--
complibs/cloog: add support for the ISL backend

CLooG 0.18+ will use ISL instead of PPL, so we have to configure
adequately depending of which backend is in use.

The Kconfig entries will decide for us which is selected, so we
can rely on either PPL xor ISL to be selected, not both.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL support,
which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     1 # ===========================================================================
     2 # crosstool-NG configuration targets
     3 # These targets are used from top-level makefile
     4 
     5 #-----------------------------------------------------------
     6 # The configurators rules
     7 
     8 configurators = menuconfig nconfig oldconfig savedefconfig defconfig
     9 PHONY += $(configurators)
    10 
    11 $(configurators): config_files
    12 
    13 # We need CONF for savedefconfig in scripts/saveSample.sh
    14 export CONF  := $(CT_LIB_DIR)/kconfig/conf
    15 MCONF := $(CT_LIB_DIR)/kconfig/mconf
    16 NCONF := $(CT_LIB_DIR)/kconfig/nconf
    17 
    18 menuconfig:
    19 	@$(ECHO) "  CONF  $(KCONFIG_TOP)"
    20 	$(SILENT)$(MCONF) $(KCONFIG_TOP)
    21 
    22 nconfig:
    23 	@$(ECHO) "  CONF  $(KCONFIG_TOP)"
    24 	$(SILENT)$(NCONF) $(KCONFIG_TOP)
    25 
    26 oldconfig: .config
    27 	@$(ECHO) "  CONF  $(KCONFIG_TOP)"
    28 	$(SILENT)$(CONF) --silent$@ $(KCONFIG_TOP)
    29 
    30 savedefconfig: .config
    31 	@$(ECHO) '  GEN   $@'
    32 	$(SILENT)$(CONF) --savedefconfig=$${CONFIG-defconfig} $(KCONFIG_TOP)
    33 
    34 defconfig:
    35 	@$(ECHO) '  CONF  $@'
    36 	$(SILENT)$(CONF) --defconfig=$${CONFIG-defconfig} $(KCONFIG_TOP)
    37 
    38 # Always be silent, the stdout an be >.config
    39 extractconfig:
    40 	@$(awk) 'BEGIN { dump=0; }                                                  \
    41 	         dump==1 && $$0~/^\[.....\][[:space:]]+(# |)CT_/ {                  \
    42 	             $$1="";                                                        \
    43 	             gsub("^[[:space:]]","");                                       \
    44 	             print;                                                         \
    45 	         }                                                                  \
    46 	         $$0~/Dumping user-supplied crosstool-NG configuration: done in/ {  \
    47 	             dump=0;                                                        \
    48 	         }                                                                  \
    49 	         $$0~/Dumping user-supplied crosstool-NG configuration$$/ {         \
    50 	             dump=1;                                                        \
    51 	         }'
    52 
    53 #-----------------------------------------------------------
    54 # Help text used by make help
    55 
    56 help-config::
    57 	@echo  '  menuconfig         - Update current config using a menu based program'
    58 	@echo  '  oldconfig          - Update current config using a provided .config as base'
    59 	@echo  '  extractconfig      - Extract to stdout the configuration items from a'
    60 	@echo  '                       build.log file piped to stdin'
    61 	@echo  '  defconfig          - Save current config as a mini-defconfig to $${CONFIG}'
    62 	@echo  '  olddefconfig       - Update config from a mini-defconfig $${CONFIG}'
    63 	@echo  '                       (default: $${CONFIG}=./defconfig)'