From: Thomas Walker Lynch Date: Thu, 5 Dec 2024 04:23:19 +0000 (+0000) Subject: added resource to third party, which is .gitignored, checkin due to tool_shared/docum... X-Git-Url: https://git.reasoningtechnology.com/style/static/%7Bstyle.link%7D?a=commitdiff_plain;h=77ba682a61e6438f728e25365b2801bd8b340e46;p=Ariadne added resource to third party, which is .gitignored, checkin due to tool_shared/document change. --- diff --git a/document/see_also b/document/see_also new file mode 120000 index 0000000..24e6315 --- /dev/null +++ b/document/see_also @@ -0,0 +1 @@ +/var/user_data/Thomas-developer/Ariadne/tool_shared/third_party/resource/document \ No newline at end of file diff --git a/document/see_also.txt b/document/see_also.txt deleted file mode 100644 index 9c57879..0000000 --- a/document/see_also.txt +++ /dev/null @@ -1,6 +0,0 @@ -See also these important documents at the resource project, a single point -of maintenance for documents and scripts shared among the projects: - - https://github.com/Thomas-Walker-Lynch/resource/tree/core_developer_branch/document - - https://git.reasoningtechnology.com/?p=resource;a=tree;f=document;h=098de7aa481fa7950bd56a7a7858c616c6be9ea5;hb=refs/heads/core_developer_branch diff --git a/tester/document/see_also.txt b/tester/document/see_also.txt deleted file mode 100644 index f65f619..0000000 --- a/tester/document/see_also.txt +++ /dev/null @@ -1,8 +0,0 @@ - -See also these documents located at a single point of maintenance: - - https://git.reasoningtechnology.com/proem/home/?p=Mosaic;a=tree;f=tester/document;h=51b10aaa2d43d4ac591a83844471eb4093f988a4;hb=refs/heads/core_developer_branch - - https://github.com/Thomas-Walker-Lynch/Mosaic/tree/release_v1.0/tester/document - - jdb.txt - how to use jdb with the project diff --git a/tool_shared/bespoke/emacs.el b/tool_shared/bespoke/emacs.el deleted file mode 100644 index 5ca4331..0000000 --- a/tool_shared/bespoke/emacs.el +++ /dev/null @@ -1,52 +0,0 @@ - -; The first time Emacs encounters a link to a source file, Emacs asks if it should follow it. -; This might suppress that initial question and follow the link. -; (setq find-file-visit-truename t) - -(defun jdbx () - "Set gud-jdb-sourcepath from the environment and run jdb with the correct source path." - (interactive) - (let* - ( - (sourcepath (getenv "SOURCEPATH")) - ) - (if - sourcepath - (setq gud-jdb-sourcepath (split-string sourcepath ":" t)) - (message "Warning: SOURCEPATH is not set. `jdb` will run without source path information.") - ) - (let - ( - (class-name (read-string "Enter the class to debug: " "Test_Util")) - ) - (jdb (concat "jdb -sourcepath" - (if - sourcepath - (mapconcat 'identity gud-jdb-sourcepath ":") "" - ) - " " - class-name - ) - )))) - -(defun monitor-jdb-sourcepath (output) - "Monitor the jdb output for `sourcepath ARG` commands and update `gud-jdb-sourcepath` with each path in ARG." - (when - (string-match "sourcepath \\(.+\\)" output) - (let* - ( - (new-paths (match-string 1 output)) - (paths-list (split-string new-paths ":" t)) - ) - ;; Add each path in paths-list to gud-jdb-sourcepath if not already present - (dolist - (path paths-list) - (unless - (member path gud-jdb-sourcepath) - (setq gud-jdb-sourcepath (append gud-jdb-sourcepath (list path))) - ) - ) - (message "Updated gud-jdb-sourcepath: %s" gud-jdb-sourcepath))) - output) - -(add-hook 'gud-filter-functions 'monitor-jdb-sourcepath) diff --git a/tool_shared/document/#install_java.txt# b/tool_shared/document/#install_java.txt# deleted file mode 100644 index 0091eac..0000000 --- a/tool_shared/document/#install_java.txt# +++ /dev/null @@ -1,11 +0,0 @@ - -#1. downlaod - -cd "$REPO_HOME/tool/upstream" -curl -C - -o OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz https://github.com/adoptium/temurin11-binaries/releases/download/jdk-11.0.16+8/OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz - -#2. extract - -cd "$REPO_HOME/tool" -mkdir -p jdk-11 -tar -xzf "$REPO_HOME/tool/upstream/OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz" -C jdk-11 --strip-components 1 diff --git a/tool_shared/document/install.txt b/tool_shared/document/install.txt new file mode 100644 index 0000000..a584d92 --- /dev/null +++ b/tool_shared/document/install.txt @@ -0,0 +1,66 @@ +The Ariadne project uses these: + +1. resource - for additional docs and scripts + + https://github.com/Thomas-Walker-Lynch/resource/tree/core_developer_branch/document + https://git.reasoningtechnology.com/?p=resource;a=tree;f=document;h=098de7aa481fa7950bd56a7a7858c616c6be9ea5;hb=refs/heads/core_developer_branch + +> cd "$REPO_HOME/tool_shared/third_party/" +> git clone https://github.com/Thomas-Walker-Lynch/resource.git +> ln -s "$REPO_HOME/tool_shared/third_party/resource/document" see_also + +additional documents: resource/documents +emacs elisp files: resource/developer/emacs +additional tools: resource/developer + +> cd $REPO_HOME/document +> ln -s "$REPO_HOME/tool_shared/third_party/resource/document" see_also + +2. jdk - Ariadne is currently a Java project + + > cd "$REPO_HOME/tool_shared/third_party/upstream" + + # source for the 11 version, before upgrade to 23 + #curl -C - -o OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz https://github.com/adoptium/temurin11-binaries/releases/download/jdk-11.0.16+8/OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz + + I used a browser to download the 23 version: + https://www.oracle.com/java/technologies/downloads/ + OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz + + > cd .. + > tar -xzf upstream/jdk-23_linux-x64_bin.tar.gz + + edit $REPO_HOME/tool_shared/bespoke/env, and update JAVA_HOME: + + export JAVA_HOME="$REPO_HOME/tool_shared/third_party/jdk-23.0.1" + + +3. Mosaic - for testing + + > 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_Mosaic.txt b/tool_shared/document/install_Mosaic.txt deleted file mode 100644 index f078936..0000000 --- a/tool_shared/document/install_Mosaic.txt +++ /dev/null @@ -1,27 +0,0 @@ - -> 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_java.txt b/tool_shared/document/install_java.txt deleted file mode 100644 index c9e5743..0000000 --- a/tool_shared/document/install_java.txt +++ /dev/null @@ -1,11 +0,0 @@ - -#1. downlaod - -cd "$REPO_HOME/tool/upstream" -curl -C - -o OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz https://github.com/adoptium/temurin11-binaries/releases/download/jdk-11.0.16+8/OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz - -#2. extract - -cd "$REPO_HOME/tool" -mkdir jdk-11 -tar -xzf "$REPO_HOME/tool/upstream/OpenJDK11U-jdk_x64_linux_hotspot_11.0.16_8.tar.gz" -C jdk-11 --strip-components 1