Hi Helmut,
On Sep 29, 2025 at 12:06, Helmut Grohne wrote:
Back in May, you indicated that you'd be working on mlton. I
guess
something got in your way.
Yes, I spent a weekend on it in May, optimistic that the latest
upstream release would fix the issues I had faced last time I
tried getting the package into buildable shape. Unfortunately, no
matter how I attempted to build mlton (using mlton itself, sml-nj
or polyml), I ran into different FTBFS with each that seemed
unsurmountable.
I put in place build profiles for rebootstrapping mlton with smlnj
or polyml in case those approaches ever some day work (upstream
recommends bootstrapping mlton with binary blobs downloaded from
their website).
Do you have any estimate when that might happen or is it finally
time
to remove it from Debian?
I just tried building the current HEAD from the upstream Git
repository and managed to successfully build mlton from source on
barriere using mlton. I have a major work deadline on Friday, so
will not have time to do so before then, but I'm setting aside a
few hours next weekend to update the package to the latest
buildable mlton from upstream.
If this bug isn't closed by an upload by a month from today
(November 11), it's time to face the writing on the wall and throw
in the towel: you'll have my blessing to remove mlton.
Best wishes,
Ryan
--
|)|/ Ryan Kavanagh | 4E46 9519 ED67 7734 268F
|\|\ https://rak.ac | BD95 8F7B F8FC 4A11 C97A
