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

NAPROCHE_HOME="$COMPONENT"

ISABELLE_NAPROCHE="$NAPROCHE_HOME/Isabelle"

if [ -d "$ISABELLE_NAPROCHE/Admin" ]; then
  init_component "$ISABELLE_NAPROCHE/Admin"
fi

NAPROCHE_EXE_DIR="$NAPROCHE_HOME/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}"
if "$NAPROCHE_EXE_DIR/Naproche" </dev/null >/dev/null 2>/dev/null
then
  NAPROCHE_EXE="$NAPROCHE_EXE_DIR/Naproche"
  ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$ISABELLE_NAPROCHE/Intro.thy"
fi

# Provers
NAPROCHE_EPROVER="$E_HOME/eprover"
NAPROCHE_SPASS="$SPASS_HOME/SPASS"
NAPROCHE_VAMPIRE="$VAMPIRE_HOME/vampire"

# Formalization directories
NAPROCHE_MATH="$NAPROCHE_HOME/math"
NAPROCHE_ARCHIVE="$NAPROCHE_MATH/archive"

# Platform-depending paths
NAPROCHE_FORMALIZATIONS="$(platform_path "$NAPROCHE_MATH")"
NAPROCHE_MATHHUB="$(platform_path "$NAPROCHE_ARCHIVE")"

classpath "$ISABELLE_NAPROCHE/naproche.jar"
