From: Thomas Walker Lynch <xtujpz@reasoningtechnology.com>
Date: Tue, 5 Nov 2024 03:56:19 +0000 (+0000)
Subject: Mosaic install, doc and env mods
X-Git-Url: https://git.reasoningtechnology.com/usr/lib/python2.7/encodings/iso8859_13.py?a=commitdiff_plain;h=b04e27fc7d5cd3ec005d8daad8f20cd0782f2919;p=Ariadne

Mosaic install, doc and env mods
---

diff --git a/tester/tool/env b/tester/tool/env
index e73741c..ba029ae 100644
--- a/tester/tool/env
+++ b/tester/tool/env
@@ -21,10 +21,12 @@ export PATH=\
 "$REPO_HOME"/tester/tool/\
 :"$REPO_HOME"/tool_shared/bespoke/\
 :"$JAVA_HOME"/bin\
+:"$MOSAIC_HOME"\
 :"$PATH"
 
 export CLASSPATH=\
 "$JAVA_HOME"/lib\
+:"$MOSAIC_HOME"/Mosaic.jar\
 :"$REPO_HOME"/release/"$PROJECT".jar\
 :"$REPO_HOME"/tester/jvm/Test_"$PROJECT".jar\
 :"$CLASSPATH"
diff --git a/tool_shared/bespoke/env b/tool_shared/bespoke/env
index 4fa561b..2c99986 100644
--- a/tool_shared/bespoke/env
+++ b/tool_shared/bespoke/env
@@ -30,6 +30,7 @@ fi
 # The project administrator sets up the following tools for all roles to use:
 #
   export JAVA_HOME="$REPO_HOME/tool_shared/third_party/jdk-11"
+  export MOSAIC_HOME="$REPO_HOME/tool_shared/third_party/Mosaic/release"
 
 # --------------------------------------------------------------------------------
 # the following functions are provided for other scripts to use.
diff --git a/tool_shared/document/install_Mosaic.txt b/tool_shared/document/install_Mosaic.txt
new file mode 100644
index 0000000..f078936
--- /dev/null
+++ b/tool_shared/document/install_Mosaic.txt
@@ -0,0 +1,27 @@
+
+> cd $REPO_HOME/tool_shared/third_party
+> git clone https://github.com/Thomas-Walker-Lynch/Mosaic.git
+
+edit $REPO_HOME/tool_shared/bespoke/env, and add Mosaic:
+
+  export MOSAIC_HOME="$REPO_HOME/tool_shared/third_party/Mosaic/release"
+
+
+edit $REPO_HOME/tester/tool/env, and add Mosaic
+
+  export PATH=\
+  "$REPO_HOME"/tester/tool/\
+  :"$REPO_HOME"/tool_shared/bespoke/\
+  :"$JAVA_HOME"/bin\
+  :"$MOSAIC_HOME"\
+  :"$PATH"
+
+  export CLASSPATH=\
+  "$JAVA_HOME"/lib\
+  :"$MOSAIC_HOME"/Mosaic.jar\
+  :"$REPO_HOME"/release/"$PROJECT".jar\
+  :"$REPO_HOME"/tester/jvm/Test_"$PROJECT".jar\
+  :"$CLASSPATH"
+
+
+
diff --git a/tool_shared/document/install_groovy.txt b/tool_shared/document/install_groovy.txt
deleted file mode 100644
index 76ec07e..0000000
--- a/tool_shared/document/install_groovy.txt
+++ /dev/null
@@ -1,29 +0,0 @@
-
-1. Docs
-  https://groovy-lang.org/documentation.html
-
-2. Install from source
-
-  # 1.1 Download
-
-    # https://dlcdn.apache.org/groovy/
-
-    cd $REPO_HOME/toolsmith/upstream
-    wget https://dlcdn.apache.org/groovy/4.0.23/sources/apache-groovy-src-4.0.23.zip
-
-  # 1.2 then build them ;-)
-
-2. Install binaries
-
-  #!/usr/bin/env bash
-
-  # Define version of Groovy to be installed
-  version="4.0.9"
-
-  # 2.1 Download using curl
-  cd "$REPO_HOME/toolsmith/upstream"
-  curl -o apache-groovy-binary-${version}.zip https://groovy.jfrog.io/artifactory/dist-release-local/groovy-zips/apache-groovy-binary-${version}.zip
-
-  # 2.2 Extract
-  cd "$REPO_HOME/tools"
-  unzip "$REPO_HOME/tools/upstream/apache-groovy-binary-${version}.zip" -d .