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 > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
