Try with Flex 2.5.35. I managed to install with this version. -Vijay.
On Sun, Dec 22, 2013 at 8:39 AM, Vinay T S (vinayts) <[email protected]>wrote: > Hello, > > I am trying to install KLEE on my Linux VM . > > As part of the install instructions, finished LLVM 2.9 , and LLVM-GCC . > > Moving onto install of STP now. > > Am using > > [root@vinayts-lab-lnx src]# uname -a > Linux vinayts-lab-lnx 2.6.18-194.8.1.el5 #1 SMP Wed Jun 23 10:52:51 EDT > 2010 x86_64 x86_64 x86_64 GNU/Linux > > Trying to install : stp-r940 . > > Following instructions as per : > http://ccadar.github.io/klee/GetStarted.html . > > Run into a problem in Section 3 : > > When I do : make OPTIMIZE=-O2 CFLAGS_M32= install > > **Snippet of the error logs below** > > Error message : make -C src/parser > make[1]: Entering directory `/usr/local/src/stp-r940/src/parser' > flex -Cfe -olexCVC.cpp -Pcvc CVC.lex > flex: -Cf/-CF and %option yylineno are incompatible > > I see that my machine has > > [root@vinayts-lab-lnx stp-r940]# flex -V > flex version 2.5.4 > > Trying to understand how to get past this error and install STP > successfully. > > Thanks > Vinay > > > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
