fix broken build; sorry, all!

diff --git a/src/lib/replacements.h b/src/lib/replacements.h
index 6e6f0d0f511b76640ea9549e5b527c17e26fcc9b..309c8f5b6dace2e5a9ab264d819f644b143c643a 100644 (file)
--- a/src/lib/replacements.h
+++ b/src/lib/replacements.h
@@ -27,7 +27,7 @@
 #  if defined(__BUILDING_CVC4PARSERLIB) || defined(__BUILDING_CVC4PARSERLIB_UNIT_TEST)
 #    include "cvc4parser_private.h"
 #  else
-#    if defined(__BUILDING_CVC4DRIVER)
+#    if defined(__BUILDING_CVC4DRIVER __BUILDING_CVC4_SYSTEM_TEST)
 #      include "cvc4autoconfig.h"
 #    else
 #      error Must be building libcvc4 or libcvc4parser to use replacement functions.  This is because replacement function headers should never be publicly-depended upon, as they should not be installed on user machines with 'make install'.

diff --git a/test/system/Makefile.am b/test/system/Makefile.am
index 55688309e2a6c8e05c9db0cbf3ae39338e203179..40c045a74a3c278505a1b07052fa4943ab990850 100644 (file)
--- a/test/system/Makefile.am
+++ b/test/system/Makefile.am
@@ -40,6 +40,7 @@ AM_CPPFLAGS = \
        "-I@top_srcdir@/src/prop/minisat" \
        -D __STDC_LIMIT_MACROS \
        -D __STDC_FORMAT_MACROS \
+       -D __BUILDING_CVC4_SYSTEM_TEST \
        $(TEST_CPPFLAGS)
 LIBADD = \
        @abs_top_builddir@/src/parser/libcvc4parser.la \