FYI, I have compiled successfully the vanilla KLEE on my machine. I am using Ubuntu 12.04 64-bit. Thanks.
On Mon, Dec 1, 2014 at 2:51 PM, Thuan Pham <[email protected]> wrote: > 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
