diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-29 13:52:53 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-29 13:52:53 +0000 |
commit | 62e51d870facff46ce382ddaa8216be2737d1c45 (patch) | |
tree | 4492f3fe6ba0a45771df60d58e2bce11f46530c6 /src/bindings | |
parent | 7667b8e139cba6024ebb5e25e280cb15ce1af51a (diff) |
fixes to "make distclean" and C compatibility bindings; should fix the broken builds last night
Diffstat (limited to 'src/bindings')
-rw-r--r-- | src/bindings/compat/c/c_interface.cpp | 14 |
1 files changed, 11 insertions, 3 deletions
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; |