[MLton] release candidate

Jesper Louis Andersen jesper.louis.andersen at gmail.com
Tue Aug 14 14:12:25 PDT 2007


And now with a x86-freebsd image. amd64/86_64 image to follow next.

On 8/14/07, Matthew Fluet <fluet at tti-c.org> wrote:
>
> On Mon, 13 Aug 2007, Jesper Louis Andersen wrote:
> > Ok, upped the x86-linux image. The x86-freebsd image is running
> regressions
> > at the moment.
>
> Thanks very much.
>
> > On 8/12/07, Jesper Louis Andersen <jesper.louis.andersen at gmail.com>
> wrote:
> >>
> >> It is going to take some time for the *-freebsd architectures. My old
> X24
> >> IBM thinkpad with 640 Mb of RAM has a hard time compiling without
> swapping
> >> and when
> >> it got the compile going, I missed about 5-10Mb of free space on /tmp.
> >> When that is
> >> finished, I will run the amd64-platform on Freebsd.
> >>
> >> On the x86-linux, I have a tar.gz ball however. It was easy to compile.
> >>
> >> On 8/10/07, Matthew Fluet <fluet at tti-c.org> wrote:
> >>>
> >>> On Fri, 10 Aug 2007, Jesper Louis Andersen wrote:
> >>>> I'll have the builds ready sometime tomorrow. I ponder what the
> >>> packaging
> >>>> procedure is? Should I just tar-ball the install dir?
> >>>
> >>> I've just been doing:
> >>>   make clean
> >>>   make
> >>>   make install
> >>>   cd install
> >>>   tar -czpvf mlton-20070809-1.arch-os.tgz usr/
> >>>
> >>> And that seems consistent with past releases.  And it is certainly
> good
> >>> enough for the release candidates right now; I'd just like
> confirmation
> >>> that things build on other systems.
> >>>
> >>>
> >>> Stephen will take care of pushing the release to Debian (which should
> >>> then
> >>> get picked up by Ubuntu) as an actual package.
> >>>
> >>> Adam Goode (I think) has been pushing things to Fedora.
> >>>
> >>> As for the *BSDs, I think FreeBSD is the only one we have an actual
> >>> port,
> >>> and Stephen, Geoffrey Mainland, and you are the maintainers there.  I
> >>> guess it would be nice to also check that the can easily be built as a
> >>> propery FreeBSD port.
> >>>
> >>> -Matthew
> >>>
> >>>>
> >>>> x86-linux is Ubuntu. The others are FreeBSD 6.2-STABLE machines.
> >>> FreeBSD 7.0
> >>>> will arrive somewhere around November 1st I think.
> >>>>
> >>>> On 8/10/07, Jesper Louis Andersen < jesper.louis.andersen at gmail.com>
> >>> wrote:
> >>>>>
> >>>>> I'll try getting images for:
> >>>>>
> >>>>> x86-linux,
> >>>>> x86-freebsd,
> >>>>> amd64-freebsd
> >>>>>
> >>>>> I guess the FreeBSD images are the most important.
> >>>>>
> >>>>> On 8/10/07, Matthew Fluet <fluet at tti-c.org> wrote:
> >>>>>>
> >>>>>>
> >>>>>> I've put a few binary builds (amd64-linux, powerpc-darwin,
> >>>>>> x86-darwin) up at:
> >>>>>>    http://www.mlton.org/Experimental
> >>>>>>
> >>>>>> I'm sure I can get an x86-linux build without too much difficulty,
> >>> but
> >>>>>> after that, I don't have immediate access to any other platforms.
> >>>>>>
> >>>>>> It would be a great help if interested parties could try building
> on
> >>>
> >>>>>> other
> >>>>>> platforms.
> >>>>>>
> >>>>>> _______________________________________________
> >>>>>> MLton mailing list
> >>>>>> MLton at mlton.org
> >>>>>> http://mlton.org/mailman/listinfo/mlton
> >>>>>>
> >>>>>>
> >>>>>
> >>>>
> >>>
> >>
> >>
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton/attachments/20070814/bd6b59fb/attachment.htm


More information about the MLton mailing list