changeset 82020 | 62f3d9484034 |
parent 81782 | 66d487aa1b99 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/Find_Facts/lib/Tools/find_facts_server Thu Jan 30 13:16:51 2025 +0100 @@ -0,0 +1,11 @@ +#!/usr/bin/env bash +# +# DESCRIPTION: run server for Find_Facts + +isabelle scala_build || exit $? + +eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)" + +classpath "$SOLR_JARS" + +exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Server_Tool "$@"