Hakefile

--------------------------------------------------------------------------------------------------
-- Virtual Memory Operations Benchmark
--
-- Copyright 2020 Reto Achermann
-- SPDX-License-Identifier: GPL-3.0
--------------------------------------------------------------------------------------------------

[
  build application {
    target = "vmops_list",
    cFiles = [
        "src/main.c",
        "src/benchmarks/mapunmap.c",
        "src/benchmarks/protect.c",
        "src/benchmarks/protectelevate.c",
        "src/benchmarks/utils.c",
        "src/platform/barrelfish.c"
    ],
    addLibraries = [
        "bench",
        "numa"
    ]
  },
  build application {
    target = "vmops_array_mcn",
    cFiles = [
        "src/main.c",
        "src/benchmarks/mapunmap.c",
        "src/benchmarks/protect.c",
        "src/benchmarks/protectelevate.c",
        "src/benchmarks/utils.c",
        "src/platform/barrelfish.c"
    ],
    libraryOs = Config.libbarrelfish_pmap_array_mcn,
    addLibraries = [
        "bench",
        "numa"
    ]
  },
  build application {
    target = "vmops_array",
    cFiles = [
        "src/main.c",
        "src/benchmarks/mapunmap.c",
        "src/benchmarks/protect.c",
        "src/benchmarks/protectelevate.c",
        "src/benchmarks/utils.c",
        "src/platform/barrelfish.c"
    ],
    libraryOs = Config.libbarrelfish_pmap_array,
    addLibraries = [
        "bench",
        "numa"
    ]
  }
]