[klee-dev] Compiling KLEE - metaSMT support

[Thuan Pham]

Hello Hristina,
The file unordered_map.hpp is already there, at
/home/thuan/KLEE/metaSMT/deps/boost-1_52_0/include/boost/tr1

I have set the CPATH to point to your suggested path but it still doesn't
work.
Thanks,
Thuan.

On Sat, Nov 29, 2014 at 3:18 AM, Hristina Palikareva <
h.palikareva at imperial.ac.uk> wrote:

> Hello Thuan,
>
> Would you confirm that you have unordered_map.hpp under
>
> /home/thuan/KLEE/metaSMT/deps/boost-1_52_0/include/boost/tr1?
>
> If so, you need to set CPATH to point to
> /home/thuan/KLEE/metaSMT/deps/boost-1_52_0/include. Also note the
> spelling of "CPLUS_INCLUDE_PATH".
>
> Please let me know whether that works.
>
> Best wishes,
> Hristina
>
>
>
> > Hello,
> > I followed the instructions
> > at
> http://srg.doc.ic.ac.uk/projects/klee-multisolver/getting-started.html to
> > compile KLEE-metaSMT.
> > I did compile metaSMT successfully but I faced error while configure and
> > compile KLEE with metaSMT. Here is the output error:
> >
> /home/thuan/KLEE/metaSMT/deps/boost-1_52_0/include/boost/tr1/unordered_map.hpp:16:66:
> > fatal error: ../4.6.3/tr1/std::tr1::unordered_map: No such file or
> directory
> > compilation terminated.
> >
> > The name of the missing file looks strange. And here is the indicated
> > source of the error:
> > include BOOST_TR1_STD_HEADER(BOOST_TR1_PATH(unordered_map))
> >
> > I have tried to update environment variables like C_INCLUDE_PATH,
> > CPUS_INCLUDE_PATH for boost library but it doesn't work.
> > Could you please give me some suggestions to fix the issue.
> > Thanks
> >
> >
> >
> > _______________________________________________
> > klee-dev mailing list
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
>
> _______________________________________________
> 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