[Ur] Ur Digest, Vol 85, Issue 5

[Yves Cloutier]

Thanks Adam. I have it running now!

On Fri, Mar 25, 2016 at 12:00 PM, <ur-request at impredicative.com> wrote:

> Send Ur mailing list submissions to
>         ur at impredicative.com
>
> 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
>         ur-request at impredicative.com
>
> You can reach the person managing the list at
>         ur-owner at impredicative.com
>
> 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 <yves.cloutier at gmail.com>
> To: ur at impredicative.com
> Subject: [Ur] Installing From Source
> Message-ID:
>         <CAGW=J5eArfKCmorZ+curLDyTQFG_dpJtC=
> bWfvgGCcUU0vmhPg at mail.gmail.com>
> 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 <adamc at csail.mit.edu>
> To: ur at impredicative.com
> Subject: Re: [Ur] Installing From Source
> Message-ID: <56F554C8.1020109 at csail.mit.edu>
> 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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
>
> ------------------------------
>
> End of Ur Digest, Vol 85, Issue 5
> *********************************
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160325/4a3b00d0/attachment.html>