Code

Makefile improvements#163

Code

Merged

jix merged 7 commits intoYosysHQ:masterYosysHQ/sby:masterfrom jix:make_improvementsjix/sby:make_improvementsCopy head branch name to clipboardJun 7, 2022

+169-43

Commits

Commits on May 30, 2022

• Makefile: Rename run_tests to test, update help, use .PHONY

  jix

  committed
  939e000

  Copy full SHA for 939e000

• Better checking of available solvers

  Show description for dc22d97
  jix

  committed
  dc22d97

  Copy full SHA for dc22d97

• Check for the tabby/oss cad suite before running make ci checks

  jix

  committed
  206562e

  Copy full SHA for 206562e

Commits on Jun 2, 2022

• tests: Check for btorsim --vcd

  jix

  committed
  00efdec

  Copy full SHA for 00efdec

• tests: Fail on CI when any required tool is missing

  jix

  committed
  d398a3c

  Copy full SHA for d398a3c

Commits on Jun 3, 2022

• Don't fail tests when xmlschema is missing

  jix

  committed
  80eacf3

  Copy full SHA for 80eacf3

Commits on Jun 7, 2022

• tests: Move required tool checks from rule generation to execution

  Show description for 34d6adf
  jix

  committed
  34d6adf

  Copy full SHA for 34d6adf