clingo: compilation error - needs a patch (#19624)

* Add a patch to clingo Co-authored-by: Adam J. Stewart <ajstewart426@gmail.com>
2020-10-30 19:36:53 +01:00
parent 3d7e8ff399
commit fef20524f9
2 changed files with 15 additions and 0 deletions
--- a/var/spack/repos/builtin/packages/clingo/package.py
+++ b/var/spack/repos/builtin/packages/clingo/package.py
@@ -37,6 +37,8 @@ class Clingo(CMakePackage):
    depends_on('python', type=("build", "link", "run"), when="+python")
    extends('python', when='+python')

+    patch('python38.patch', when="@5.3:5.4")
+
    def patch(self):
        # Doxygen is optional but can't be disabled with a -D, so patch
        # it out if it's really supposed to be disabled