Skip to content

Commit

Permalink
add a WiP shell function for running the solve+validate benchmark
Browse files Browse the repository at this point in the history
  • Loading branch information
shlomif committed Dec 5, 2024
1 parent 57932fa commit 819e6a5
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions fc-solve/scripts/run-solve-and-validate-benchmark.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
#! /bin/sh
#
# r.sh
# Copyright (C) 2024 Shlomi Fish < https://www.shlomifish.org/ >
#
# Distributed under the terms of the MIT license.
#


(
-t fcs
shlomif_ux
set -e -x
cd "$trunk/cpan/Games-Solitaire-Verify/benchmark"
git clean -dfqx . || true
export LD_LIBRARY_PATH="$FCS_PATH"
perl sanity-test.pl
# git clean -dfqx ./Results || true
# rm -f ./Results/*.res || true
perl gen-par-mak.pl
s="`date +'%s.%N'`"
time gmake -j 12 -f par2.mak
e="`date +'%s.%N'`"
perl -E 'my ($s, $e) = @ARGV; printf(qq{%f -> %f [ %f ]\n}, $s, $e, ($e - $s));' -- "$s" "$e"
)

0 comments on commit 819e6a5

Please sign in to comment.