[Omake] Large omake examples

[Benjamin Pierce]

> Welcome to the OMake mailing list!

We both knew I'd be joining sooner or later... :-)

> The biggest ones we have are the MetaPRL theorem prover and OMake  
> itself. If you want to take a look at MetaPRL's build system, you  
> can get a tarball from http://files.metaprl.org/ or use subversion  
> svn://svn.metaprl.org/metaprl or http://svn.metaprl.org/svnroot/ 
> mojave/metaprl (or browse at http://svn.metaprl.org/viewcvs/mojave/ 
> metaprl/). More detailed installation instructions are available at  
> http://metaprl.org/install.html

Excellent, thanks.  Pretty soon I may be able to offer Harmony as  
another (medium-sized) example.  I should probably get you to check  
my work first, though, to make sure I've done things in the best way!

> And, of course, please feel free to ask questions (and/or comment  
> on the lack of sufficient documentation ;-) ) on the list.

Will do!

Thanks again,

     - Benjamin