kconfig2sat: Implement --varopt

[linux-conf-perf.git] / Makefile

diff --git a/Makefile b/Makefile
index 82335d6a6f289d7fa585f726880fa49a6576eea2..d511ff1b76aa044bf1a8e02858748decc484a049 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,17 @@
 HELP=""
 include .conf.mk
-include .stamp/empty
+include .stamp/empty # This creates the .stamp directory
+
+HELPER_PROGRAMS = scripts/parse_kconfig/parse          \
+                 scripts/write_config/write_config     \
+                 scripts/allconfig/allconfig           \
+                 scripts/picosat-959/picosat
 
 HELP+="all         - Builds basic programs and prints message about next steps.\n"
 .PHONY: all
-all: parse_kconfig write_config allconfig picosat .stamp/initram_cyclictest
+all:  $(HELPER_PROGRAMS) .stamp/initram_cyclictest
+       mkdir -p $(CONF_LOG_FOLDER)
+       mkdir -p $(CONF_BUILD_FOLDER)
 
 .PHONY: help
 help:
@@ -26,7 +33,7 @@ HELP+="              configuration.\n"
 mlinux:
        ARCH=$(CONF_KERNEL_ARCH) $(MAKE) -C $(CONF_LINUX_SOURCES) menuconfig
 
-HELP+="deflinux    - Executes 'make menuconfig' in linux folder. This generates default\n"
+HELP+="deflinux    - Executes 'make defconfig' in linux folder. This generates default\n"
 HELP+="              linux configuration.\n"
 .PHONY: deflinux
 deflinux:
@@ -34,13 +41,8 @@ deflinux:
 
 HELP+="dot_config  - Generate dot_config file. This file is based on default Linux\n"
 HELP+="              configuration.\n"
-dot_config: allconfig
-       cd $(CONF_LINUX_SOURCES) && \
-               SRCARCH=$(CONF_KERNEL_ARCH) \
-               ARCH=$(CONF_KERNEL_ARCH) \
-               KERNELVERSION=$(CONF_KERNEL_ARCH) \
-               $(CONF_ABSROOT)/scripts/allconfig/allconfig \
-               Kconfig .config $(CONF_ABSROOT)/$(CONF_DOT_CONFIG)
+$(CONF_DOT_CONFIG): .conf.mk scripts/allconfig/allconfig $(CONF_LINUX_BUILD_FOLDER)/.config
+       scripts/allconfig/allconfig --env .conf.mk $(CONF_LINUX_SOURCES)/Kconfig $(CONF_LINUX_BUILD_FOLDER)/.config $@
 
 HELP+="initialize  - Executes only initialization.\n"
 .PHONY: initialize init
@@ -59,14 +61,24 @@ HELP+="              target run. This target is for testing if initial kernel\n"
 HELP+="              configuration, buildroot configuration and benchmark are\n"
 HELP+="              configured right.\n"
 .PHONY: test
-test: parse_kconfig .stamp/initram_cyclictest
+test: scripts/parse_kconfig/parse .stamp/initram_cyclictest
        scripts/test.py
 
 HELP+="run         - Executes loop of kernel building, booting and benchmark execution.\n"
 .PHONY: run
-run: all
+run: all $(CONF_BUILD_FOLDER)/rules $(CONF_BUILD_FOLDER)/fixed
+       ln -sf ../dot_measure $(CONF_BUILD_FOLDER)
        scripts/loop.py
 
+$(CONF_BUILD_FOLDER)/rules $(CONF_BUILD_FOLDER)/symbol_map: .conf.mk $(CONF_LINUX_SOURCES)/Kconfig
+       scripts/parse_kconfig/parse -v --env .conf.mk $(CONF_LINUX_SOURCES)/Kconfig $(dir $@)
+
+$(CONF_BUILD_FOLDER)/allconfig: .conf.mk $(CONF_LINUX_SOURCES)/Kconfig $(CONF_LINUX_BUILD_FOLDER)/.config
+       scripts/allconfig/allconfig --env .conf.mk $(CONF_LINUX_SOURCES)/Kconfig $(CONF_LINUX_BUILD_FOLDER)/.config $@
+
+$(CONF_BUILD_FOLDER)/fixed $(CONF_BUILD_FOLDER)/measure: .conf.mk $(CONF_BUILD_FOLDER)/allconfig dot_measure
+       scripts/gen_fixed.py $(CONF_BUILD_FOLDER)/allconfig dot_measure
+
 .PHONY: evaluate
 evaluate:
        scripts/evaluate.py
@@ -130,27 +142,13 @@ distclean_buildroot:
 .target:
        $(error Please select target by writing it to .target file)
 
-.PHONY: parse_kconfig
-parse_kconfig:
-       @if ! $(MAKE) -C scripts/parse_kconfig/ -q; then \
-       $(MAKE) -C scripts/parse_kconfig/; fi
-
-.PHONY: write_config
-write_config:
-       @if ! $(MAKE) -C scripts/write_config/ -q; then \
-       $(MAKE) -C scripts/write_config/; fi
-
-.PHONY:allconfig
-allconfig:
-       @if ! $(MAKE) -C scripts/allconfig/ -q; then \
-       $(MAKE) -C scripts/allconfig/; fi
-
-.PHONY: picosat
-picosat:
-       @if [ ! -e scripts/picosat-959/makefile ]; then \
-       cd scripts/picosat-959 && ./configure; fi
-       @if ! $(MAKE) -C scripts/picosat-959 -q; then \
-       $(MAKE) -C scripts/picosat-959; fi
+$(HELPER_PROGRAMS):
+       $(MAKE) -C $(dir $@)
+
+scripts/picosat-959/makefile:
+       cd $(dir $@) && ./configure
+
+scripts/picosat-959/picosat: scripts/picosat-959/makefile
 
 .stamp/initram_cyclictest: .conf.mk
        $(MAKE) -C tests/cyclictest/root