我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、cligo 和 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