|ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer|
ERC32 Ada is copyrighted commercial non-proprietary software.
The ERC32 Ada compiler and associated toolset are based on software from the Free Software Foundation, Cambridge, MA, and are supplied under their license. The ERC32 Ada run-time system and libraries are supplied under a special library license.
ERC32 Ada 95 is supplied under the General Public License, which is included on the CD-ROM.
This license requires us to make the source code available so that users are not prohibited from making further modifications.
Ready-to-install binary versions of the compiler, that have been thoroughly tested, are available for a fee.
The terms and conditions of the license permit you to copy the source or the binary versions, and to pass these to a third party, providing you do this on the same terms an condition under which the source or binary versions were supplied to you.