[Omake] Large omake examples

[Aleksey Nogin]

Hi Benjamin,

Welcome to the OMake mailing list!

On 07.06.2006 07:03, Benjamin Pierce wrote:

> OK, I've finally taken the plunge and am experimenting with  converting 
> the Harmony system (http://www.seas.upenn.edu/~harmony) to  use OMake 
> instead of GNU make.  In the process, I'm running up  against numerous 
> points where OMake's view of the world is  sufficiently different from 
> make's that it is not clear how a  particular bit of functionality 
> should best be implemented.   Sometimes I can guess, and sometimes 
> reading the built-in .om files  helps, but often I'm still left with 
> questions.  It would be very  useful to have more examples to look at -- 
> especially examples drawn  from big, multi-directory projects.
> 
> Anybody got any of these to share?
> 
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

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

-- 
Aleksey Nogin

Home Page: http://nogin.org/
E-Mail: nogin at cs.caltech.edu (office), aleksey at nogin.org (personal)
Office: Moore 04, tel: (626) 395-2200