#!/bin/sh

set -e

exec runhugs -h1m -c68 \
-P/usr/share/green-card:/usr/share/hugs98/extensions:{Hugs}/lib:{Hugs}/lib/hugs:{Hugs}/lib/exts\
    GreenCard.lhs "$@"

