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

MINISAT_HOME="$COMPONENT/${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"

ISABELLE_MINISAT="$MINISAT_HOME/minisat"
