From 42d92c89a5a5b52ed86f7549fd8a5d9392fb525e Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Thu, 11 Jul 2024 15:52:35 +0300
Subject: [PATCH] extend C api

---
 src/cadical.hpp  | 2 ++
 src/ccadical.cpp | 2 ++
 src/ccadical.h   | 2 ++
 src/solver.cpp   | 2 ++
 4 files changed, 8 insertions(+)

diff --git a/src/cadical.hpp b/src/cadical.hpp
index a803292..2301c40 100644
--- a/src/cadical.hpp
+++ b/src/cadical.hpp
@@ -898,6 +898,8 @@ public:
   //
   static void build (FILE *file, const char *prefix = "c ");
 
+#include "cadical_extension.hpp"
+
 private:
   //==== start of state ====================================================
 
diff --git a/src/ccadical.cpp b/src/ccadical.cpp
index 88ab164..8186054 100644
--- a/src/ccadical.cpp
+++ b/src/ccadical.cpp
@@ -186,3 +186,5 @@ void ccadical_conclude (CCaDiCaL *ptr) {
   ((Wrapper *) ptr)->solver->conclude ();
 }
 }
+
+#include "ccadical_extension.cpp"
diff --git a/src/ccadical.h b/src/ccadical.h
index 6d1b3ff..a8f1b48 100644
--- a/src/ccadical.h
+++ b/src/ccadical.h
@@ -60,6 +60,8 @@ int ccadical_simplify (CCaDiCaL *);
 #define ccadical_sat ccadical_solve
 #define ccadical_deref ccadical_val
 
+#include "ccadical_extension.h"
+
 /*------------------------------------------------------------------------*/
 #ifdef __cplusplus
 }
diff --git a/src/solver.cpp b/src/solver.cpp
index e917b3c..34535c1 100644
--- a/src/solver.cpp
+++ b/src/solver.cpp
@@ -1632,3 +1632,5 @@ void Solver::error (const char *fmt, ...) {
 }
 
 } // namespace CaDiCaL
+
+#include "solver_extension.cpp"
-- 
2.45.2