diff options
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 34fa20c1d..9531db0ce 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -433,6 +433,11 @@ if CVC4_USE_GLPK libcvc4_la_LIBADD += $(GLPK_LIBS) endif +if CVC4_USE_ABC +libcvc4_la_LIBADD += $(ABC_LIBS) +libcvc4_la_LDFLAGS += $(ABC_LDFLAGS) +endif + BUILT_SOURCES = \ theory/rewriter_tables.h \ theory/theory_traits.h \ |