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

AFP_BASE="$COMPONENT"
AFP="$AFP_BASE/thys"

isabelle_directory '$AFP_BASE'
isabelle_directory '$AFP'

AFP_BUILD_OPTIONS='-v -o browser_info -o "document=pdf" -o "document_variants=document:outline=/proof,/ML"'

ISABELLE_TOOLS="$ISABELLE_TOOLS:$AFP_BASE/tools/lib"

if [ -f "$AFP_BASE/etc/build.props" ]; then
  init_components "${ISABELLE_COMPONENTS_BASE:-$USER_HOME/.isabelle/contrib}" "$AFP_BASE/admin/components/afp"
fi