Scott Shambarger 07c40a27ea [scripts] Update antlr35_install to support non-sudo install, more options.
Added support for using curl in addition to wget. Added support for compiling
as non-root, and installing later as root w/o sudo.  Added GNU Make check.
Made all downloads and urls vars at top of script.  Added usage.
Allow cancelling downloads, or using exiting downloaded files (offline).
Allow setting any install prefix. Auto-detect if on 64bit OS.
Better handling of various errors.
2017-01-21 15:37:24 -05:00
..