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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
# Copyright 2013-2023 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.package 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.2.0", sha256="d8c9f3adb9cd997a5fed7b5f5dbfe971d2defda969b9066ada158e4202c09c3c")
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")
variant("html", default=True, description="Install the HTML documentation")
variant("pdfdoc", default=False, description="Build the PDF documentation")
depends_on("uuid")
depends_on("readline")
depends_on("libarchive", when="+html")
depends_on("gmp", when="+gmp")
depends_on("unwind", when="+unwind")
depends_on("unixodbc", when="+odbc")
depends_on("openssl", when="+ssl")
depends_on("zlib-api", 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")
append_switch("+html", "INSTALL_DOCUMENTATION")
append_switch("+pdfdoc", "BUILD_PDF_DOCUMENTATION")
# The variants ssl and zlib are implicitly set up by CMake
return args
|
