[MLton-user] Package of latest release for Debian stable?

[Stephen Weeks]

> I've been unable to find on the web a MLton Debian package that will 
> work with Debian stable.
...
> Can anyone help me out in getting such a package?

I normally build the package using pbuilder to build in a clean Debian
unstable environment.  Unfortunately that won't work with Debian
stable because the build dependencies (e.g. on MLton itself) can't be
met.  So, rebuilding the package on Debian stable seems too hard.

One way to get what you want would be to fake the dependency list in
the control file of the existing binary package.  The script below
gives you an idea of what I mean.  I tried it out and was able to
install MLton in a Debian stable using the following

  apt-get install libgmp3-dev
  dpkg --install mlton_20040227-1_i386.deb

I haven't tested MLton 20040227 on Debian stable at all, but if it
works for you ...

----------------------------------------------------------------------

#!/bin/sh

set -e

pkg='mlton_20040227-1_i386'
deb="$pkg.deb"
control="$pkg/DEBIAN/control"
dpkg-deb --info $deb | grep 'Depends'
dpkg-deb --extract $deb $pkg
dpkg-deb --control $deb $pkg/DEBIAN
tmp='tmp'
sed 's/Depends.*/Depends: libc6 (>= 2.2.5-11.5), libgmp3-dev (>= 4.0.1)/'	\
	<$control >$tmp
mv $tmp $control
dpkg-deb --build $pkg
dpkg-deb --info $deb | grep 'Depends'