[MLton-devel] Re: MLton 20020930 Debian packages
Fri, 18 Oct 2002 12:32:44 -0700
> Anyway, it was compiled on a "stable" system so the library dependency
> is old, which is not a real problem.
> For some reason there is no automatically generated versioned
> dependency on libgmp3. Will this work with an older version of
> libgmp3 than the one it was compiled with, eg pre-4.x ? Ermm...
OK. I explicitly changed the dependency and rebuilt on a testing
machine. The depends line now reads:
Depends: libc6 (>= 2.2.5-13), libgmp3-dev (>= 4.0.1)
> But there is also code in the postinst to make a link in /usr/doc/,
> which generates a warning in a more modern lintian.
Yeah, that's still there even after building in a testing
environment. But it looks like almost every package gets that
warning, so I don't think it's a MLton problem (see the
postinst-should-not-set-usr-doc-link tag at
> And, why build dependencies on lintian and devscripts? They're not
> really needed to generate the .deb file, I don't think ...
Agreed. I removed them.
> For the next release, you might want to rebuild in a "testing" or
> "unstable" environment.
Done. I've put a the files for a new Debian release
at the MLton file release page
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list