[klee-dev] Have a problem installing STP

[Vinay T S (vinayts)]

Thanks for this suggestion Vijay . I tried with Flex 2.5.37, and STP got installed OK .

Appreciate your help .

Vinay

From: Vijay Ganesh <hellovijay at gmail.com<mailto:hellovijay at gmail.com>>
Reply-To: "vganesh at uwaterloo.ca<mailto:vganesh at uwaterloo.ca>" <vganesh at uwaterloo.ca<mailto:vganesh at uwaterloo.ca>>
Date: Monday, 23 December 2013 4:53 PM
To: Vinay T S <vinayts at cisco.com<mailto:vinayts at cisco.com>>
Cc: "klee-dev at imperial.ac.uk<mailto:klee-dev at imperial.ac.uk>" <klee-dev at imperial.ac.uk<mailto:klee-dev at imperial.ac.uk>>
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) <vinayts at cisco.com<mailto: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<mailto:klee-dev at imperial.ac.uk>
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


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