[klee-dev] Problem Installing KLEE

[Daniel Schwartz-Narbonne]

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 <t.kuchta at imperial.ac.uk>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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
-------------- next part --------------
HTML attachment scrubbed and removed