Use the test Makefile for all examples
authorJannis Harder <me@jix.one>
Mon, 13 Jun 2022 11:20:33 +0000 (13:20 +0200)
committerJannis Harder <me@jix.one>
Mon, 13 Jun 2022 11:42:58 +0000 (13:42 +0200)
commit499371fd39075915fe1a4ac83164e4e426c40d78
tree6e1d1666ba1c36f8a69e2a5a9f5973b1d969f304
parent1d21513a47b18b79f70aa1a4377bccb60ed48b10
Use the test Makefile for all examples

* Rename and move sbysrc/demo[123].sby to docs/examples/demos
    * Make them use multiple tasks for multiple engines
* Scan docs/examples for sby files for make test
* `make ci` is now `NOSKIP` by default
* Skip scripts using `verific` w/o yosys verific support
    * This does not fail even with NOSKIP set
20 files changed:
.github/workflows/ci.yml
Makefile
docs/examples/Makefile [new file with mode: 0644]
docs/examples/abstract/Makefile [new file with mode: 0644]
docs/examples/demos/Makefile [new file with mode: 0644]
docs/examples/demos/memory.sby [new file with mode: 0644]
docs/examples/demos/picorv32_axicheck.sby [new file with mode: 0644]
docs/examples/demos/up_down_counter.sby [new file with mode: 0644]
docs/examples/indinv/Makefile [new file with mode: 0644]
docs/examples/multiclk/Makefile [new file with mode: 0644]
docs/examples/puzzles/Makefile [new file with mode: 0644]
docs/examples/quickstart/Makefile [new file with mode: 0644]
sbysrc/demo1.sby [deleted file]
sbysrc/demo2.sby [deleted file]
sbysrc/demo3.sby [deleted file]
sbysrc/sby.py
tests/make/collect_tests.py
tests/make/required_tools.py
tests/make/subdir.mk
tests/make/test_rules.py