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@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev