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
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
