clingo: fix typo (#22444)
This commit is contained in:
parent
e56e72d910
commit
8c04354056
1 changed files with 1 additions and 1 deletions
|
@ -30,7 +30,7 @@ class Clingo(CMakePackage):
|
||||||
version('5.3.0', sha256='b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976')
|
version('5.3.0', sha256='b0d406d2809352caef7fccf69e8864d55e81ee84f4888b0744894977f703f976')
|
||||||
version('5.2.2', sha256='da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf')
|
version('5.2.2', sha256='da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf')
|
||||||
|
|
||||||
variant("docs", default=False, description="build documentation with Doxyegen")
|
variant("docs", default=False, description="build documentation with Doxygen")
|
||||||
variant("python", default=True, description="build with python bindings")
|
variant("python", default=True, description="build with python bindings")
|
||||||
|
|
||||||
depends_on('doxygen', type="build", when="+docs")
|
depends_on('doxygen', type="build", when="+docs")
|
||||||
|
|
Loading…
Reference in a new issue