fixed a name clash issue preventing the lib to build with clang on MacOs

crillab · Dec 4, 2023 · 5ea5fc7 · 5ea5fc7
1 parent 1dd0b4d
commit 5ea5fc7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.rs b/build.rs
@@ -39,11 +39,10 @@ const PBLIB_FILES: [&str; 30] = [
 ];
 
 const MINISAT_DIR: &str = "pblib/cli/minisat";
-const MINISAT_FILES: [&str; 5] = [
+const MINISAT_FILES: [&str; 4] = [
     "minisat/utils/Options.cc",
     "minisat/utils/System.cc",
     "minisat/core/Solver.cc",
-    "minisat/core/SolverTypes.cc",
     "minisat/simp/SimpSolver.cc",
 ];
 
@@ -90,6 +89,7 @@ fn main() {
             "-Wno-unused-but-set-variable",
             "-Wno-unused-parameter",
             "-Wno-unused-function",
+            "-Wno-unused-private-field",
         ],
         &[PBLIB_DIR, MINISAT_DIR],
         PBLIB_FILES

diff --git a/pblib/VERSION → pblib/PBLIB_VERSION b/pblib/VERSION → pblib/PBLIB_VERSION