Problem Installing KLEE

[Daniel Schwartz-Narbonne]

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

[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-AQ/***@public.gmane.org
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>

[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-AQ/***@public.gmane.org>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-AQ/***@public.gmane.org
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>

[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-+***@public.gmane.org]
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-AQ/***@public.gmane.org<mailto:t.kuchta-AQ/***@public.gmane.org>> 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-AQ/***@public.gmane.org<mailto:klee-dev-AQ/***@public.gmane.org>
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>