[Ur] Installing From Source

[Yves Cloutier]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160325/2071af9c/attachment.html>