Hi Daniel, I've just did a quick test with the script, that I'm attaching and it seems to be working. I've run the script from /home/<user_name>/work directory.
The system, that I tested the script on is Ubuntu 12.04, 64bit. I hope it will work for you. Best Regards, Tomek ________________________________ From: Daniel Schwartz-Narbonne [[email protected]] Sent: 08 April 2013 17:52 To: Kuchta, Tomasz Cc: klee-dev Subject: Re: [klee-dev] Problem Installing KLEE I switched to the 64 bit version of llvm-gcc, but that didn't fix it Daniel On Fri, Apr 5, 2013 at 5:53 AM, Tomasz Kuchta <[email protected]<mailto:[email protected]>> wrote: Hi Daniel, I took a quick look at the logs provided. It looks like you are compiling on a 64 bit Linux, is it correct? I'm not sure if that may help, but it might be worth trying to use llvm-gcc for 64 bits and also checking if 64 bit include / library paths for you system are exported to environment variables. Hope that helps. Best Regards Tomek On 04/04/13 21:43, Daniel Schwartz-Narbonne wrote: > Hi. I tried installing klee as instructed on the website, and got an > error trying to build STP. > > In particular, I was getting errors like: > "vecInt.h", line 57: syntax error before or at: >= > > I am attaching the script I used to do the build, as well as the output > from the build process. As far as I can tell, I am using the > recommended revision of STP. > > If anyone could give me a hand, I'd really appreciate it. > > Thanks, > > Daniel > > > _______________________________________________ > klee-dev mailing list > [email protected]<mailto:[email protected]> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
<<attachment: winmail.dat>>
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
