zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

prism: adding new version 4.7 and java version restriction (#37061)

Browse Source
This commit is contained in:
snehring
2023-04-20 15:36:01 -05:00
committed by GitHub
parent 843c0c060b
commit a513272665
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
var/spack/repos/builtin/packages/prism/package.py
View File

@@ -13,11 +13,15 @@ class Prism(MakefilePackage):
homepage = "https://www.prismmodelchecker.org/" homepage = "https://www.prismmodelchecker.org/"
url = "https://github.com/prismmodelchecker/prism/archive/v4.5.tar.gz" url = "https://github.com/prismmodelchecker/prism/archive/v4.5.tar.gz"
maintainers("snehring")
version("4.7", sha256="16186047ba49efc6532de6e9c3993c8c73841a7c76c99758d6ee769e72092d6d")
version("4.5", sha256="1cb7a77538b5c997d98a8c209030c46f9e8f021f7a8332e5eb2fd3b4a23936fd") version("4.5", sha256="1cb7a77538b5c997d98a8c209030c46f9e8f021f7a8332e5eb2fd3b4a23936fd")
build_directory = "prism" build_directory = "prism"
depends_on("java", type=("build", "run")) depends_on("java@9:", type=("build", "run"))
depends_on("java@9:11", type=("build", "run"), when="@:4.5")
patch("Makefile.patch", when="target=aarch64:") patch("Makefile.patch", when="target=aarch64:")