[Ur] Ur/Web (and MLton) on OpenBSD

[Adam Chlipala]

On 06/17/2016 03:14 AM, ml at extensibl.com wrote:
> On Thu, 16 Jun 2016 17:40:35 -0400
> Adam Chlipala <adamc at csail.mit.edu> wrote:
>
>> Thanks for taking the initiative on this packaging!  Will your
>> packages appear in an official OpenBSD place soon?
> I certainly hope they will - I would really like to see them included
> into the upcoming release.

OK.  Should I wait until then to add a link from the Ur project front 
page?  If you think it will be pretty quick, then that seems like the 
easiest path.

>> It seemed to be required in Debian Linux when I started the project,
>> though it may not be required in recent versions anymore.
> It appears that ldconfig is still needed, according to the manual [1].
> Maybe someone is able to comment on that.
>
> [1]:
> https://www.debian.org/doc/debian-policy/ch-sharedlibs.html#s-ldconfig

Perhaps 'configure' could deduce whether 'ldconfig' is needed, with a 
parameter to override the choice.  I'd certainly be happy to accept a 
patch that handled this issue properly and portably!