fixes to "make distclean" and C compatibility bindings; should fix the broken builds...

diff --git a/src/bindings/compat/c/c_interface.cpp b/src/bindings/compat/c/c_interface.cpp
index d4f287dd740bff90b2780f2d1bca8f1fe9a86126..6540f428c6a23ffaba4f479ffd35e67220588987 100644 (file)
--- a/src/bindings/compat/c/c_interface.cpp
+++ b/src/bindings/compat/c/c_interface.cpp
@@ -29,9 +29,17 @@
 //#include "vc_cmd.h"
 //#include "theory_bitvector.h"
 //#include "fdstream.h"
-#include <string.h>
-#include <assert.h>
-
+#include <string>
+#include <cassert>
+#include <unistd.h>
+
+#ifdef CVC4_DEBUG
+#  define DebugAssert(cond, str) assert(cond)
+#  define IF_DEBUG(x) x
+#else
+#  define DebugAssert(...)
+#  define IF_DEBUG(x)
+#endif
 
 using namespace std;