From 05198c48ab59002518b6d4bc3811f9312b52e085 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 13 Apr 2024 19:07:01 -0700 Subject: [PATCH] add dependency on temporal-logic.dir hw-cbmc needs temporal-logic.dir, and this adds a dependency in the Makefile. --- src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index ba5e33d84..275da9dac 100644 --- a/src/Makefile +++ b/src/Makefile @@ -19,7 +19,7 @@ ebmc.dir: trans-word-level.dir trans-netlist.dir verilog.dir vhdl.dir \ smvlang.dir ic3.dir aiger.dir temporal-logic.dir cprover.dir hw-cbmc.dir: trans-word-level.dir trans-netlist.dir verilog.dir \ - vhdl.dir smvlang.dir cprover.dir + vhdl.dir smvlang.dir cprover.dir temporal-logic.dir # building cbmc proper .PHONY: cprover.dir