diff options
Diffstat (limited to 'src/allocators/jemalloc.py')
| -rw-r--r-- | src/allocators/jemalloc.py | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/src/allocators/jemalloc.py b/src/allocators/jemalloc.py deleted file mode 100644 index ab2528b..0000000 --- a/src/allocators/jemalloc.py +++ /dev/null @@ -1,41 +0,0 @@ -# Copyright 2018-2019 Florian Fischer <florian.fl.fischer@fau.de> -# -# This file is part of allocbench. -# -# allocbench is free software: you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation, either version 3 of the License, or -# (at your option) any later version. -# -# allocbench is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License -# along with allocbench. -"""jemalloc definition for allocbench""" - -from src.allocator import Allocator -from src.artifact import GitArtifact - - -class Jemalloc(Allocator): - """jemalloc allocator""" - - sources = GitArtifact("jemalloc", - "https://github.com/jemalloc/jemalloc.git") - - def __init__(self, name, **kwargs): - self.LD_PRELOAD = "{dir}/libjemalloc.so" - self.prepare_cmds = ["./autogen.sh"] - self.build_cmds = [ - "cd {srcdir}; ./configure --prefix={dir}", "cd {srcdir}; make -j4", - "mkdir -p {dir}", - "ln -f -s {srcdir}/lib/libjemalloc.so {dir}/libjemalloc.so" - ] - - super().__init__(name, **kwargs) - - -jemalloc = Jemalloc("jemalloc", version="5.1.0", color="xkcd:yellow") |