From 2640d58ee088d4bcfedfd9069292dc1af9cad7a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Fri, 17 Jul 2015 13:42:03 +0200 Subject: Integrate allconfig allconfig is now integrated in project. It is going to replace permute_conf for generating. For this reason is default behaviour changed to print only changeable configurtaion options. Previous behaviour can be used with --all switch. Also add .gitignore and remove compiled file from repository. --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e22358c..e95c742 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ -include .conf.mk -all: parse_kconfig write_config permute_conf picosat +all: parse_kconfig write_config allconfig permute_conf picosat help: @echo "all - Builds basic programs and prints message about next steps." @@ -60,6 +60,7 @@ clean: @$(MAKE) -C scripts/parse_kconfig clean @$(MAKE) -C scripts/write_config clean @$(MAKE) -C scripts/permute_conf clean + @$(MAKE) -C scripts/allconfig clean @if [ -e scripts/picosat-959/makefile ]; then $(MAKE) -C scripts/picosat-959 clean; fi $(RM) .conf.mk $(RM) -r jobfiles output result @@ -90,6 +91,9 @@ parse_kconfig: write_config: @$(MAKE) -C scripts/write_config/ +allconfig: + @$(MAKE) -C scripts/allconfig/ + permute_conf: @$(MAKE) -C scripts/permute_conf/ -- cgit v1.2.3