improved install and environment scripts, some makefile changes
authorThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Wed, 31 Jul 2024 14:24:37 +0000 (14:24 +0000)
committerThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Wed, 31 Jul 2024 14:24:37 +0000 (14:24 +0000)
commite1ab80027f14a8f31ff867138b77d9c5ea427a6b
tree50eccc81b93954e890be1a80edfebbcc58ee13e7
parentd7a20319e863c9d8def47199ee04dd0908808fe2
improved install and environment scripts, some makefile changes
19 files changed:
developer/makefile
executor/clean.sh
executor/clean_ANTLR [new file with mode: 0755]
executor/clean_ANTLR.sh [deleted file]
executor/clean_Java [new file with mode: 0755]
executor/clean_Java.sh [deleted file]
executor/clean_upstream [new file with mode: 0755]
executor/clean_upstream.sh [deleted file]
executor/env_base [new file with mode: 0644]
executor/env_dev [new file with mode: 0644]
executor/env_pm [new file with mode: 0644]
executor/install [new file with mode: 0755]
executor/install.sh [deleted file]
executor/install_ANTLR [new file with mode: 0755]
executor/install_ANTLR.sh [deleted file]
executor/install_Java [new file with mode: 0755]
executor/install_Java.sh [deleted file]
executor/use_tool [deleted file]
lector/for_developers.md