diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-05 17:41:23 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-05 17:41:23 +0200 |
| commit | 85a82310f73ddf212c297505248a59e0898b1204 (patch) | |
| tree | d90e02d01b3f38074ca79b79b6b0fb8ef3718c8e /Makefile | |
| parent | 7906fa5b78abc6a176f4f5e5014afef4aa34ee7a (diff) | |
| download | linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.tar.gz linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.tar.bz2 linux-conf-perf-85a82310f73ddf212c297505248a59e0898b1204.zip | |
Replace minisat with picosat
Picosat is distributed with this project.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 11 insertions, 5 deletions
@@ -1,11 +1,11 @@ -.PHONY: all help parse_kconfig write_config build run test clean clean_linux clean_buildroot mlinux mbuildroot deflinux distclean_linux distclean_buildroot distclean +.PHONY: all help parse_kconfig write_config build run test clean clean_linux clean_buildroot mlinux mbuildroot deflinux distclean_linux distclean_buildroot distclean picosat -include .conf.mk BENCHMARK_FILES := $(patsubst benchmark/%,scripts/buildroot/system/skeleton/usr/share/benchmark/%,$(shell find benchmark -type f)) BENCHMARK_FOLDERS := $(shell dirname $(BENCHMARK_FILES)) -all: parse_kconfig write_config +all: parse_kconfig write_config picosat help: @echo "all - Builds basic programs and prints message about next steps." @@ -44,15 +44,16 @@ deflinux: test: $(INITRAM) parse_kconfig scripts/test.py -run: parse_kconfig write_config $(INITRAM) +run: parse_kconfig write_config picosat $(INITRAM) scripts/loop.py evaluate: @ #TODO clean: - @$(MAKE) -C scripts/parse_kconfig/ clean - @$(MAKE) -C scripts/write_config/ clean + @$(MAKE) -C scripts/parse_kconfig clean + @$(MAKE) -C scripts/write_config clean + @if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi $(RM) -r build $(RM) -r scripts/buildroot/system/skeleton/usr/share/benchmark $(RM) $(INITRAM) @@ -107,3 +108,8 @@ scripts/buildroot/system/skeleton/usr/bin/linux-conf-perf: $(BENCHMARK_FILES): $(BENCHMARK_FOLDERS) scripts/buildroot/system/skeleton/usr/share/benchmark/%: benchmark/% cp $< $@ + +picosat: scripts/picosat-959/picosat +scripts/picosat-959/picosat: + cd scripts/picosat-959 && ./configure + $(MAKE) -C scripts/picosat-959 |