This should fix the debian build fails:

   * removed bvpicosat directory as it is currently not used

Cleared some of the flurry of warnings my previous merge caused in src/prop/

1 files changed, 9 insertions, 0 deletions

diff --git a/src/prop/bvminisat/core/SolverTypes.h b/src/prop/bvminisat/core/SolverTypes.h
index 3709715b9..0439a46c4 100644
--- a/src/prop/bvminisat/core/SolverTypes.h
+++ b/src/prop/bvminisat/core/SolverTypes.h
@@ -80,9 +80,18 @@ const Lit lit_Error = { -1 };  // }
 //       does enough constant propagation to produce sensible code, and this appears to be somewhat
 //       fragile unfortunately.
 
+
+#ifndef l_True
 #define l_True  (lbool((uint8_t)0)) // gcc does not do constant propagation if these are real constants.
+#endif
+
+#ifndef l_False
 #define l_False (lbool((uint8_t)1))
+#endif
+
+#ifndef l_Undef
 #define l_Undef (lbool((uint8_t)2))
+#endif
 
 class lbool {
     uint8_t value;