From c7d4caef3787e47baca0c15b949c2a27d990f890 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz>
Date: Tue, 28 Jul 2015 10:31:56 +0200
Subject: Change root Makefile

Add check for recursive makefile calls.
Also add removing of dot_config to clean_measure target.
run and initialize now requires all target. This allow dependency on all programs not only selected. This is done for simplification.
---
 Makefile | 25 +++++++++++++++----------
 1 file changed, 15 insertions(+), 10 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7dca36a..77f0809 100644
--- a/Makefile
+++ b/Makefile
@@ -45,7 +45,7 @@ dot_config: allconfig
 		../scripts/allconfig/allconfig Kconfig .config ../$(CONF_DOT_CONFIG)
 
 init: initialize
-initialize: parse_kconfig picosat initdb
+initialize: all
 	scripts/initialize.py
 
 initdb: initialize_database
@@ -57,7 +57,7 @@ initialize_database:
 test: parse_kconfig
 	scripts/test.py
 
-run: parse_kconfig write_config picosat
+run: all
 	scripts/loop.py
 
 evaluate:
@@ -75,6 +75,7 @@ clean_measure: cleandb
 	$(RM) -r configurations
 	$(RM) -r output
 	$(RM) -r result
+	$(RM) $(CONF_DOT_CONFIG)
 
 cleandb: clean_database
 clean_database:
@@ -102,13 +103,22 @@ distclean_buildroot:
 	scripts/confmk.py
 
 parse_kconfig:
-	@$(MAKE) -C scripts/parse_kconfig/
+	@if [[ `$(MAKE) -C scripts/parse_kconfig/ -q; echo $$?` != "0" ]]; then \
+	$(MAKE) -C scripts/parse_kconfig/; fi
 
 write_config:
-	@$(MAKE) -C scripts/write_config/
+	@if [[ `$(MAKE) -C scripts/write_config/ -q; echo $$?` != "0" ]]; then \
+	$(MAKE) -C scripts/write_config/; fi
 
 allconfig:
-	@$(MAKE) -C scripts/allconfig/
+	@if [[ `$(MAKE) -C scripts/allconfig/ -q; echo $$?` != "0" ]]; then \
+	$(MAKE) -C scripts/allconfig/; fi
+
+picosat:
+	@if [ ! -e scripts/picosat-959/makefile ]; then \
+	cd scripts/picosat-959 && ./configure; fi
+	@if [[ `$(MAKE) -C scripts/picosat-959 -q; echo $$?` != "0" ]]; then \
+	$(MAKE) -C scripts/picosat-959; fi
 
 buildroot/.config:
 	cp $(CONF_BUILDROOT_DEF_CONFIG) $@
@@ -116,8 +126,3 @@ buildroot/.config:
 buildroot/system/skeleton/usr/bin/linux-conf-perf:
 	cp $(CONF_BUILDROOT_INITSCRIPT) $@
 	cat $(CONF_BUILDROOT_INITTAB_DIRECTIVE) >> buildroot/system/skeleton/etc/inittab
-
-picosat: scripts/picosat-959/picosat
-scripts/picosat-959/picosat:
-	cd scripts/picosat-959 && ./configure
-	$(MAKE) -C scripts/picosat-959
-- 
cgit v1.2.3