From 8b2d1d64b886db4cff74e2a7b1370841979001b2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 10 Dec 2009 17:45:43 +0000
Subject: cleanups, assert work, add a stubbed uf theory, fix driver

---
 src/context/Makefile.am |  3 ++-
 src/context/Makefile.in | 12 +++++++++++-
 2 files changed, 13 insertions(+), 2 deletions(-)

(limited to 'src/context')

diff --git a/src/context/Makefile.am b/src/context/Makefile.am
index d1e0d3c4b..eac088a9f 100644
--- a/src/context/Makefile.am
+++ b/src/context/Makefile.am
@@ -5,4 +5,5 @@ AM_CPPFLAGS = -D__BUILDING_CVC4LIB
 noinst_LTLIBRARIES = libcontext.la
 
 libcontext_la_SOURCES = \
-	context.cpp
+	context.cpp \
+	context.h
diff --git a/src/context/Makefile.in b/src/context/Makefile.in
index 99c69fa92..a7a000c3e 100644
--- a/src/context/Makefile.in
+++ b/src/context/Makefile.in
@@ -67,6 +67,15 @@ CXXLD = $(CXX)
 CXXLINK = $(LIBTOOL) --tag=CXX $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
 	--mode=link $(CXXLD) $(AM_CXXFLAGS) $(CXXFLAGS) $(AM_LDFLAGS) \
 	$(LDFLAGS) -o $@
+COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
+	$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
+LTCOMPILE = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
+	--mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \
+	$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
+CCLD = $(CC)
+LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
+	--mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) \
+	$(LDFLAGS) -o $@
 SOURCES = $(libcontext_la_SOURCES)
 DIST_SOURCES = $(libcontext_la_SOURCES)
 ETAGS = etags
@@ -211,7 +220,8 @@ AM_CXXFLAGS = -Wall -fvisibility=hidden
 AM_CPPFLAGS = -D__BUILDING_CVC4LIB
 noinst_LTLIBRARIES = libcontext.la
 libcontext_la_SOURCES = \
-	context.cpp
+	context.cpp \
+	context.h
 
 all: all-am
 
-- 
cgit v1.2.3