aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile25
1 files changed, 15 insertions, 10 deletions
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