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
