24 PM John David Anglin wrote:
>
> Same issue with Linux overcommit turned off. The machine is not running out
> of memory and
> there is lots of swap (40G).
>
> Don't really know what's causing segfault.
>
> On 2022-01-06 3:27 p.m., Henry Cejtin wrote:
> >
Does the line
[161519.338536] do_page_fault() command='mlton-compile' type=15
address=0x0002 in mlton-compile[1+12c9000]
mean it is trying to fetch from address 2???
On Thu, Jan 6, 2022 at 2:18 PM John David Anglin wrote:
>
> Some additional info:
> [161513.075587] mlton-compile(27627
MLton understands about running out of memory, so it shouldn't just segfault.
If it isn't too hard, could you try it with Linux overcommit turned off?
On Thu, Jan 6, 2022 at 1:57 PM John David Anglin wrote:
>
> Source: mlton
> Version: 20130715-3
> Severity: normal
>
> Dear Maintainer,
>
> Becaus
I built the pdf guide a while ago, and I noticed a few problems that I
managed to work around.
One point is that you need to have lots of other packages installed, and
if you don't, it doesn't say anything clear.
I installed all of the following to make it work:
asciidoc
texlive-full
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
> X-D
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
(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.
>
Ryan Kavanagh wrote:
>
> 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.
>
> Tha
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 Debi
Thanks a million for your working on this.
It was so nice when I could just do
apt-get install mlton
On Sat, Oct 30, 2021 at 11:15 AM Ryan Kavanagh wrote:
>
> As a status update: package salvaging is still in progress. The main
> roadblock is updating the copyright file. Also, some of the ben
That would be fantastic.
Although I live on Debian systems, I don't really know anything about
making Debian packages.
I was looking at what it took and it was more than I could do.
The best thing would be some kind of script to go from the Git
repository to the package.
I looked at the difference
Thanks a million. I was getting worried that I hadn't seen any response.
Is there any discussion going on any mailing list re MLton, because I haven't
gotten any thing in ages.
Thanks again.
On Tue, 6/25/13, Wesley W. Terpstra wrote:
Subject: Bug#
12 matches
Mail list logo
