Как исправить «Ошибка CMake в CMakeLists.txt (bison_target_or_gen):» - PullRequest
0 голосов
/ 03 мая 2019

Я устанавливаю clingo-master в Ubuntu, который является приложением ASP.Но я, когда я следовал этому руководству до cmake.

cmake -H./libgringo -B./gringoBin -DCMAKE_BUILD_TYPE=Release

Я встретил ошибку:

CMake Error at CMakeLists.txt:70 (bison_target_or_gen):
 unknown CMake command "bison_target_or_gen

Я установил bison, но ошибка былавсе еще там.Я новичок в Linux, я не знаю, что делать.

Вот что говорится в руководстве: при клонировании репозитория git не забудьте обновить подмодули (с исходными выпусками вы можете пропустить этот шаг):

git submodule update --init --recursive

Чтобы собрать gringo, clingo и reify в их конфигурациях по умолчанию в режиме выпуска, выполните:

cmake -H<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release
cmake --build <BUILD_DIR>

Полученные двоичные файлы и общие библиотеки будут в <BUILD_DIR>/binи готовы к использованию.

Чтобы установить все двоичные файлы и файлы разработки под префиксом установки cmake (см. параметры сборки), выполните:

cmake --build <BUILD_DIR> --target install

Чтобы запустить тесты, включите опцию CLINGO_BUILD_TESTS (см. параметры сборки) и запустите:

cmake --build <BUILD_DIR> --target test
...