From 9d1d37c432441dd7becb513d52fe064bd53c8650 Mon Sep 17 00:00:00 2001 From: iarspider Date: Mon, 25 Jan 2021 09:33:56 +0100 Subject: [PATCH] sollya: new package at v7.0 (#21240) --- .../repos/builtin/packages/sollya/package.py | 33 +++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 var/spack/repos/builtin/packages/sollya/package.py diff --git a/var/spack/repos/builtin/packages/sollya/package.py b/var/spack/repos/builtin/packages/sollya/package.py new file mode 100644 index 0000000000..6d3fdad7de --- /dev/null +++ b/var/spack/repos/builtin/packages/sollya/package.py @@ -0,0 +1,33 @@ +# Copyright 2013-2021 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 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