Thanks Adam. I have it running now! On Fri, Mar 25, 2016 at 12:00 PM, <[email protected]> wrote:
> Send Ur mailing list submissions to > [email protected] > > To subscribe or unsubscribe via the World Wide Web, visit > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > or, via email, send a message with subject or body 'help' to > [email protected] > > You can reach the person managing the list at > [email protected] > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Ur digest..." > > > Today's Topics: > > 1. Installing From Source (Yves Cloutier) > 2. Re: Installing From Source (Adam Chlipala) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 25 Mar 2016 11:05:16 -0400 > From: Yves Cloutier <[email protected]> > To: [email protected] > Subject: [Ur] Installing From Source > Message-ID: > <CAGW=J5eArfKCmorZ+curLDyTQFG_dpJtC= > [email protected]> > Content-Type: text/plain; charset="utf-8" > > 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-0001.html > > > > ------------------------------ > > Message: 2 > Date: Fri, 25 Mar 2016 11:10:00 -0400 > From: Adam Chlipala <[email protected]> > To: [email protected] > Subject: Re: [Ur] Installing From Source > Message-ID: <[email protected]> > Content-Type: text/plain; charset=windows-1252; format=flowed > > 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 > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur > > > ------------------------------ > > End of Ur Digest, Vol 85, Issue 5 > ********************************* >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
