platypus_script revision 43f979d9b97b04d1ce6e76c81ec0d71560324e4e
#!/bin/sh -e
export PATH=`pwd`/uDrawGraph-3.1/bin:$PATH
export HETS_LIB=`pwd`/Hets-lib
./hets -v2 -g $@