--- /dev/null
+#!/bin/bash
+java com.ReasoningTechnology."Mosaic".Mosaic
--- /dev/null
+#!/bin/env bash
+script_afp=$(realpath "${BASH_SOURCE[0]}")
+
+# input guards
+
+ env_must_be="developer/tool🖉/env"
+ if [ "$ENV" != "$env_must_be" ]; then
+ echo "$(script_fp):: error: must be run in the $env_must_be environment"
+ exit 1
+ fi
+
+ cd "$REPO_HOME"/developer
+
+# list of classes that have main calls and get bash wrappers
+echo Mosaic
script_afp=$(realpath "${BASH_SOURCE[0]}")
# Removes all files found in the build directories. It asks no questions as to
-# how or why the files got there. Be especially careful with the 'shell'
-# directory if you have authored scripts for release, add a `shell-leaf`
-# directory instead of putting them in `shell`.
+# how or why the files got there. Be especially careful with the 'bash'
+# directory if you have authored scripts for release, add a `bash🖉`
+# directory instead of putting them in `bash`.
# input guards
env_must_be="developer/tool🖉/env"
# remove files
set -x
cd "$REPO_HOME"/developer
- rm_na -r scratchpad/*
+
+ # rm_na currently does not handle links correctly
+ rm -r scratchpad/*
+
rm_na jvm/*
- rm_na shell/*
+ rm_na bash/*
set +x
echo "$(script_fn) done."
# remove all files created by make's call to `javac`
# input guards
- env_must_be="developer/tool/env"
+ env_must_be="developer/tool🖉/env"
if [ "$ENV" != "$env_must_be" ]; then
echo "$(script_fp):: error: must be run in the $env_must_be environment"
exit 1
# input guards
- env_must_be="developer/tool/env"
+ env_must_be="developer/tool🖉/env"
if [ "$ENV" != "$env_must_be" ]; then
echo "$(script_fp):: error: must be run in the $env_must_be environment"
exit 1
# wrappers to clean (this list space separated list will grow)
- wrapper=$(shell_wrapper_list)
+ wrapper=$(bash_wrapper_list)
# remove files
cd "$REPO_HOME"/developer
rm -r scratchpad/com/ReasoningTechnology/"$PROJECT"
rm jvm/"$PROJECT".jar
- rm shell/{$wrapper}
+ rm bash/{$wrapper}
set +x
echo "$(script_fn) done."
# input guards
- env_must_be="developer/tool/env"
+ env_must_be="developer/tool🖉/env"
if [ "$ENV" != "$env_must_be" ]; then
echo "$(script_fp):: error: must be run in the $env_must_be environment"
exit 1
# things to clean
release_dir="$REPO_HOME"/release
- wrapper=$(shell_wrapper_list)
+ wrapper=$(bash_wrapper_list)
# remove files
set -x
cd "$REPO_HOME"/developer
rm -r scratchpad/com/ReasoningTechnology/"$PROJECT"
rm jvm/"$PROJECT".jar
- rm shell/{$wrapper}
+ rm bash/{$wrapper}
rm -f "$release_dir"/"$PROJECT".jar
rm -f "$release_dir"/{$wrapper}
set +x
# Input guards
- env_must_be="developer/tool/env"
+ env_must_be="developer/tool🖉/env"
if [ "$ENV" != "$env_must_be" ]; then
echo "$(script_fp):: error: must be run in the $env_must_be environment"
exit 1
echo "Package: $package_tree"
echo -n "Linking:"
- for source_file in javac/*.java; do
+ for source_file in javac🖉/*.java; do
echo -n " $(basename "$source_file")"
link_target="$package_tree/$(basename "$source_file")"
if [ ! -L "$link_target" ]; then
echo "Compiling files..."
set -x
- javac -g -d scratchpad javac/*.java
+ javac -g -d scratchpad javac🖉/*.java
set +x
if [ $? -ne 0 ]; then
echo "Compilation failed."
exit 1
fi
-echo "Creating shell wrappers..."
- mkdir -p shell
+echo "Creating bash wrappers..."
+ mkdir -p bash
# wrapper is a space separated list
- wrapper=$(shell_wrapper_list)
+ wrapper=$(bash_wrapper_list)
for file in $wrapper;do
- cat > shell/$file << EOL
+ cat > bash/$file << EOL
#!/bin/bash
java com.ReasoningTechnology."$PROJECT".$file
EOL
- chmod +x shell/$file
+ chmod +x bash/$file
done
echo "$(script_fp) done."
# script local environment
release_dir="$REPO_HOME/release"
- shell_dir="$REPO_HOME/developer/shell"
+ bash_dir="$REPO_HOME/developer/bash"
project_jar_fp="$REPO_HOME/developer/jvm/"$PROJECT".jar"
- wrapper=$(shell_wrapper_list)
+ wrapper=$(bash_wrapper_list)
if [ ! -d "$release_dir" ]; then
# Install the JAR file
install_file "$project_jar_fp" "$release_dir" "ug+r"
- # Install shell wrappers
+ # Install bash wrappers
for wrapper in $wrapper; do
- install_file "$shell_dir/$wrapper" "$release_dir" "ug+r+x"
+ install_file "$bash_dir/$wrapper" "$release_dir" "ug+r+x"
done
echo "$(script_fp) done."
+++ /dev/null
-#!/bin/env bash
-script_afp=$(realpath "${BASH_SOURCE[0]}")
-
-# input guards
-
- env_must_be="developer/tool🖉/env"
- if [ "$ENV" != "$env_must_be" ]; then
- echo "$(script_fp):: error: must be run in the $env_must_be environment"
- exit 1
- fi
-
- cd "$REPO_HOME"/developer
-
-# list of classes that have main calls and get shell wrappers
-echo Mosaic
source env_administrator
----------------------------------------
-RT-project-share
+General notes on third party tools
-This pulls in documents and commonly used scripts. The project has symbolic links
-into RT-icommon, so this is not optional.
+A project will have paths and/or symbolic links pointing into the third party
+tools, so as to make use of them.
-If the project is installed on you system, perhaps so that it can be shared
-with many projects without duplicating it:
+The contents of the third_party directory is .gititnored, though the upstream
+directory has its own gitignore.
+
+If you already have the project installed, perhaps because you
+are working on it, then a new install is not needed, rather the
+existing install can be linked, for example for RT-project-share:
ln -snf ~/RT-project-share "$REPO_HOME"/tool_shared/third_party
-If you want a local install:
+Otherwise, follow the directions below to make a local
+install of the third party tool.
+
+----------------------------------------
+RT-project-share
+
+This pulls in documents and commonly used scripts. The project has symbolic links
+into RT-icommon, so this is not optional.
cd "$REPO_HOME/tool_shared/third_party/"
git clone https://github.com/Thomas-Walker-Lynch/RT-project-share.git
projects / Mosaic / commitdiff
