Repository navigation

replace build_bench_env.sh with a Makefile - #243

Open

derSteFfi wants to merge 22 commits into

daanx:masterfrom

derSteFfi:build_with_makefile

Open

replace build_bench_env.sh with a Makefile#243
derSteFfi wants to merge 22 commits into
daanx:masterfrom
derSteFfi:build_with_makefile

Commits on Nov 9, 2026
- make: replace build-bench-env.sh with a Make-based build
  derSteFfi
  committed
  647cb45
- Dockerfile/CI: support the make-based build
  derSteFfi
  committed
  f8ebecb
- README: document the make-based workflow
  derSteFfi
  committed
  c5e2fd4
- VERSIONS: pin every project to an exact commit
  derSteFfi
  committed
  910b4ad
- make: name archives after their pinned version
  derSteFfi
  committed
  51c6c5a
- provision mathlib for the lean-mathlib benchmark
  derSteFfi
  committed
  144f146
- README/Dockerfile: add linux test build deps (flex, bison, libelf)
  derSteFfi
  committed
  494f717
- make: never leave partial downloads behind
  derSteFfi
  committed
  c8c73ee
- Dockerfile: use new bazel pubky location
  derSteFfi
  committed
  682b731
- VERSIONS: match upstream mimalloc3 bump to v3.6.0
  derSteFfi
  committed
  276b19c
- VERSIONS: match upstream jemalloc bump to 5.4.0
  derSteFfi
  committed
  2a7bfcc
- VERSIONS: match upstream snmalloc bump to 0.7.6
  derSteFfi
  committed
  9bb9ab3
- VERSIONS: match upstream tbb bump to v2023.1.0
  derSteFfi
  committed
  b62ec5b
- VERSIONS: match upstream gperftools bump to gperftools-2.18
  derSteFfi
  committed
  d00035f
- VERSIONS: match upstream rpmalloc bump to 2.0.1
  derSteFfi
  committed
  c507f00
- VERSIONS: match upstream tcmalloc bump to 81f4e44f
  derSteFfi
  committed
  a286d51
- README/Dockerfile: add ruby to the alpine and arch package lists for rbstress
  derSteFfi
  committed
  988750c
- rocksdb: use posix_memalign for cache shards on musl
  derSteFfi
  committed
  895a7d7
- Makefile: build a shared tcmalloc for the tcg test
  derSteFfi
  committed
  7894df9
- platform.yml: raise vm.max_map_count for the stress tests
  derSteFfi
  committed
  423cde3
- Makefile: define the sized free functions for hoard
  derSteFfi
  committed
  909443a
- platform.yml: run the tcg job on ubuntu
  derSteFfi
  committed
  6f1ed81

Commits

Commits on Nov 9, 2026