1 files changed, 33 insertions, 0 deletions
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