Commit 902199fb authored by POTTIER Francois's avatar POTTIER Francois
Browse files

In benchmarks/, add the command [./make.sh bench <benchmark>].

Also, create benchmark/default.switch.
parent 3bbce7bd
......@@ -4,11 +4,14 @@ set -euo pipefail
# ------------------------------------------------------------------------------
# The opam switch that we want to use.
# The default value is stored in the file default.switch.
# This setting can be overridden on the command line.
# e.g. switch=4.09.1 ./make.sh run stack
# e.g. switch=4.13.1+flambda ./make.sh run stack
if [ -z ${switch+x} ] ; then
switch=4.09.1+flambda ;
switch=$(cat default.switch) ;
fi
# ------------------------------------------------------------------------------
......@@ -768,6 +771,11 @@ plot)
series=""
plot_${benchmark} $result $graphics "$series"
;;
bench)
benchmark=${2-${benchmark}}
# bench is a shortcut for the sequential composition of run, plot, view.
"$0" run "$2" && "$0" plot "$2" && "$0" view
;;
compare)
# Here, we expect the current directory to be $home.
case "${2-start}" in
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment