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

[***@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

[***@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

[Vijay Ganesh]

Try with Flex 2.5.35. I managed to install with this version.

-Vijay.

Post by 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
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 .
http://ccadar.github.io/klee/GetStarted.html .
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
flex version 2.5.4
Trying to understand how to get past this error and install STP successfully.
Thanks
Vinay
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

[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-***@public.gmane.org<mailto:hellovijay-***@public.gmane.org>>
Reply-To: "vganesh-***@public.gmane.org<mailto:vganesh-***@public.gmane.org>" <***@uwaterloo.ca<mailto:vganesh-***@public.gmane.org>>
Date: Monday, 23 December 2013 4:53 PM
To: Vinay T S <vinayts-***@public.gmane.org<mailto:vinayts-***@public.gmane.org>>
Cc: "klee-dev-AQ/***@public.gmane.org<mailto:klee-dev-AQ/***@public.gmane.org>" <klee-***@imperial.ac.uk<mailto:klee-dev-AQ/***@public.gmane.org>>
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-***@public.gmane.org<mailto:vinayts-***@public.gmane.org>> 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

[***@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

[***@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