From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 29 Sep 2012 13:52:53 +0000 (+0000)
Subject: fixes to "make distclean" and C compatibility bindings; should fix the broken builds... 
X-Git-Tag: cvc5-1.0.0~7764
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62e51d870facff46ce382ddaa8216be2737d1c45;p=cvc5.git

fixes to "make distclean" and C compatibility bindings; should fix the broken builds last night
---

diff --git a/src/bindings/compat/c/c_interface.cpp b/src/bindings/compat/c/c_interface.cpp
index d4f287dd7..6540f428c 100644
--- 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;