summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--var/spack/repos/builtin/packages/clingo/package.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/clingo/package.py b/var/spack/repos/builtin/packages/clingo/package.py
index aa9772109b..6832fd65cf 100644
--- a/var/spack/repos/builtin/packages/clingo/package.py
+++ b/var/spack/repos/builtin/packages/clingo/package.py
@@ -35,6 +35,8 @@ class Clingo(CMakePackage):
variant("docs", default=False, description="build documentation with Doxygen")
variant("python", default=True, description="build with python bindings")
+ depends_on('cmake@3.1:', type='build')
+
depends_on('doxygen', type="build", when="+docs")
depends_on('re2c@0.13:', type="build")
depends_on('bison@2.5:', type="build")