Я устанавливаю 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