ブースト バージョン 1.54 を 64 ビット Ubuntu 14.04.1 OS にインストールし、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が含まれるディレクトリが 1 つありますunordered_map。std::tr1::さらに、ファイル名に追加された を取り除く方法がわかりません。どんな助けでも大歓迎です。