Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

pipe benchmark result to diff directly

Browse source
This commit is contained in:
Hongrui Fang 2022-08-05 17:51:58 +08:00
parent 8f3423c451
commit 968409cf34
No known key found for this signature in database
GPG key ID: 1E0454204FC7D755
3 changed files with 26 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

12
Makefile
View file

@ -57,18 +57,12 @@ PS_BRIDGE_OUTPUT_DIR := agora-purescript-bridge/
ps_bridge:
cabal run exe:agora-purescript-bridge -- -o $(PS_BRIDGE_OUTPUT_DIR)
BENCH_OUTPUT = "bench.csv"
bench:
cabal run agora-bench
cabal run agora-bench -- -o $(BENCH_OUTPUT)
BENCH_TMPDIR := $(shell mktemp -d)
BENCH_TMPFILE := $(BENCH_TMPDIR)/bench.csv
bench_check:
(cabal run agora-bench -- -o "$(BENCH_TMPFILE)" \
|| $(bench) -o "$(BENCH_TMPFILE)") >> /dev/null
diff bench.csv $(BENCH_TMPFILE) \
|| (echo "bench.csv is outdated"; exit 1)
# TODO: do the clean-up even if `diff` fails.
rm -rf $(BENCH_TMPDIR)
cabal -v0 new-run agora-bench | diff bench.csv -
scripts:
cabal run agora-scripts -- -c