kconfig2sat: More work

[linux-conf-perf.git] / Makefile

diff --git a/Makefile b/Makefile
index c5e6507ce2c8f980564ff259033951fdc64d2b08..d511ff1b76aa044bf1a8e02858748decc484a049 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,8 @@ HELPER_PROGRAMS = scripts/parse_kconfig/parse         \
 HELP+="all         - Builds basic programs and prints message about next steps.\n"
 .PHONY: all
 all:  $(HELPER_PROGRAMS) .stamp/initram_cyclictest
+       mkdir -p $(CONF_LOG_FOLDER)
+       mkdir -p $(CONF_BUILD_FOLDER)
 
 .PHONY: help
 help:
@@ -64,13 +66,18 @@ test: scripts/parse_kconfig/parse .stamp/initram_cyclictest
 
 HELP+="run         - Executes loop of kernel building, booting and benchmark execution.\n"
 .PHONY: run
-run: all $(CONF_BUILD_FOLDER)/rules
-       mkdir -p $(CONF_LOG_FOLDER)
+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.mk $(CONF_LINUX_SOURCES)/Kconfig .target
-       mkdir -p $(dir $@)
-       scripts/parse_kconfig/parse -v -v --env .conf.mk $(CONF_LINUX_SOURCES)/Kconfig $(dir $@)
+$(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: