0

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
4

0 回答 0