[klee-dev] Compiling KLEE - metaSMT support

[Thuan Pham]

FYI, I have compiled successfully the vanilla KLEE on my machine. I am
using Ubuntu 12.04 64-bit.
Thanks.

On Mon, Dec 1, 2014 at 2:51 PM, Thuan Pham <thuanpv at comp.nus.edu.sg> wrote:

> 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