prism: new package at 4.5 (#16187)

var/spack/repos/builtin/packages/prism/package.py

@@ -0,0 +1,43 @@
+# Copyright 2013-2020 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 Prism(MakefilePackage):
+    """PRISM is a probabilistic model checker, a tool for formal modelling and
+       analysis of systems that exhibit random or probabilistic behaviour."""
+
+    homepage = "https://www.prismmodelchecker.org/"
+    url      = "https://github.com/prismmodelchecker/prism/archive/v4.5.tar.gz"
+
+    version('4.5', sha256='1cb7a77538b5c997d98a8c209030c46f9e8f021f7a8332e5eb2fd3b4a23936fd')
+
+    build_directory = 'prism'
+
+    depends_on('java', type=('build', 'run'))
+
+    def setup_run_environment(self, env):
+        env.set('PRISM_DIR', self.prefix)
+
+    def install(self, spec, prefix):
+        with working_dir(self.build_directory):
+            # after building, remove PRISM_DIR lines from startup scripts,
+            # as they point to the stage and not the prefix
+            for f in ['prism', 'xprism']:
+                filter_file('^PRISM_DIR.*', '', 'bin/{0}'.format(f))
+
+            dirs = [
+                'bin',
+                'classes',
+                'dtds',
+                'etc',
+                'include',
+                'images',
+                'lib',
+            ]
+
+            for d in dirs:
+                install_tree(d, join_path(prefix, d))