[MLton-devel] Re: MLton 20020930 Debian packages

[Stephen Weeks]

> 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
http://lintian.debian.org/reports/tags.html).

> 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

	mlton_20021018.1-1.dsc
	mlton_20021018.1-1.tar.gz
	mlton_20021018.1-1_i386.changes
	mlton_20021018.1-1_i386.deb

at the MLton file release page

	http://sourceforge.net/project/showfiles.php?group_id=50419



-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel