diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:31:56 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:31:56 +0200 |
| commit | c7d4caef3787e47baca0c15b949c2a27d990f890 (patch) | |
| tree | 6cd940c7ab7035aec222f810414b2b65531e0b55 | |
| parent | 181fe43c48c7f4c83c617a147769f4c3eba4774c (diff) | |
| download | linux-conf-perf-c7d4caef3787e47baca0c15b949c2a27d990f890.tar.gz linux-conf-perf-c7d4caef3787e47baca0c15b949c2a27d990f890.tar.bz2 linux-conf-perf-c7d4caef3787e47baca0c15b949c2a27d990f890.zip | |
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.
| -rw-r--r-- | Makefile | 25 |
1 files changed, 15 insertions, 10 deletions
@@ -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 |