Use the flex options recommended by its manual.

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

diff --git a/src/parser/Makefile b/src/parser/Makefile
index f68807f210f74a6501bdfe3aaadffa7977a6fb8a..5dff810396f60dd4524237190fa28483cae2b464 100644 (file)
--- a/src/parser/Makefile
+++ b/src/parser/Makefile
@@ -1,7 +1,8 @@
 TOP = ../..
 include $(TOP)/scripts/Makefile.common
 
-LEX=flex
+#`From the flex manual>: -Cfe' is often a good compromise between speed and size for production scanners.
+LEX=flex -Cfe
 YACC=bison -d -y --debug -v
 
 SRCS = lexCVC.cpp parseCVC.cpp parseSMT.cpp lexSMT.cpp LetMgr.cpp parse2SMT.cpp lex2SMT.cpp