[Ur] Nix-based Ur/Web building system

Adam Chlipala adamc at csail.mit.edu
Fri Aug 26 11:57:43 EDT 2016


Thanks for sharing this code!

I have to admit, I remain unconvinced that there's any need for 
preprocessors or fancy build systems in general.  It seems to fine to me 
to include Git submodules for all dependencies and write a Makefile that 
dispatches to each of their Makefiles.

On 08/26/2016 08:58 AM, Sergey Mironov wrote:
> Hi. Recently I repaired and document a build system for Ur/Web
> applications called urweb-build. The goal of this project is to
> develop safe, reliable and scalable method of building Ur/Web
> applications and libraries.
>
> https://github.com/grwlf/urweb-build



More information about the Ur mailing list