[klee-dev] Problem Installing KLEE

[Tomasz Kuchta]

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