72 lines
2.7 KiB
Python
72 lines
2.7 KiB
Python
# Copyright 2013-2020 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 Swipl(CMakePackage):
|
|
""" SWI-Prolog is a versatile implementation of the Prolog language.
|
|
Although SWI-Prolog gained its popularity primarily in education,
|
|
its development is mostly driven by the needs for application development.
|
|
This is facilitated by a rich interface to other IT components by
|
|
supporting many document types and (network) protocols as well as a
|
|
comprehensive low-level interface to C that is the basis for high-level
|
|
interfaces to C++, Java (bundled), C#, Python, etc (externally available).
|
|
|
|
Data type extensions such as dicts and strings as well as full support
|
|
for Unicode and unbounded integers simplify smooth exchange of data
|
|
with other components."""
|
|
|
|
homepage = "https://www.swi-prolog.org"
|
|
url = "https://www.swi-prolog.org/download/stable/src/swipl-8.0.3.tar.gz"
|
|
|
|
maintainers = ['alexrobomind']
|
|
|
|
version('8.0.3', sha256='cee59c0a477c8166d722703f6e52f962028f3ac43a5f41240ecb45dbdbe2d6ae')
|
|
|
|
variant('gmp', default=True, description='bignum and rational number support')
|
|
variant('xpce', default=True, description='GUI support')
|
|
variant('ssl', default=True, description='SSL support')
|
|
variant('zlib', default=True, description='Compressed streams support')
|
|
variant('odbc', default=True, description='ODBC database access')
|
|
variant('unwind', default=True, description='Build with stack traces in crash reports')
|
|
|
|
depends_on('uuid')
|
|
depends_on('readline')
|
|
|
|
depends_on('gmp', when='+gmp')
|
|
depends_on('unwind', when='+unwind')
|
|
depends_on('unixodbc', when='+odbc')
|
|
depends_on('openssl', when='+ssl')
|
|
depends_on('zlib', when='+zlib')
|
|
|
|
depends_on('libxt', when='+xpce')
|
|
depends_on('libx11', when='+xpce')
|
|
depends_on('libjpeg', when='+xpce')
|
|
depends_on('libxpm', when='+xpce')
|
|
|
|
depends_on('libxft', when='+xpce')
|
|
depends_on('fontconfig', when='+xpce')
|
|
depends_on('pkgconfig', when='+xpce', type='build')
|
|
|
|
conflicts('%intel', msg='Test builds with ICC failed when creating startup image')
|
|
|
|
def cmake_args(self):
|
|
args = []
|
|
|
|
def append_switch(variant, cmake_flag):
|
|
val = 'ON' if variant in self.spec else 'OFF'
|
|
|
|
flagdef = '-D' + cmake_flag + ':BOOL=' + val
|
|
args.append(flagdef)
|
|
|
|
append_switch('+gmp', 'USE_GMP')
|
|
append_switch('+xpce', 'SWIPL_PACKAGES_X')
|
|
append_switch('+odbc', 'SWIPL_PACKAGES_ODBC')
|
|
|
|
# The variants ssl and zlib are implicitly set up by CMake
|
|
|
|
return args
|