diff options
| -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 |