diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 4f5730d63..c6f8a7ad1 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -114,6 +114,8 @@ libcvc4_la_SOURCES = \ proof/uf_proof.h \ proof/unsat_core.cpp \ proof/unsat_core.h \ + prop/cadical.cpp \ + prop/cadical.h \ prop/cnf_stream.cpp \ prop/cnf_stream.h \ prop/cryptominisat.cpp \ @@ -561,6 +563,11 @@ libcvc4_la_LIBADD += $(ABC_LIBS) libcvc4_la_LDFLAGS += $(ABC_LDFLAGS) endif +if CVC4_USE_CADICAL +libcvc4_la_LIBADD += $(CADICAL_LIBS) +libcvc4_la_LDFLAGS += $(CADICAL_LDFLAGS) +endif + if CVC4_USE_CRYPTOMINISAT libcvc4_la_LIBADD += $(CRYPTOMINISAT_LIBS) libcvc4_la_LDFLAGS += $(CRYPTOMINISAT_LDFLAGS) |