Do not include cadical in libsmt-switch-btor.a

CyanoKobalamyne · Jul 1, 2024 · d0e6ed7 · d0e6ed7
1 parent 2da835b
commit d0e6ed7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/btor/CMakeLists.txt b/btor/CMakeLists.txt
@@ -29,7 +29,6 @@ if (SMT_SWITCH_LIB_TYPE STREQUAL STATIC)
     COMMAND
       mkdir smt-switch-btor && cd smt-switch-btor && ar -x "../$<TARGET_FILE_NAME:smt-switch-btor>" && cd ../ &&
       mkdir boolector && cd boolector && ar -x "${BTOR_HOME}/build/lib/libboolector.a" &&
-      ar -x "${BTOR_HOME}/deps/cadical/build/libcadical.a" &&
       ar -x "${BTOR_HOME}/deps/btor2tools/build/lib/libbtor2parser.a" && cd ../ &&
       ar -qc "$<TARGET_FILE_NAME:smt-switch-btor>" ./boolector/*.o ./smt-switch-btor/*.o &&
       # now clean up