#!/bin/bash
top=`dirname $0`
get-ghc-v() {
	ghc --version | sed -e "s/.* version/GHC/"
}
get-express-v() {
	ghc-pkg list express 2>/dev/null |
	grep " express-" |
	sed -e "s/^ *//" |
	tail -1
}
get-leancheck-v() {
	ghc-pkg list leancheck 2>/dev/null |
	grep " leancheck-" |
	sed -e "s/^ *//" |
	tail -1
}
(
	get-ghc-v
	get-express-v
	get-leancheck-v
	$top/benchmark "$@"
) | tee bench/runtime-$HOSTNAME