From 6d4bb3e93393641249a92bdda56b9d20cf84999a Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Wed, 9 Sep 2009 20:14:44 +0000 Subject: [PATCH] moved bitvec directory to const-evaluator. moved constantbv directory extlib-constbv git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@214 e59a4935-1847-0410-ae03-e826735625c1 --- Makefile | 10 +++++----- scripts/Makefile.in | 10 +++++----- src/AST/AST.h | 2 +- src/{bitvec => const-evaluator}/Makefile | 0 src/{bitvec => const-evaluator}/consteval.cpp | 0 src/{constantbv => extlib-constbv}/Makefile | 0 src/{constantbv => extlib-constbv}/constantbv.cpp | 0 src/{constantbv => extlib-constbv}/constantbv.h | 0 src/main/Makefile | 4 ++-- 9 files changed, 13 insertions(+), 13 deletions(-) rename src/{bitvec => const-evaluator}/Makefile (100%) rename src/{bitvec => const-evaluator}/consteval.cpp (100%) rename src/{constantbv => extlib-constbv}/Makefile (100%) rename src/{constantbv => extlib-constbv}/constantbv.cpp (100%) rename src/{constantbv => extlib-constbv}/constantbv.h (100%) diff --git a/Makefile b/Makefile index 7917065..d4fa64a 100644 --- a/Makefile +++ b/Makefile @@ -24,13 +24,13 @@ all: # $(MAKE) -C $(SRC)/sat simp # $(MAKE) -C $(SRC)/sat unsound $(MAKE) -C $(SRC)/simplifier - $(MAKE) -C $(SRC)/bitvec + $(MAKE) -C $(SRC)/const-evaluator $(MAKE) -C $(SRC)/c_interface - $(MAKE) -C $(SRC)/constantbv + $(MAKE) -C $(SRC)/extlib-constbv $(MAKE) -C $(SRC)/parser $(MAKE) -C $(SRC)/main $(AR) rc libstp.a $(SRC)/AST/*.o $(SRC)/AST/printer/*.o $(SRC)/abstraction-refinement/*.o $(SRC)/to-sat/*.o \ - $(SRC)/sat/*.or $(SRC)/simplifier/*.o $(SRC)/bitvec/*.o $(SRC)/constantbv/*.o $(SRC)/c_interface/*.o \ + $(SRC)/sat/*.or $(SRC)/simplifier/*.o $(SRC)/const-evaluator/*.o $(SRC)/extlib-constbv/*.o $(SRC)/c_interface/*.o \ $(SRC)/parser/let-funcs.o $(SRC)/parser/parseCVC.o $(SRC)/parser/lexCVC.o $(SRC)/main/*.o $(RANLIB) libstp.a @mkdir -p lib @@ -62,9 +62,9 @@ clean: $(MAKE) clean -C $(SRC)/to-sat $(MAKE) clean -C $(SRC)/sat $(MAKE) clean -C $(SRC)/simplifier - $(MAKE) clean -C $(SRC)/bitvec + $(MAKE) clean -C $(SRC)/const-evaluator $(MAKE) clean -C $(SRC)/c_interface - $(MAKE) clean -C $(SRC)/constantbv + $(MAKE) clean -C $(SRC)/extlib-constbv $(MAKE) clean -C $(SRC)/parser $(MAKE) clean -C $(SRC)/main diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 7917065..d4fa64a 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -24,13 +24,13 @@ all: # $(MAKE) -C $(SRC)/sat simp # $(MAKE) -C $(SRC)/sat unsound $(MAKE) -C $(SRC)/simplifier - $(MAKE) -C $(SRC)/bitvec + $(MAKE) -C $(SRC)/const-evaluator $(MAKE) -C $(SRC)/c_interface - $(MAKE) -C $(SRC)/constantbv + $(MAKE) -C $(SRC)/extlib-constbv $(MAKE) -C $(SRC)/parser $(MAKE) -C $(SRC)/main $(AR) rc libstp.a $(SRC)/AST/*.o $(SRC)/AST/printer/*.o $(SRC)/abstraction-refinement/*.o $(SRC)/to-sat/*.o \ - $(SRC)/sat/*.or $(SRC)/simplifier/*.o $(SRC)/bitvec/*.o $(SRC)/constantbv/*.o $(SRC)/c_interface/*.o \ + $(SRC)/sat/*.or $(SRC)/simplifier/*.o $(SRC)/const-evaluator/*.o $(SRC)/extlib-constbv/*.o $(SRC)/c_interface/*.o \ $(SRC)/parser/let-funcs.o $(SRC)/parser/parseCVC.o $(SRC)/parser/lexCVC.o $(SRC)/main/*.o $(RANLIB) libstp.a @mkdir -p lib @@ -62,9 +62,9 @@ clean: $(MAKE) clean -C $(SRC)/to-sat $(MAKE) clean -C $(SRC)/sat $(MAKE) clean -C $(SRC)/simplifier - $(MAKE) clean -C $(SRC)/bitvec + $(MAKE) clean -C $(SRC)/const-evaluator $(MAKE) clean -C $(SRC)/c_interface - $(MAKE) clean -C $(SRC)/constantbv + $(MAKE) clean -C $(SRC)/extlib-constbv $(MAKE) clean -C $(SRC)/parser $(MAKE) clean -C $(SRC)/main diff --git a/src/AST/AST.h b/src/AST/AST.h index 09721e0..7bbc83c 100644 --- a/src/AST/AST.h +++ b/src/AST/AST.h @@ -35,7 +35,7 @@ #include "ASTKind.h" #include #include -#include "../constantbv/constantbv.h" +#include "../extlib-constbv/constantbv.h" /***************************************************************************** * LIST OF CLASSES DECLARED IN THIS FILE: diff --git a/src/bitvec/Makefile b/src/const-evaluator/Makefile similarity index 100% rename from src/bitvec/Makefile rename to src/const-evaluator/Makefile diff --git a/src/bitvec/consteval.cpp b/src/const-evaluator/consteval.cpp similarity index 100% rename from src/bitvec/consteval.cpp rename to src/const-evaluator/consteval.cpp diff --git a/src/constantbv/Makefile b/src/extlib-constbv/Makefile similarity index 100% rename from src/constantbv/Makefile rename to src/extlib-constbv/Makefile diff --git a/src/constantbv/constantbv.cpp b/src/extlib-constbv/constantbv.cpp similarity index 100% rename from src/constantbv/constantbv.cpp rename to src/extlib-constbv/constantbv.cpp diff --git a/src/constantbv/constantbv.h b/src/extlib-constbv/constantbv.h similarity index 100% rename from src/constantbv/constantbv.h rename to src/extlib-constbv/constantbv.h diff --git a/src/main/Makefile b/src/main/Makefile index 401acc4..b31e490 100644 --- a/src/main/Makefile +++ b/src/main/Makefile @@ -8,8 +8,8 @@ LIBS = -L../to-sat -ltosat \ -L../abstraction-refinement -labstractionrefinement \ -L../sat -lminisat \ -L../simplifier -lsimplifier \ - -L../bitvec -lconsteval \ - -L../constantbv -lconstantbv \ + -L../const-evaluator -lconsteval \ + -L../extlib-constbv -lconstantbv \ -L../parser -lparser # This rebuilds each time, because the target "parser" is not created -- 2.47.3