我在64位Ubuntu 14.04.1操作系统上安装了升级版本1.54，我正在尝试使用metaSMT编译KLEE。但是，我认为我的问题独立于KLEE和metaSMT，因此问题的标题。不过，我提出了重现错误所需的步骤。
在此步骤之前，我已成功构建并使用STP运行KLEE。我已根据说明here成功构建了metaSMT。之后，我使用metaSMT配置了KLEE，当我执行make ENABLED_OPTIMIZED=1命令时，我收到以下错误：
In file included from /home/user/metaSMT/build/root/include/metaSMT/DirectSolver_Context.hpp:19:0,
from Solver.cpp:54:
/usr/include/boost/tr1/unordered_map.hpp:15:66: fatal error: ../4.8.2/tr1/std::tr1::unoredered_map: No such file or directory
# include BOOST_TR1_STD_HEADER(BOOST_TR1_PATH(unordered_map))
^
compilation terminated.
我不知道上一个No such file or directory发生的绝对路径，但我检查了我的文件系统，并且有一个目录：/usr/include/c++/4.8.2/tr1，其中包含文件unordered_map。另外，我不知道如何摆脱附加到文件名的std::tr1::。任何帮助将非常感谢。