diff --git a/fc-solve/scripts/run-solve-and-validate-benchmark.sh b/fc-solve/scripts/run-solve-and-validate-benchmark.sh new file mode 100644 index 000000000..ee3723636 --- /dev/null +++ b/fc-solve/scripts/run-solve-and-validate-benchmark.sh @@ -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" +)