Boost TR1 включает проблемы в Ubuntu 14.04.1 LTS

Я установил версию Boost 1.54 на 64-битной ОС Ubuntu 14.04.1 и пытаюсь скомпилировать KLEE с metaSMT. Тем не менее, я думаю, что моя проблема не зависит от KLEE и metaSMT, отсюда и название вопроса. Тем не менее, я представляю шаги, необходимые для воспроизведения ошибки.

До этого я успешно построил и запустил KLEE с STP. Я успешно построил metaSMT в соответствии с инструкциями Вот. После этого я настроил KLEE с metaSMT, и когда я выполняю 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:: который добавляется к имени файла. Любая помощь будет очень высоко ценится.

0

Решение

Задача ещё не решена.

Другие решения


По вопросам рекламы [email protected]