115 lines
4.1 KiB
Python
115 lines
4.1 KiB
Python
# 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)
|
|
|
|
import glob
|
|
import os
|
|
import sys
|
|
|
|
from spack.package 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")
|
|
|
|
license("GPL-2.0-only")
|
|
|
|
version("develop", branch="master")
|
|
version("2.2.0", sha256="d4ea3d19f0c61329723907b5b145d85776bb702643c1605a31f584484d2c5efc")
|
|
version("2.1.0", sha256="b1ba49f84aebab15b8ab5649946c9c31b53ad1499f6ffb681c98db41ed28566d")
|
|
|
|
# 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",
|
|
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",
|
|
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@3.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"):
|
|
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
|