[Ur] [PATCH] Static link to libmhash when -static parameter given

[Adam Chlipala]

Karn Kallio wrote:
> The Ur/Web compiler links to the libmhash dynamic library independent of the
> -static parameter being given to the compiler, which links only the liburweb
> statically.
>
> This patch makes the Ur/Web compiler also link libmhash statically with the -
> static flag.  The motivation is to have -static produce programs which can run
> on machines without a special Ur/Web installation ( considering libmhash as
> part of a Ur/Web installation because it is not likely to be found on many
> machines ).
>
> The goal is to use -static to produce executables which can be placed on
> shared hosting Linux servers with Apache CGI via FTP ... "bringing Ur to the
> world"
>    

Thanks, this seems like the right thing to do.  The patch is now in the 
public Mercurial repo.