Download

OMake build system

• OMake home page
• OMake documentation
• Download OMake

Old Mojave Compiler (Source)

• v0.5.3 (tar.gz, Linux), MetaPRL snapshot
• v0.5.0 (tar.gz, Linux)
• Release notes (txt)
• Compiler introduction (txt)

TPHOLs-02 Revisions

• v0.5.1tphol02 (tar.gz, Linux) - Separate branch to test examples for TPHOL-02 paper.
• MetaPRL current snapshot (tar.gz, Linux) - Must install to test examples.
• Testing instructions

HICSS-36 Revisions

• v0.5.2hicss36 (tar.gz, Linux) - Separate branch to test examples for HICSS-36 paper.
• MetaPRL snapshot (tar.gz, Linux) - Must install to test examples.
• Testing instructions

RTA-03 Revisions

• v0.5.4rta03 (tar.gz, Linux) - Separate branch to compile UNITY programs
• MetaPRL snapshot (tar.gz, Linux) - Must install.
• LibMojave snapshot (tar.gz, Linux) - Must install.
• Installation instructions

System requirements

You must be running a recent version of Linux for the x86 architecture. Note, version 0.5.0 is a pre-alpha release. There are loose ends, and we're working on them! If you would like to comment, please send mail to prl@metaprl.org.

Installation Instructions

Installation instructions are available in the doc/compiler-intro.txt file, part of the source tree. You can also view the release notes at doc/release-notes.txt.