On Thu, Nov 18, 2021 at 12:44:21PM -0600, Henry Cejtin wrote:
> Has there ben any progress on getting MLton packaged for Debian?
Yes. The sticking point is that mlton requires itself or smlnj to
compile itself. The current version of mlton in the archives has been
uninstallable for years, so I've
Has there ben any progress on getting MLton packaged for Debian?
Is there anything I can do to help?
I haven't seen anything since Matthew Fluet's response.
On Sat, Oct 30, 2021 at 10:39 PM Ryan Kavanagh wrote:
>
> Package: mlton
> Version: 20100608-5.1
> Severity: serious
> Tags: upstream
>
Henry is correct that the MLton compiler (the runtime, basis library
implementation, and compiler proper) do not depend on ckit (or any of the
(re)distributed SML/NJ libraries), the benchmarks, or on mlnlffigen, nor
are those components required for using MLton (unless, of course, the
program
Your right, but I think (not on the basis of real knowledge) that
ml-nlffigen isn't used in either the compilation
of the MLton compiler, nor by the MLton compiler in compiling user
code. I thought that it was
for a MLton compiler user to use, and had been tweaked so that the
output was usable by
* Henry Cejtin:
> (I assume you meant ml-nlffigen.) ml-nlffigen is part of SML/NJ, not
> part of MLton.
/usr/bin/mlnlffigen is part of mlton-tools.
I believe the code generation requirements are different for MLton and
SML/NJ.
(I assume you meant ml-nlffigen.) ml-nlffigen is part of SML/NJ, not
part of MLton.
On Mon, Nov 1, 2021 at 8:34 AM Florian Weimer wrote:
>
> * Henry Cejtin:
>
> > As far as I know, the ckit stuff is just included because it needed
> > some tweaks to work under MLton.
> > I don't think that any
* Henry Cejtin:
> As far as I know, the ckit stuff is just included because it needed
> some tweaks to work under MLton.
> I don't think that any of "our" stuff depends on it.
I think mlnffigen needs ckit.
Again, I don't think that that is anything used either in MLton
construction or use.
I would tink that if the license can be found and is good enough, like
the ckit stuff, it could go in
a MLton non-free package. Otherwise, I guess just remove it.
Matthew?
On Sun, Oct 31, 2021 at 12:41 PM Ryan
On Sun, Oct 31, 2021 at 12:01:34PM -0500, Henry Cejtin wrote:
> I would think that the right solution would be to move it into a
> separate package, and that package would be part of the "non-free"
> world in Debian.
That would work from my point of view.
While we're discussing non-free files,
As far as I know, the ckit stuff is just included because it needed
some tweaks to work under MLton.
I don't think that any of "our" stuff depends on it.
I would think that the right solution would be to move it into a
separate package, and that package
would be part of the "non-free" world in
Package: mlton
Version: 20100608-5.1
Severity: serious
Tags: upstream
X-Debbugs-Cc: r...@debian.org
Since at least oldoldoldstable, the mlton sources have included non-free files.
In particular, the tarball lib/ckit-lib/ckit.tgz contains the files
ckit/src/parser/util/error.sml and
11 matches
Mail list logo
