#!/bin/sh
# run all current benchmarks (defined in Benchmarks.curry)
make
export PATH=~sicstus/sicstus4/bin:$PATH # for SICStus benchmarks
export SWIPL=~swiprolog/bin/swipl # for SWI-Prolog benchmarks
cd suite && ../Benchmarks $* 2>&1 | tee ../bench.log
