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] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
