add a WiP shell function for running the solve+validate benchmark

build libfreecell-solver
shlomif · Dec 5, 2024 · b2c46b4 · b2c46b4
1 parent 819e6a5
commit b2c46b4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh
@@ -11,6 +11,12 @@
     -t fcs
     shlomif_ux
     set -e -x
+    cd "$trunk/fc-solve"
+    rm -fr "B"
+    mkdir "B"
+    cd "B"
+    ../scripts/Tatzer -l n2b
+    gmake -j 12 install
     cd "$trunk/cpan/Games-Solitaire-Verify/benchmark"
     git clean -dfqx . || true
     export LD_LIBRARY_PATH="$FCS_PATH"