From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 12 Nov 2013 15:08:39 +0000 (-0500)
Subject: Minor build system cleanup
X-Git-Tag: cvc5-1.0.0~7264
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b7557e5f0c634a5421a705715361ec3d1e0a2ffc;p=cvc5.git

Minor build system cleanup
---

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)( \