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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
# Copyright 2013-2021 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)
import glob
import os
import sys
from spack import *
class Verrou(AutotoolsPackage):
"""A floating-point error checker.
Verrou helps you look for floating-point round-off errors in programs. It
implements a stochastic floating-point arithmetic based on random rounding:
all floating-point operations are perturbed by randomly switching rounding
modes. This can be seen as an asynchronous variant of the CESTAC method, or
a subset of Monte Carlo Arithmetic, performing only output randomization
through random rounding.
"""
homepage = "https://github.com/edf-hpc/verrou"
url = "https://github.com/edf-hpc/verrou/archive/v2.0.0.tar.gz"
git = "https://github.com/edf-hpc/verrou.git"
maintainers = ['HadrienG2']
version('develop', branch='master')
version('2.2.0', sha256='d4ea3d19f0c61329723907b5b145d85776bb702643c1605a31f584484d2c5efc')
version('2.1.0', sha256='b1ba49f84aebab15b8ab5649946c9c31b53ad1499f6ffb681c98db41ed28566d')
version('2.0.0', sha256='798df6e426ec57646a2a626d756b72f0171647ae5b07c982952dae2d71e26045')
version('1.1.0', sha256='b5105f61c65680f31551199cd143b2e15f412c34c821537998a7165e315dde2d')
# The server is sometimes a bit slow to respond
timeout = {'timeout': 60}
resource(name='valgrind-3.15.0',
url='https://sourceware.org/pub/valgrind/valgrind-3.15.0.tar.bz2',
sha256='417c7a9da8f60dd05698b3a7bc6002e4ef996f14c13f0ff96679a16873e78ab1',
when='@2.2.0:',
fetch_options=timeout)
resource(name='valgrind-3.14.0',
url='https://sourceware.org/pub/valgrind/valgrind-3.14.0.tar.bz2',
sha256='037c11bfefd477cc6e9ebe8f193bb237fe397f7ce791b4a4ce3fa1c6a520baa5',
when='@2.1.0:2.1.99',
fetch_options=timeout)
resource(name='valgrind-3.13.0',
url='https://sourceware.org/pub/valgrind/valgrind-3.13.0.tar.bz2',
sha256='d76680ef03f00cd5e970bbdcd4e57fb1f6df7d2e2c071635ef2be74790190c3b',
when='@1.1.0:2.0.99',
fetch_options=timeout)
variant('fma', default=True,
description='Activates fused multiply-add support for Verrou')
depends_on('autoconf', type='build')
depends_on('automake', type='build')
depends_on('libtool', type='build')
depends_on('m4', type='build')
depends_on('python@:2.99.99', when='@1.1.0:2.0.99', type=('build', 'run'))
depends_on('python@3.0:', when='@2.1.0:', type=('build', 'run'))
extends('python')
def patch(self):
# We start with the verrou source tree and a "valgrind-x.y.z" subdir.
# But we actually need a valgrind source tree with a "verrou" subdir.
# First, let's locate the valgrind sources...
valgrind_dirs = glob.glob('valgrind-*')
assert len(valgrind_dirs) == 1
valgrind_dir = valgrind_dirs[0]
# ...then we can flip the directory organization around
verrou_files = os.listdir('.')
verrou_files.remove(valgrind_dir)
os.mkdir('verrou')
for name in verrou_files:
os.rename(name, os.path.join('verrou', name))
for name in os.listdir(valgrind_dir):
os.rename(os.path.join(valgrind_dir, name), name)
os.rmdir(valgrind_dir)
# Once this is done, we can patch valgrind
if self.spec.satisfies('@:2.0.99'):
which('patch')('-p0', '--input=verrou/valgrind.diff')
else:
which('patch')('-p1', '--input=verrou/valgrind.diff')
# Autogenerated perl path may be too long, need to fix this here
# because these files are used during the build.
for link_tool_in in glob.glob('coregrind/link_tool_exe_*.in'):
filter_file('^#! @PERL@',
'#! /usr/bin/env perl',
link_tool_in)
def autoreconf(self, spec, prefix):
# Needed because we patched valgrind
which("bash")("autogen.sh")
def configure_args(self):
spec = self.spec
options = [
'--enable-only64bit',
'--{0}able-verrou-fma'.format('en' if '+fma' in spec else 'dis')
]
if sys.platform == 'darwin':
options.append('--build=amd64-darwin')
return options
|
