[klee-dev] Compiling KLEE - metaSMT support

[Hristina Palikareva]

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
>