From 675dc03dfedee8c697d76fd0f0f67fbb6f6b6e8d Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Wed, 8 Jun 2022 11:32:35 +0200
Subject: [PATCH] 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.
---
 tests/Makefile | 17 -----------------
 1 file changed, 17 deletions(-)

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
 
-- 
2.30.2