[MLton] Problems with gdtoa.tgz

[Brent Fulgham]

--- Stephen Weeks <sweeks@sweeks.com> wrote:
> % md5sum gdtoa.tgz
> 51dc3f5d9ef8912888df028734a6f1e1  gdtoa.tgz

Under Cygwin I get:

bfulgham@bfulgham ~/mlton/runtime
$ md5sum gdtoa.tgz
3cafd2277e481a1e3af2285b4598853e gdtoa.tgz

> 
> Here's the version of zcat I'm using on Cygwin
> 
> % zcat --version
> zcat 1.3.5
> (2002-09-30)

I'm on the same version:
$ zcat  --version
zcat 1.3.5
(2002-09-30)
Copyright 2002 Free Software Foundation


 
> With that, the following works fine.
> 
> % zcat gdtoa.tgz | tar xf -
> 

Looks like either my version of CVS is mangling the
file, or I'm retrieving the wrong thing.

This is out of CVS today:

In C:\Fulgham\Projects\mlton: cvs -q -z6 update -d -P
CVSROOT=:pserver:anonymous@cvs.mlton.org:/cvsroot/mlton

cvs update: Empty password used - try 'cvs login' with
a real password

P basis-library/integer/int-inf.sml
P basis-library/misc/basic.sml
P doc/changelog
P doc/user-guide/man-page.tex
P man/mlton.1
P runtime/gc.c
U runtime/gdtoa.tgz

Success, CVS operation completed

Not sure why this would differ from yours, unless the
Windows version of CVS (TurtleCVS) is doing something
screwy.

I'll try checking out again using the CYGWIN version
of CVS just in case some kind of character encoding
issue is the problem.

-Brent