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