<p>I'd be more than willing to set up a home brew formula. The script can still just pull the snapshots as it does. Shouldn't be too hard :).</p>
<div class="gmail_quote">On Jan 6, 2012 3:00 PM,  <<a href="mailto:rust-dev-request@mozilla.org">rust-dev-request@mozilla.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Send Rust-dev mailing list submissions to<br>
        <a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a><br>
<br>
To subscribe or unsubscribe via the World Wide Web, visit<br>
        <a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a><br>
or, via email, send a message with subject or body 'help' to<br>
        <a href="mailto:rust-dev-request@mozilla.org">rust-dev-request@mozilla.org</a><br>
<br>
You can reach the person managing the list at<br>
        <a href="mailto:rust-dev-owner@mozilla.org">rust-dev-owner@mozilla.org</a><br>
<br>
When replying, please edit your Subject line so it is more specific<br>
than "Re: Contents of Rust-dev digest..."<br>
<br>
<br>
Today's Topics:<br>
<br>
   1. Re:  Interfaces! (Graydon Hoare)<br>
   2.  Assistance with packages (Graydon Hoare)<br>
   3. Re:  Assistance with packages (Rust)<br>
   4. Re:  Assistance with packages (David Rajchenbach-Teller)<br>
   5. Re:  Assistance with packages (Kevin Cantu)<br>
   6. Re:  Typestate 2.0 ? (David Rajchenbach-Teller)<br>
<br>
<br>
----------------------------------------------------------------------<br>
<br>
Message: 1<br>
Date: Thu, 05 Jan 2012 15:30:32 -0800<br>
From: Graydon Hoare <<a href="mailto:graydon@mozilla.com">graydon@mozilla.com</a>><br>
To: <a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a><br>
Subject: Re: [rust-dev] Interfaces!<br>
Message-ID: <<a href="mailto:4F063298.6090001@mozilla.com">4F063298.6090001@mozilla.com</a>><br>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed<br>
<br>
On 12-01-05 06:14 AM, Marijn Haverbeke wrote:<br>
> Interfaces and implementations are mostly working now. They aren't<br>
> snapshotted yet, and there are some details such as binding methods<br>
> that don't work yet, but there should be enough implemented to play<br>
> with. Please file any bugs that you find in this, and assign them to<br>
> me.<br>
<br>
This is great work. Thanks so much! I'm excited to give them a spin and<br>
see how they work :)<br>
<br>
-Graydon<br>
<br>
<br>
------------------------------<br>
<br>
Message: 2<br>
Date: Thu, 05 Jan 2012 15:44:41 -0800<br>
From: Graydon Hoare <<a href="mailto:graydon@mozilla.com">graydon@mozilla.com</a>><br>
To: "<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>" <<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>><br>
Subject: [rust-dev] Assistance with packages<br>
Message-ID: <<a href="mailto:4F0635E9.8070402@mozilla.com">4F0635E9.8070402@mozilla.com</a>><br>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed<br>
<br>
We're approaching a first release (which will be somewhat quiet, but<br>
enough to get the "doing releases" ball rolling) and are in need of a<br>
little volunteer help, if possible, making packages.<br>
<br>
In particular, I wonder if anyone has experience making .deb, .rpm, and<br>
OSX .dmg packages (or homebrew files, for that matter), and feels like<br>
lending a hand here. The curious part of our distribution is of course<br>
that we're self-hosting so will require either building bootstrap<br>
packages or carrying snapshots or ... something.<br>
<br>
-Graydon<br>
<br>
<br>
------------------------------<br>
<br>
Message: 3<br>
Date: Fri, 6 Jan 2012 09:06:18 +0100 (CET)<br>
From: Rust <<a href="mailto:rust@kudling.de">rust@kudling.de</a>><br>
To: "<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>" <<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>>,      Graydon Hoare<br>
        <<a href="mailto:graydon@mozilla.com">graydon@mozilla.com</a>><br>
Subject: Re: [rust-dev] Assistance with packages<br>
Message-ID:<br>
        <<a href="mailto:389988184.129879.1325837178550.JavaMail.open-xchange@email.1und1.de">389988184.129879.1325837178550.JavaMail.open-xchange@email.1und1.de</a><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
Maybe we can benefit from looking at D's installers (Linux, OS X, Windows):<br>
<a href="https://github.com/D-Programming-Language/installer" target="_blank">https://github.com/D-Programming-Language/installer</a>?<br>
<br>
and<br>
?<br>
GHC's OS X<br>
installer:?<a href="https://github.com/gregorycollins/haskell-platform-osx-installer" target="_blank">https://github.com/gregorycollins/haskell-platform-osx-installer</a><br>
?<br>
I would not bother too much with a Homebrew formula.<br>
Someone in the Homewbrew community will write it ... and it will just install<br>
our OS X installer to the Homebrew prefix.<br>
?<br>
<br>
<br>
Graydon Hoare <<a href="mailto:graydon@mozilla.com">graydon@mozilla.com</a>> hat am 6. Januar 2012 um 00:44 geschrieben:<br>
<br>
> We're approaching a first release (which will be somewhat quiet, but<br>
> enough to get the "doing releases" ball rolling) and are in need of a<br>
> little volunteer help, if possible, making packages.<br>
><br>
> In particular, I wonder if anyone has experience making .deb, .rpm, and<br>
> OSX .dmg packages (or homebrew files, for that matter), and feels like<br>
> lending a hand here. The curious part of our distribution is of course<br>
> that we're self-hosting so will require either building bootstrap<br>
> packages or carrying snapshots or ... something.<br>
><br>
> -Graydon<br>
> _______________________________________________<br>
> Rust-dev mailing list<br>
> <a href="mailto:Rust-dev@mozilla.org">Rust-dev@mozilla.org</a><br>
> <a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a><br>
-------------- next part --------------<br>
An HTML attachment was scrubbed...<br>
URL: <<a href="http://mail.mozilla.org/pipermail/rust-dev/attachments/20120106/b6afdb29/attachment-0001.html" target="_blank">http://mail.mozilla.org/pipermail/rust-dev/attachments/20120106/b6afdb29/attachment-0001.html</a>><br>

<br>
------------------------------<br>
<br>
Message: 4<br>
Date: Fri, 06 Jan 2012 09:22:32 +0100<br>
From: David Rajchenbach-Teller <<a href="mailto:dteller@mozilla.com">dteller@mozilla.com</a>><br>
To: Rust <<a href="mailto:rust@kudling.de">rust@kudling.de</a>><br>
Cc: "<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>" <<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>><br>
Subject: Re: [rust-dev] Assistance with packages<br>
Message-ID: <<a href="mailto:4F06AF48.40703@mozilla.com">4F06AF48.40703@mozilla.com</a>><br>
Content-Type: text/plain; charset=UTF-8<br>
<br>
I can try and contribute with a .dmg.<br>
<br>
Cheers,<br>
 David<br>
<br>
<br>
------------------------------<br>
<br>
Message: 5<br>
Date: Fri, 6 Jan 2012 01:45:56 -0800<br>
From: Kevin Cantu <<a href="mailto:me@kevincantu.org">me@kevincantu.org</a>><br>
To: David Rajchenbach-Teller <<a href="mailto:dteller@mozilla.com">dteller@mozilla.com</a>><br>
Cc: "<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>" <<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>><br>
Subject: Re: [rust-dev] Assistance with packages<br>
Message-ID:<br>
        <<a href="mailto:CABq6%2BafnRhufZ54nNt9mQjjVy5fMFnhNzJZfTEK6P8KyU_sB-Q@mail.gmail.com">CABq6+afnRhufZ54nNt9mQjjVy5fMFnhNzJZfTEK6P8KyU_sB-Q@mail.gmail.com</a>><br>
Content-Type: text/plain; charset=ISO-8859-1<br>
<br>
I've got an .deb file uploaded here, that I've tested on at least one<br>
other amd64 Ubuntu system:<br>
<a href="http://kevincantu.org/archive/rust/install/binary-deb/" target="_blank">http://kevincantu.org/archive/rust/install/binary-deb/</a><br>
<br>
I've just winged this one for one architecture's .deb using the<br>
checkinstall tool.  Those D build scripts, however, are pretty cool.<br>
They takes binaries built for different architectures and wraps them<br>
up in properly formatted .deb or .rpm files.<br>
<br>
Tomorrow evening I'll look at that some more.  I also want to figure<br>
out how to set up an Ubuntu PPA to build and distribute from source...<br>
<br>
<br>
--<br>
Kevin Cantu<br>
Santa Barbara, CA<br>
<br>
<br>
<br>
On Fri, Jan 6, 2012 at 12:22 AM, David Rajchenbach-Teller<br>
<<a href="mailto:dteller@mozilla.com">dteller@mozilla.com</a>> wrote:<br>
> I can try and contribute with a .dmg.<br>
><br>
> Cheers,<br>
> ?David<br>
> _______________________________________________<br>
> Rust-dev mailing list<br>
> <a href="mailto:Rust-dev@mozilla.org">Rust-dev@mozilla.org</a><br>
> <a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a><br>
<br>
<br>
------------------------------<br>
<br>
Message: 6<br>
Date: Fri, 06 Jan 2012 15:55:41 +0100<br>
From: David Rajchenbach-Teller <<a href="mailto:dteller@mozilla.com">dteller@mozilla.com</a>><br>
To: David Herman <<a href="mailto:dherman@mozilla.com">dherman@mozilla.com</a>><br>
Cc: "<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>" <<a href="mailto:rust-dev@mozilla.org">rust-dev@mozilla.org</a>><br>
Subject: Re: [rust-dev] Typestate 2.0 ?<br>
Message-ID: <<a href="mailto:4F070B6D.7070808@mozilla.com">4F070B6D.7070808@mozilla.com</a>><br>
Content-Type: text/plain; charset="utf-8"<br>
<br>
If we wish to look at alternative type-checking mechanisms, linear<br>
typing might be a good candidate. Some variants of linear typing cover<br>
(small) subsets of dependent types (e.g. Camelot), other variants<br>
guarantee that garbage-collection is unrequired (e.g. LinearML).<br>
<br>
I know members of both teams, so if there is interest, I could try and<br>
set up a seminar/brownbag.<br>
<br>
Cheers,<br>
 David<br>
<br>
-------------- next part --------------<br>
A non-text attachment was scrubbed...<br>
Name: signature.asc<br>
Type: application/pgp-signature<br>
Size: 487 bytes<br>
Desc: OpenPGP digital signature<br>
URL: <<a href="http://mail.mozilla.org/pipermail/rust-dev/attachments/20120106/0dd9b9c2/attachment-0001.bin" target="_blank">http://mail.mozilla.org/pipermail/rust-dev/attachments/20120106/0dd9b9c2/attachment-0001.bin</a>><br>

<br>
------------------------------<br>
<br>
_______________________________________________<br>
Rust-dev mailing list<br>
<a href="mailto:Rust-dev@mozilla.org">Rust-dev@mozilla.org</a><br>
<a href="https://mail.mozilla.org/listinfo/rust-dev" target="_blank">https://mail.mozilla.org/listinfo/rust-dev</a><br>
<br>
<br>
End of Rust-dev Digest, Vol 19, Issue 7<br>
***************************************<br>
</blockquote></div>