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]>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] > > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
