# SPDX-License-Identifier: GPL-2.0

TOOL_PCS := verify/tool/pcs
TOOL_SVS := verify/tool/svs

TOOL_HS := $(wildcard verify/tool/*.hs) $(TOOL_PCS) $(TOOL_SVS)
