add build script

Author: wilfonba

.github/workflows/bench.yml

@@ -49,7 +49,7 @@ jobs:
             labels: frontier
             flag: f
             device: gpu
-            build_script: "bash .github/workflows/frontier/build.sh gpu"
+            build_script: "bash .github/workflows/frontier/build.sh gpu bench"
     runs-on:
       group: ${{ matrix.group }}
       labels: ${{ matrix.labels }}

.github/workflows/frontier/build.sh

@@ -6,4 +6,12 @@ if [ "$1" == "gpu" ]; then
 fi
 
 . ./mfc.sh load -c f -m g
-./mfc.sh test --dry-run -j 8 $build_opts
+
+if [ "$2" == "bench" ]; then
+    for dir in benchmarks/*/; do
+        dirname=$(basename "$dir")
+        ./mfc.sh run "$dir/case.py" --case-optimization -j 8 --dry-run $build_opts
+    done
+else
+    ./mfc.sh test --dry-run -j 8 $build_opts
+fi