
| Msg # 65 of 15094 on ZZLI4416, Monday 10-12-25, 1:11 |
| From: RYAN KAVANAGH |
| To: HELMUT GROHNE |
| Subj: Bug#1103850: Should mlton be removed fro |
From: rak@rak.ac 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 --- SoupGate-Win32 v1.05 * Origin: you cannot sedate... all the things you hate (1:229/2) |
328,100 visits
(c) 1994, bbs@darkrealms.ca