[klee-dev] Have a problem installing STP

[Vijay Ganesh]

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) <vinayts at cisco.com>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 at 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 at 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed