[klee-dev] Compiling KLEE - metaSMT support

[Thuan Pham]

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
-------------- next part --------------
HTML attachment scrubbed and removed