From f32126d4f79ac223ef96f0866003c484d779bd88 Mon Sep 17 00:00:00 2001 From: Andrzej Rybczak Date: Sun, 22 Jan 2023 18:40:35 +0100 Subject: [PATCH] Add genBench.sh --- genBench.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 genBench.sh diff --git a/genBench.sh b/genBench.sh new file mode 100755 index 0000000..7366495 --- /dev/null +++ b/genBench.sh @@ -0,0 +1,22 @@ +#!/bin/sh + +cabal run bench -- --pattern '$2 == "countdown" && $3 == "1000"' --svg bench_countdown_1000.svg +cabal run bench -- --pattern '$2 == "countdown" && $3 == "2000"' --svg bench_countdown_2000.svg +cabal run bench -- --pattern '$2 == "countdown" && $3 == "3000"' --svg bench_countdown_3000.svg +cabal run bench -- --pattern '$2 == "filesize" && $3 == "1000"' --svg bench_filesize_1000.svg +cabal run bench -- --pattern '$2 == "filesize" && $3 == "2000"' --svg bench_filesize_2000.svg +cabal run bench -- --pattern '$2 == "filesize" && $3 == "3000"' --svg bench_filesize_3000.svg + +convert bench_countdown_1000.svg bench_countdown_1000.png +convert bench_countdown_2000.svg bench_countdown_2000.png +convert bench_countdown_3000.svg bench_countdown_3000.png +convert bench_filesize_1000.svg bench_filesize_1000.png +convert bench_filesize_2000.svg bench_filesize_2000.png +convert bench_filesize_3000.svg bench_filesize_3000.png + +rm bench_countdown_1000.svg +rm bench_countdown_2000.svg +rm bench_countdown_3000.svg +rm bench_filesize_1000.svg +rm bench_filesize_2000.svg +rm bench_filesize_3000.svg