From 200f36785acf7aac3e7e230795ea7ffdb6b1ed64 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 5 Dec 2009 00:40:57 +0000 Subject: more build system work --- src/main/Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/main') diff --git a/src/main/Makefile.am b/src/main/Makefile.am index 36e4c0342..0992a434a 100644 --- a/src/main/Makefile.am +++ b/src/main/Makefile.am @@ -1,6 +1,6 @@ INCLUDES = -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -fvisibility=hidden -AM_CPPFLAGS = -D__BUILDING_CVC4LIB +AM_CPPFLAGS = bin_PROGRAMS = cvc4 -- cgit v1.2.3