[Ur] Installing From Source

[Adam Chlipala]

That's a source distribution.  You can install it following the 
directions in Section 2 of the manual:
     http://www.impredicative.com/ur/manual.pdf

On 03/25/2016 11:05 AM, Yves Cloutier wrote:
> Hello, I recently moved from a Debian system to a Arch system and am 
> struggling to get UrWeb on this new system
>
> I downloaded and extracted the tar from the website:
>
> http://www.impredicative.com/ur/urweb-20160306.tgz
>
> However I'm not sure how to go from here.
>
> Should I be able to use as is, or do I need to compile from source?
>
> If so how would I do that?
>
> Regards,
>
> yc