Thanks for this suggestion Vijay . I tried with Flex 2.5.37, and STP got installed OK .
Appreciate your help . Vinay From: Vijay Ganesh <[email protected]<mailto:[email protected]>> Reply-To: "[email protected]<mailto:[email protected]>" <[email protected]<mailto:[email protected]>> Date: Monday, 23 December 2013 4:53 PM To: Vinay T S <[email protected]<mailto:[email protected]>> Cc: "[email protected]<mailto:[email protected]>" <[email protected]<mailto:[email protected]>> Subject: Re: [klee-dev] Have a problem installing STP 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]<mailto:[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]<mailto:[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
