On Tue, Mar 29, 2016 at 1:02 PM, Adam Chlipala <[email protected]> wrote: > So is the conclusion here that anything should change about Ur/Web, or > is it reasonable to expect all Arch users to go through this script?
I don’t think Ur/Web should be in the business of working around inconsistencies between distributions. Ideally, Ur/Web would get packaged for Arch at some point, but until that happens, yes, I think it’s reasonable for Arch users to have to reconfigure their dynamic linker to pay attention to wherever they install Ur/Web. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
