blob: 0a2a15fdd446b8e858ea00877abe0c4ad4cd06f0 (
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 Sollya(AutotoolsPackage):
"""Sollya is both a tool environment and a library for safe floating-point code
development. It is particularily targeted to the automatized implementation of
mathematical floating-point libraries (libm). Amongst other features, it offers
a certified infinity (supremum) norm and a fast Remez algorithm."""
homepage = "https://www.sollya.org"
url = "https://www.sollya.org/releases/sollya-7.0/sollya-7.0.tar.bz2"
license("LGPL-3.0-or-later")
version("7.0", sha256="15745871f7dd3e96e12915098dd6df2078b815853a38143b2bc6c01477044984")
depends_on("gmp")
depends_on("mpfi")
depends_on("mpfr")
depends_on("libxml2")
depends_on("fplll")
def configure_args(self):
args = [
"--with-gmp=" + self.spec["gmp"].prefix,
"--with-mpfr=" + self.spec["mpfr"].prefix,
"--with-mpfi=" + self.spec["mpfi"].prefix,
"--with-xml2=" + self.spec["libxml2"].prefix,
"--with-fplll=" + self.spec["fplll"].prefix,
]
return args
|
