kconfig2sat almost finished

[linux-conf-perf.git] / kconfig2sat / Makefile

diff --git a/kconfig2sat/Makefile b/kconfig2sat/Makefile
index 5e00510daf9fcf48e2f11fd827b9a639c5830cb6..bde7a035fbb1eaeff1c7578f5bff983c92d84b8d 100644 (file)
--- a/kconfig2sat/Makefile
+++ b/kconfig2sat/Makefile
@@ -36,3 +36,13 @@ kconfig/zconf.tab.c: $(addprefix kconfig/,zconf.lex.c zconf.hash.c util.c confda
 clean::
        $(RM) kconfig2sat $(OBJ_C) $(OBJ_CC)
        $(RM) kconfig/zconf.tab.c kconfig/zconf.lex.c kconfig/zconf.hash.c
+
+.PHONY: test
+test: all
+       grep -q bbb ../.target
+       ./kconfig2sat -k ../targets/bbb/linux/Kconfig --env ../.conf.mk --baseconf ../targets/bbb/build/.config --varfile ../dot_measure --cnf test.cnf --dot test.dot
+       dot -Tpdf test.dot > test.pdf
+
+test2: all
+       ./kconfig2sat -k Kconfig.test --cnf test.cnf --dot test.dot
+       dot -Tpdf test.dot > test.pdf