[klee-dev] Have a problem installing STP

[Vinay T S (vinayts)]

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


-------------- next part --------------
HTML attachment scrubbed and removed