From ccc6060f52236ef772e0997450128f2a2e295cb3 Mon Sep 17 00:00:00 2001 From: Iris Johnson Date: Thu, 7 Apr 2022 20:07:44 -0500 Subject: Makefile: properly conditionalize features requiring compression. --- passes/sat/Makefile.inc | 2 ++ 1 file changed, 2 insertions(+) (limited to 'passes/sat') diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index 7118c1563..da6d49433 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -2,7 +2,9 @@ OBJS += passes/sat/sat.o OBJS += passes/sat/freduce.o OBJS += passes/sat/eval.o +ifeq ($(ENABLE_ZLIB),1) OBJS += passes/sat/sim.o +endif OBJS += passes/sat/miter.o OBJS += passes/sat/expose.o OBJS += passes/sat/assertpmux.o -- cgit v1.2.3