more standard directory structure;
authorwenzelm
Thu, 30 Jan 2025 13:16:51 +0100
changeset 82020 62f3d9484034
parent 82019 374db8f35939
child 82021 cd3026c7d3bd
more standard directory structure;
src/Tools/Find_Facts/Tools/find_facts_index
src/Tools/Find_Facts/Tools/find_facts_server
src/Tools/Find_Facts/etc/settings
src/Tools/Find_Facts/lib/Tools/find_facts_index
src/Tools/Find_Facts/lib/Tools/find_facts_server
--- a/src/Tools/Find_Facts/Tools/find_facts_index	Thu Jan 30 13:13:21 2025 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-#
-# DESCRIPTION: index sessions 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_Index_Tool "$@"
--- a/src/Tools/Find_Facts/Tools/find_facts_server	Thu Jan 30 13:13:21 2025 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/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 "$@"
--- a/src/Tools/Find_Facts/etc/settings	Thu Jan 30 13:13:21 2025 +0100
+++ b/src/Tools/Find_Facts/etc/settings	Thu Jan 30 13:16:51 2025 +0100
@@ -4,4 +4,4 @@
 FIND_FACTS_HOME_USER="$ISABELLE_HOME_USER/find_facts"
 FIND_FACTS_INDEXES=""
 
-ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/Tools"
+ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/lib/Tools"
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Find_Facts/lib/Tools/find_facts_index	Thu Jan 30 13:16:51 2025 +0100
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+#
+# DESCRIPTION: index sessions 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_Index_Tool "$@"
--- /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 "$@"