History | View | Annotate | Download (7.481 KB)
Bash scripts: centralized all 'library' functions in a single file
All copyright forms updated to 2020.
fixed a common typo in many shell scripts
Bash scripts: introduced a new function to check dependencies.This function is used by setup.sh to ensure that git, make, etc. are available.
README.txt updated; all Copyright notes updated to 2019
moved the compier/ and ide/ folders to a common folder tools/