#! /bin/bash

FLAGS=+g

GC_DIR=$HOME/fptools/green-card/lib/hugs
#GC_DIR=$HOME/green-card/lib/hugs

ROBO_DIR=$HOME/RoboHaskell

SCOUT_DIR=$ROBO_DIR/scout

FROB_DIR=$SCOUT_DIR/Frob
ROBOGC_DIR=$SCOUT_DIR/GC
FRAN_DIR=$ROBO_DIR/Fran/src

#XVGC_DIR=$ROBO_DIR/XVision/GC
XVGC_DIR=.

$HOME/bin/hugs++ $FLAGS -P$XVGC_DIR:$FROB_DIR:$ROBOGC_DIR:$GC_DIR:$FRAN_DIR: -w $*

# if hugs crashes it tends to leave the terminal mangled
stty sane

exit 0
