我正在Ubuntu(这是一个ASP应用)中设置clingo-master
。但是当我跟随this guide来做事时。
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