<div dir="ltr">Thanks Adam. I have it running now!<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Mar 25, 2016 at 12:00 PM,  <span dir="ltr"><<a href="mailto:ur-request@impredicative.com" target="_blank">ur-request@impredicative.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Send Ur mailing list submissions to<br>
        <a href="mailto:ur@impredicative.com">ur@impredicative.com</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
or, via email, send a message with subject or body 'help' to<br>
        <a href="mailto:ur-request@impredicative.com">ur-request@impredicative.com</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:ur-owner@impredicative.com">ur-owner@impredicative.com</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Ur digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
   1. Installing From Source (Yves Cloutier)<br>
   2. Re: Installing From Source (Adam Chlipala)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Fri, 25 Mar 2016 11:05:16 -0400<br>
From: Yves Cloutier <<a href="mailto:yves.cloutier@gmail.com">yves.cloutier@gmail.com</a>><br>
To: <a href="mailto:ur@impredicative.com">ur@impredicative.com</a><br>
Subject: [Ur] Installing From Source<br>
Message-ID:<br>
        <CAGW=J5eArfKCmorZ+curLDyTQFG_dpJtC=<a href="mailto:bWfvgGCcUU0vmhPg@mail.gmail.com">bWfvgGCcUU0vmhPg@mail.gmail.com</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Hello, I recently moved from a Debian system to a Arch system and am<br>
struggling to get UrWeb on this new system<br>
<br>
I downloaded and extracted the tar from the website:<br>
<br>
<a href="http://www.impredicative.com/ur/urweb-20160306.tgz" rel="noreferrer" target="_blank">http://www.impredicative.com/ur/urweb-20160306.tgz</a><br>
<br>
However I'm not sure how to go from here.<br>
<br>
Should I be able to use as is, or do I need to compile from source?<br>
<br>
If so how would I do that?<br>
<br>
Regards,<br>
<br>
yc<br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="http://www.impredicative.com/pipermail/ur/attachments/20160325/2071af9c/attachment-0001.html" rel="noreferrer" target="_blank">http://www.impredicative.com/pipermail/ur/attachments/20160325/2071af9c/attachment-0001.html</a>><br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Fri, 25 Mar 2016 11:10:00 -0400<br>
From: Adam Chlipala <<a href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a>><br>
To: <a href="mailto:ur@impredicative.com">ur@impredicative.com</a><br>
Subject: Re: [Ur] Installing From Source<br>
Message-ID: <<a href="mailto:56F554C8.1020109@csail.mit.edu">56F554C8.1020109@csail.mit.edu</a>><br>
Content-Type: text/plain; charset=windows-1252; format=flowed<br>
<br>
That's a source distribution.  You can install it following the<br>
directions in Section 2 of the manual:<br>
     <a href="http://www.impredicative.com/ur/manual.pdf" rel="noreferrer" target="_blank">http://www.impredicative.com/ur/manual.pdf</a><br>
<br>
On 03/25/2016 11:05 AM, Yves Cloutier wrote:<br>
> Hello, I recently moved from a Debian system to a Arch system and am<br>
> struggling to get UrWeb on this new system<br>
><br>
> I downloaded and extracted the tar from the website:<br>
><br>
> <a href="http://www.impredicative.com/ur/urweb-20160306.tgz" rel="noreferrer" target="_blank">http://www.impredicative.com/ur/urweb-20160306.tgz</a><br>
><br>
> However I'm not sure how to go from here.<br>
><br>
> Should I be able to use as is, or do I need to compile from source?<br>
><br>
> If so how would I do that?<br>
><br>
> Regards,<br>
><br>
> yc<br>
<br>
<br>
<br>
------------------------------<br>
<br>
Subject: Digest Footer<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
<br>
<br>
------------------------------<br>
<br>
End of Ur Digest, Vol 85, Issue 5<br>
*********************************<br>
</blockquote></div><br></div>