blob: ceaff99d9577f2ada0645a0cdc5ad0f2b086d4d5 (
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
|
# 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 Ppl(Package):
"""The Parma Polyhedra Library (PPL) provides numerical
abstractions especially targeted at applications in the field of
analysis and verification of complex systems. These abstractions
include convex polyhedra, some special classes of polyhedra shapes
that offer interesting complexity/precision tradeoffs, and grids
which represent regularly spaced points that satisfy a set of
linear congruence relations. The library also supports finite
powersets and products of polyhedra and grids, a mixed integer
linear programming problem solver using an exact-arithmetic
version of the simplex algorithm, a parametric integer programming
solver, and primitives for termination analysis via the automatic
synthesis of linear ranking functions."""
homepage = "https://bugseng.com/products/ppl/"
url = "http://bugseng.com/products/ppl/download/ftp/releases/1.1/ppl-1.1.tar.gz"
license("GPL-3.0-or-later")
version("1.2", sha256="6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8")
version("1.1", sha256="46f073c0626234f0b1a479356c0022fe5dc3c9cf10df1a246c9cde81f7cf284d")
depends_on("gmp")
def install(self, spec, prefix):
configure("--prefix=%s" % prefix, "--with-gmp=%s" % spec["gmp"].prefix)
make()
make("install")
|
