我已经在 64 位 Ubuntu 14.04.1 操作系统上安装了 boost 版本 1.54，我正在尝试使用 metaSMT 编译 KLEE。但是，我认为我的问题与 KLEE 和 metaSMT 无关，因此是问题的标题。尽管如此，我还是提出了重现错误所需的步骤。
在这一步之前，我已经使用 STP 成功构建并运行了 KLEE。我已根据此处的说明成功构建了 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::附加到文件名的内容。任何帮助将不胜感激。