Rename "stdlib" benchmark to "build"

Author: Garmelon

tests/bench-radar/stdlib/README.md renamed to tests/bench-radar/build/README.md

@@ -1,28 +1,28 @@
-# The `stdlib` benchmark
+# The `build` benchmark
 
 This benchmark executes a complete build of the stage3 stdlib
 and collects global and per-module metrics.
 
 The following metrics are collected by a wrapper around the entire build process:
 
-- `stdlib//instructions`
-- `stdlib//maxrss`
-- `stdlib//task-clock`
-- `stdlib//wall-clock`
+- `build//instructions`
+- `build//maxrss`
+- `build//task-clock`
+- `build//wall-clock`
 
 The following metrics are collected from `leanc --profile` and summed across all modules:
 
-- `stdlib/profile/<name>//wall-clock`
+- `build/profile/<name>//wall-clock`
 
 The following metrics are collected from `lakeprof report`:
 
-- `stdlib/lakeprof/longest build path//wall-clock`
-- `stdlib/lakeprof/longest rebuild path//wall-clock`
+- `build/lakeprof/longest build path//wall-clock`
+- `build/lakeprof/longest rebuild path//wall-clock`
 
 The following metrics are collected individually for each module:
 
-- `stdlib/module/<name>//lines`
-- `stdlib/module/<name>//instructions`
+- `build/module/<name>//lines`
+- `build/module/<name>//instructions`
 
-If the file `stdlib_upload_lakeprof_report` is present in the repo root,
+If the file `build_upload_lakeprof_report` is present in the repo root,
 the lakeprof report will be uploaded once the benchmark run concludes.

tests/bench-radar/stdlib/lakeprof_report_template.html renamed to tests/bench-radar/build/lakeprof_report_template.html

@@ -7,7 +7,7 @@
 import sys
 from pathlib import Path
 
-NAME = "stdlib"
+NAME = "build"
 REPO = Path("..")
 BENCH = REPO / "tests" / "bench-radar"
 STAGE2 = REPO / "build" / "release" / "stage2"

tests/bench-radar/stdlib/lakeprof_report_upload.py renamed to tests/bench-radar/build/lakeprof_report_upload.py

@@ -18,23 +18,23 @@ export PATH="$PWD/$STAGE2/bin:$PATH"
 
 # Substitute our own wrapper script
 mv "$STAGE2/bin/lean" "$STAGE2/bin/lean.wrapped"
-cp "$BENCH/stdlib/lean_wrapper.py" "$STAGE2/bin/lean"
+cp "$BENCH/build/lean_wrapper.py" "$STAGE2/bin/lean"
 
 # Build stage3
-"$BENCH/measure.py" -t stdlib \
+"$BENCH/measure.py" -t build \
   -m instructions -m maxrss -m task-clock -m wall-clock -- \
   lakeprof record -- \
   make -C build/release -j"$(nproc)" stage3
 
 # Analyze lakeprof data
 mv lakeprof.log src
 pushd src
-lakeprof report -pj | jq -r '"radar::measurement=\({metric: "stdlib/lakeprof/longest build path//wall-clock", value: .[-1][2], unit: "s"})"'
-lakeprof report -rj | jq -r '"radar::measurement=\({metric: "stdlib/lakeprof/longest rebuild path//wall-clock", value: .[-1][2], unit: "s"})"'
+lakeprof report -pj | jq -r '"radar::measurement=\({metric: "build/lakeprof/longest build path//wall-clock", value: .[-1][2], unit: "s"})"'
+lakeprof report -rj | jq -r '"radar::measurement=\({metric: "build/lakeprof/longest rebuild path//wall-clock", value: .[-1][2], unit: "s"})"'
 popd
 
 # Upload lakeprof report
 # Guarded to prevent accidental uploads (which wouldn't work anyways) during local runs.
-if [ -f stdlib_upload_lakeprof_report ]; then
-  python3 "$BENCH/stdlib/lakeprof_report_upload.py"
+if [ -f build_upload_lakeprof_report ]; then
+  python3 "$BENCH/build/lakeprof_report_upload.py"
 fi

tests/bench-radar/stdlib/lean_wrapper.py renamed to tests/bench-radar/build/lean_wrapper.py

@@ -1,8 +1,8 @@
 #!/usr/bin/env bash
 set -euo pipefail
 
-echo "Running benchmark: stdlib"
-tests/bench-radar/stdlib/run
+echo "Running benchmark: build"
+tests/bench-radar/build/run
 
 echo "Running benchmark: size"
 tests/bench-radar/size/run