#-*- shell-script -*- :mode=shellscript:

if [ -d "$COMPONENT/$ISABELLE_PLATFORM64" ]; then
  NUNCHAKU_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
  NUNCHAKU_VERSION="0.5"
fi
