projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 939e000) | patch
Better checking of available solvers
authorJannis Harder <me@jix.one>
Mon, 30 May 2022 12:37:20 +0000 (14:37 +0200)
committerJannis Harder <me@jix.one>
Mon, 30 May 2022 13:02:26 +0000 (15:02 +0200)
commitdc22d97362162c39bd826df2600f34c6b9ba7fbe
tree627b715000f473f89c67e8065566107596d13526tree
parent939e000036e8293a67baf6a359554c8189244fe5commit | diff
Better checking of available solvers

Check for required auxiliary tools and always regenerate the make rules
when the set of available tools changes.
tests/Makefile diff | blob | history
tests/make/collect_tests.py diff | blob | history
tests/make/test_rules.py diff | blob | history