From: Jannis Harder <me@jix.one> Date: Wed, 8 Jun 2022 09:32:35 +0000 (+0200) Subject: tests: Remove unused tool list in test Makefile X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=675dc03dfedee8c697d76fd0f0f67fbb6f6b6e8d;p=SymbiYosys.git tests: Remove unused tool list in test Makefile The checks for available tools moved to a python script, so need need to have a copy of the tool list in the Makefile. --- diff --git a/tests/Makefile b/tests/Makefile index ccb983c..9b65da7 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -2,23 +2,6 @@ test: .PHONY: test clean refresh help -TOOL_LIST := \ - btorsim \ - yices \ - aigbmc \ - avy \ - bitwuzla \ - boolector \ - btormc \ - cvc4 \ - mathsat \ - pono \ - suprove \ - yices-smt2 \ - yices \ - yosys-abc \ - z3 - help: @cat make/help.txt