From b7557e5f0c634a5421a705715361ec3d1e0a2ffc Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 12 Nov 2013 10:08:39 -0500 Subject: [PATCH] Minor build system cleanup --- src/Makefile.am | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index a056c1d84..1858d4d32 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -14,8 +14,8 @@ LIBCVC4_VERSION = @CVC4_LIBRARY_VERSION@ AM_CPPFLAGS = \ -D__BUILDING_CVC4LIB \ - -D __STDC_LIMIT_MACROS \ - -D __STDC_FORMAT_MACROS \ + -D __STDC_LIMIT_MACROS \ + -D __STDC_FORMAT_MACROS \ -I@builddir@ -I@srcdir@/include -I@srcdir@ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas -Wno-parentheses $(FLAG_VISIBILITY_HIDDEN) @@ -449,10 +449,10 @@ EXTRA_DIST = \ theory/rewriterules/kinds \ theory/arith/kinds \ theory/booleans/kinds \ - theory/example/ecdata.h \ - theory/example/ecdata.cpp \ - theory/example/theory_uf_tim.h \ - theory/example/theory_uf_tim.cpp + theory/example/ecdata.h \ + theory/example/ecdata.cpp \ + theory/example/theory_uf_tim.h \ + theory/example/theory_uf_tim.cpp svn_versioninfo.cpp: svninfo $(AM_V_GEN)( \ -- 2.30.2