[klee-dev] Problem Installing KLEE

[Kuchta, Tomasz]

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 [dsn at cs.nyu.edu]
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 <t.kuchta at imperial.ac.uk<mailto: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<mailto:klee-dev at imperial.ac.uk>
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 7419 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130408/92a1871f/attachment.bin>