1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
# Copyright 2013-2022 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'))
patch('Makefile.patch', when='target=aarch64:')
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))
|
