blob: 3a22186866477d6cdb8b30bae8384cf8bfb56ce8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
# Copyright 2013-2019 Lawrence Livermore National Security, LLC and other
# Spack Project Developers. See the top-level COPYRIGHT file for details.
#
# SPDX-License-Identifier: (Apache-2.0 OR MIT)
from spack import *
class Clingo(CMakePackage):
"""Clingo: A grounder and solver for logic programs
Clingo is part of the Potassco project for Answer Set
Programming (ASP). ASP offers a simple and powerful modeling
language to describe combinatorial problems as logic
programs. The clingo system then takes such a logic program and
computes answer sets representing solutions to the given
problem."""
homepage = "https://potassco.org/clingo/"
url = "https://github.com/potassco/clingo/archive/v5.2.2.tar.gz"
version('5.2.2', sha256='da1ef8142e75c5a6f23c9403b90d4f40b9f862969ba71e2aaee9a257d058bfcf')
depends_on('doxygen', type=('build'))
depends_on('python')
def cmake_args(self):
try:
self.compiler.cxx14_flag
except UnsupportedCompilerFlag:
InstallError('clingo requires a C++14-compliant C++ compiler')
args = ['-DCLINGO_BUILD_WITH_PYTHON=ON',
'-DCLING_BUILD_PY_SHARED=ON',
'-DPYCLINGO_USE_INSTALL_PREFIX=ON',
'-DCLINGO_BUILD_WITH_LUA=OFF']
return args
|
