diff options
| author | Iris Johnson <ijohnson@fnal.gov> | 2022-04-07 20:07:44 -0500 |
|---|---|---|
| committer | Iris Johnson <ijohnson@fnal.gov> | 2022-04-07 20:07:44 -0500 |
| commit | ccc6060f52236ef772e0997450128f2a2e295cb3 (patch) | |
| tree | 2ac89ddc5616540ca5af2ead69c3c5fbd21d8006 /passes/sat | |
| parent | e0ba324236eac33cf914dfce2b8377a23fb798a6 (diff) | |
| download | yosys-ccc6060f52236ef772e0997450128f2a2e295cb3.tar.gz yosys-ccc6060f52236ef772e0997450128f2a2e295cb3.tar.bz2 yosys-ccc6060f52236ef772e0997450128f2a2e295cb3.zip | |
Makefile: properly conditionalize features requiring compression.
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/Makefile.inc | 2 |
1 files changed, 2 insertions, 0 deletions
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 |