diff options
| author | Kacper Kornet <kk562@cam.ac.uk> | 2024-08-26 12:42:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-26 13:42:30 +0200 |
| commit | fa704e867ce596e21f2d0cb0213d4d0a4d221fe5 (patch) | |
| tree | 943ee265a250770fc8c2788c1b527f633b30d0ec /var | |
| parent | 85939b26ae8e5af813361518110adfe6579c1587 (diff) | |
| download | spack-fa704e867ce596e21f2d0cb0213d4d0a4d221fe5.tar.gz spack-fa704e867ce596e21f2d0cb0213d4d0a4d221fe5.tar.bz2 spack-fa704e867ce596e21f2d0cb0213d4d0a4d221fe5.tar.xz spack-fa704e867ce596e21f2d0cb0213d4d0a4d221fe5.zip | |
polyml: add new package (#46020)
Diffstat (limited to 'var')
| -rw-r--r-- | var/spack/repos/builtin/packages/polyml/package.py | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/polyml/package.py b/var/spack/repos/builtin/packages/polyml/package.py new file mode 100644 index 0000000000..658dbf3a6e --- /dev/null +++ b/var/spack/repos/builtin/packages/polyml/package.py @@ -0,0 +1,28 @@ +# Copyright 2013-2024 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 Polyml(AutotoolsPackage): + """The Poly/ML implementation of Standard ML.""" + + homepage = "https://polyml.org/" + url = "https://github.com/polyml/polyml/archive/refs/tags/v5.9.1.tar.gz" + + license("LGPL-2.1-only", checked_by="draenog") + + version("5.9.1", sha256="52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c") + + variant( + "gmp", default=True, description="Use the GMP library for arbitrary precision arithmetic" + ) + depends_on("gmp", when="+gmp") + + filter_compiler_wrappers("polyc", relative_root="bin") + + def configure_args(self): + config_args = self.with_or_without("gmp") + return config_args |