summaryrefslogtreecommitdiff
path: root/var/spack/repos/builtin/packages/gprolog/package.py
blob: 72c60caae24dacccd03918cab3b1a34e3dc8a812 (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
# 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 Gprolog(Package):
    """A free Prolog compiler with constraint solving over finite domains."""

    homepage = "http://www.gprolog.org/"
    url = "http://www.gprolog.org/gprolog-1.4.5.tar.gz"

    license("LGPL-3.0-or-later")

    version("1.5.0", sha256="670642b43c0faa27ebd68961efb17ebe707688f91b6809566ddd606139512c01")
    version("1.4.5", sha256="bfdcf00e051e0628b4f9af9d6638d4fde6ad793401e58a5619d1cc6105618c7c")

    parallel = False

    def install(self, spec, prefix):
        with working_dir("src"):
            configure("--with-install-dir=%s" % prefix, "--without-links-dir")
            make()
            make("install")