#!/usr/bin/env bash SCRIPT_DIR=$(dirname $0) STREAMLY_VERSION=0.8.0 BENCH_REPORT_DIR=benchmark/bench-report source $SCRIPT_DIR/targets.sh #------------------------------------------------------------------------------ # Script #------------------------------------------------------------------------------ print_help () { echo "Usage: $0 " echo " [--targets <"target1 target2 ..." | help>]" echo echo " [--quick]" echo " [--with-compiler ]" echo " [--cabal-build-options