From: Claire Wolf <claire@symbioticeda.com>
Date: Mon, 20 Jul 2020 15:17:49 +0000 (+0200)
Subject: Add "make test"
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=42d5255231a833279e58f498b156478997ec1cfe;p=SymbiYosys.git

Add "make test"

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
---

diff --git a/Makefile b/Makefile
index 62f452a..7f0a29d 100644
--- a/Makefile
+++ b/Makefile
@@ -17,6 +17,9 @@ help:
 	@echo "make html"
 	@echo "    build documentation in docs/build/html/"
 	@echo ""
+	@echo "make test"
+	@echo "    run examples"
+	@echo ""
 	@echo "make clean"
 	@echo "    cleanup"
 	@echo ""
@@ -34,6 +37,72 @@ else
 	chmod +x $(DESTDIR)$(PREFIX)/bin/sby
 endif
 
+test: \
+  test_demo1 test_demo2 test_demo3 \
+  test_abstract_abstr test_abstract_props \
+  test_demos_fib_cover test_demos_fib_prove test_demos_fib_live \
+  test_multiclk_dpmem \
+  test_puzzles_djb2hash test_puzzles_pour853to4 test_puzzles_wolfgoatcabbage \
+  test_puzzles_primegen_primegen test_puzzles_primegen_primes_pass test_puzzles_primegen_primes_fail \
+  test_quickstart_demo test_quickstart_cover test_quickstart_prove test_quickstart_memory
+
+test_demo1:
+	python3 sbysrc/sby.py -f sbysrc/demo1.sby
+
+test_demo2:
+	python3 sbysrc/sby.py -f sbysrc/demo2.sby
+
+test_demo3:
+	python3 sbysrc/sby.py -f sbysrc/demo3.sby
+
+test_abstract_abstr:
+	cd docs/examples/abstract && python3 ../../../sbysrc/sby.py -f abstr.sby
+
+test_abstract_props:
+	cd docs/examples/abstract && python3 ../../../sbysrc/sby.py -f props.sby
+
+test_demos_fib_cover:
+	cd docs/examples/demos && python3 ../../../sbysrc/sby.py -f fib.sby cover
+
+test_demos_fib_prove:
+	cd docs/examples/demos && python3 ../../../sbysrc/sby.py -f fib.sby prove
+
+test_demos_fib_live:
+	cd docs/examples/demos && python3 ../../../sbysrc/sby.py -f fib.sby live
+
+test_multiclk_dpmem:
+	cd docs/examples/multiclk && python3 ../../../sbysrc/sby.py -f dpmem.sby
+
+test_puzzles_djb2hash:
+	cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f djb2hash.sby
+
+test_puzzles_pour853to4:
+	cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f pour_853_to_4.sby
+
+test_puzzles_wolfgoatcabbage:
+	cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f wolf_goat_cabbage.sby
+
+test_puzzles_primegen_primegen:
+	cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f primegen.sby primegen
+
+test_puzzles_primegen_primes_pass:
+	cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f primegen.sby primes_pass
+
+test_puzzles_primegen_primes_fail:
+	cd docs/examples/puzzles && python3 ../../../sbysrc/sby.py -f primegen.sby primes_fail
+
+test_quickstart_demo:
+	cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f demo.sby
+
+test_quickstart_cover:
+	cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f cover.sby
+
+test_quickstart_prove:
+	cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f prove.sby
+
+test_quickstart_memory:
+	cd docs/examples/quickstart && python3 ../../../sbysrc/sby.py -f memory.sby
+
 html:
 	make -C docs html