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

if [ -d "$COMPONENT/$ISABELLE_PLATFORM64" ]; then
  SMBC_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
  SMBC_VERSION="0.4.1"
fi
