From 22d1f43d663718d48483e40d5b52a05960f49f09 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sun, 28 Feb 2010 11:39:33 +0000
Subject: [PATCH] Adding nodefactory classes to libstp so that libast doesn't
 need to be explicitly included when using the c-interface.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@621 e59a4935-1847-0410-ae03-e826735625c1
---
 Makefile                   | 1 +
 scripts/Makefile.in        | 1 +
 tests/c-api-tests/Makefile | 4 ++--
 3 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index dac3120..596184d 100644
--- a/Makefile
+++ b/Makefile
@@ -36,6 +36,7 @@ endif
 	$(MAKE) -C $(SRC)/parser
 	$(MAKE) -C $(SRC)/main
 	$(AR) rc libstp.a  $(SRC)/AST/*.o \
+			   $(SRC)/AST/NodeFactory/*.o \
 			   $(SRC)/STPManager/*.o \
 			   $(SRC)/printer/*.o \
 		           $(SRC)/absrefine_counterexample/*.o \
diff --git a/scripts/Makefile.in b/scripts/Makefile.in
index dac3120..596184d 100644
--- a/scripts/Makefile.in
+++ b/scripts/Makefile.in
@@ -36,6 +36,7 @@ endif
 	$(MAKE) -C $(SRC)/parser
 	$(MAKE) -C $(SRC)/main
 	$(AR) rc libstp.a  $(SRC)/AST/*.o \
+			   $(SRC)/AST/NodeFactory/*.o \
 			   $(SRC)/STPManager/*.o \
 			   $(SRC)/printer/*.o \
 		           $(SRC)/absrefine_counterexample/*.o \
diff --git a/tests/c-api-tests/Makefile b/tests/c-api-tests/Makefile
index 100dedc..3a39784 100644
--- a/tests/c-api-tests/Makefile
+++ b/tests/c-api-tests/Makefile
@@ -1,8 +1,8 @@
 # Tests that run under valgrind will return a non-zero error code on
 # either leak, or use of unitialised values.
 include ../../scripts/Makefile.common
-CXXFLAGS= -DEXT_HASH_MAP $(CFLAGS) -I../../src/c_interface -L../../lib -L../../src/AST
-LIBS= -lstp -last
+CXXFLAGS= -DEXT_HASH_MAP $(CFLAGS) -I../../src/c_interface -L../../lib 
+LIBS= -lstp 
 
 VALGRINDPATH=`which valgrind`
 ifeq   "$(VALGRINDPATH)" ""
-- 
2.47.3