blob: 6bb7dc3b09f035edfb19e15e841b4cf8ae1ff1ca (
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
|
# Copyright 2013-2022 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"
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
|
