Temporarily rename CVC.* to cvclib.*; to be renamed in the next patch to cvc.* (worka...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1137 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/parser/Makefile b/src/parser/Makefile
index 9e2fe1c0ebff021caedf90b973395dfd78003627..f2f705386f24b20eaa1826b926c8219281b9e54a 100644 (file)
--- a/src/parser/Makefile
+++ b/src/parser/Makefile
@@ -13,15 +13,15 @@ libparser.a: $(OBJS)
        $(RM) $@
        $(AR) qcs $@ $^
 
-lexCVC.cpp:    CVC.lex parseCVC_defs.h ../AST/AST.h
-               $(LEX)  -olexCVC.cpp -Pcvc CVC.lex
+lexCVC.cpp:    cvclib.lex parseCVC_defs.h ../AST/AST.h
+               $(LEX)  -olexCVC.cpp -Pcvc cvclib.lex
 
 #For rules with multiple targets. Make runs the rule once for each
 #target.  These rules are "pattern rules" which only run once (rather
 #than twice).
 
-parseCV%_defs.h parseCV%.cpp:  CVC.y
-               $(YACC) -o cvc.tab.c -p cvc CVC.y
+parseCV%_defs.h parseCV%.cpp:  cvclib.y
+               $(YACC) -o cvc.tab.c -p cvc cvclib.y
                @cp  cvc.tab.c parseCVC.cpp
                @cp  cvc.tab.h parseCVC_defs.h
 

diff --git a/src/parser/CVC.lex b/src/parser/cvclib.lex
similarity index 100%
rename from src/parser/CVC.lex
rename to src/parser/cvclib.lex

diff --git a/src/parser/CVC.y b/src/parser/cvclib.y
similarity index 100%
rename from src/parser/CVC.y
rename to src/parser/cvclib.y