#!/bin/bash
PATH=./bin/:/home/marche/jdk1.5.0_02/bin/:$PATH
HASKELL_IMPORT_PATH=$(pwd)/../tpdb/FP/full_haskell/imports/
java -ea -Xmx700m -jar aprove.jar $* -P$HASKELL_IMPORT_PATH