Bug#998156: contains non-DFSG-free files
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-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 ckit/src/parser/util/error-sig.sml. These > files are: > > (* > * Copyright (c) 1996 by Satish Chandra, Brad Richards, Mark D. Hill, > * James R. Larus, and David A. Wood. > * > * Teapot is distributed under the following conditions: > * > * You may make copies of Teapot for your own use and modify those copies. > * > * All copies of Teapot must retain our names and copyright notice. > * > * You may not sell Teapot or distributed Teapot in conjunction with a > * commercial product or service without the expressed written consent of > * the copyright holders. > * > * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED > * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF > * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. > * > *) > > The restriction on distribution in conjunction with a commercial product > or service is in violation of point 6 of the DFSG. > > See also the related bug against SML/NJ: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=998154 > > -- System Information: > Debian Release: bookworm/sid > APT prefers unstable-debug > APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, > 'experimental-debug'), (1, 'experimental') > Architecture: amd64 (x86_64) > Foreign Architectures: i386 > > Kernel: Linux 5.14.0-1-amd64 (SMP w/4 CPU threads) > Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, > TAINT_UNSIGNED_MODULE > Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE not > set > Shell: /bin/sh linked to /bin/dash > Init: systemd (via /run/systemd/system) > LSM: AppArmor: enabled > > Versions of packages mlton depends on: > ii mlton-compiler 20130715-3 > ii mlton-doc 20130715-3 > ii mlton-tools 20130715-3 > > mlton recommends no packages. > > mlton suggests no packages. > > -- no debconf information > > -- > |)|/ Ryan Kavanagh | 4E46 9519 ED67 7734 268F > |\|\ https://rak.ac | BD95 8F7B F8FC 4A11 C97A
Bug#998156: contains non-DFSG-free files
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 MLton. I certainly could be wrong about this.
Bug#998156: contains non-DFSG-free files
(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 of "our" stuff depends on it. > > I think mlnffigen needs ckit.
Bug#998156: contains non-DFSG-free files
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 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. > > That would work from my point of view. > > While we're discussing non-free files, I've found the following > problematic source files so far. Is there anything to indicate that they > can be distributed at all, let alone under the HPND or some other free > license? They're all benchmarks, so they could probably be dropped > without too much impact... > > * benchmark/tests/md5.sml: > Copyright (C) 2001 Daniel Wang. All rights reserved. > > The "All rights reserved" bit and the lack of any licensing > information makes me skeptical that the file can be distributed at > all. It could be replaced by Tom7's implementation if you want a > crypto benchmark: > https://github.com/LenaWil/tom7/tree/master/sml-lib/crypt/MD5 > > * benchmark/tests/DATA/chess.gml: > Copyright Leif Kornstaedt, 2000 > > This looks like it was taken from an ICFP programming content > submission, with no clear licensing information: > https://www.ps.uni-saarland.de/helikopter/2000/ > > * benchmark/tests/zern.sml > COPYRIGHT (c) 1998 D.McClain/MCFA > > This looks like it was taken from > > https://web.archive.org/web/20010215003107/http://www.azstarnet.com/~dmcclain/LanguageStudy.html > with no clear licensing information. > > I'll update this bug report with any other files I find. > > Best, > Ryan > > -- > |)|/ Ryan Kavanagh | 4E46 9519 ED67 7734 268F > |\|\ https://rak.ac | BD95 8F7B F8FC 4A11 C97A
Bug#998156: contains non-DFSG-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 Debian. Matthew: am I correct? On Sat, Oct 30, 2021 at 10:39 PM Ryan Kavanagh wrote: > > 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 ckit/src/parser/util/error-sig.sml. These > files are: > > (* > * Copyright (c) 1996 by Satish Chandra, Brad Richards, Mark D. Hill, > * James R. Larus, and David A. Wood. > * > * Teapot is distributed under the following conditions: > * > * You may make copies of Teapot for your own use and modify those copies. > * > * All copies of Teapot must retain our names and copyright notice. > * > * You may not sell Teapot or distributed Teapot in conjunction with a > * commercial product or service without the expressed written consent of > * the copyright holders. > * > * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED > * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF > * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. > * > *) > > The restriction on distribution in conjunction with a commercial product > or service is in violation of point 6 of the DFSG. > > See also the related bug against SML/NJ: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=998154 > > -- System Information: > Debian Release: bookworm/sid > APT prefers unstable-debug > APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, > 'experimental-debug'), (1, 'experimental') > Architecture: amd64 (x86_64) > Foreign Architectures: i386 > > Kernel: Linux 5.14.0-1-amd64 (SMP w/4 CPU threads) > Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, > TAINT_UNSIGNED_MODULE > Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8), LANGUAGE not > set > Shell: /bin/sh linked to /bin/dash > Init: systemd (via /run/systemd/system) > LSM: AppArmor: enabled > > Versions of packages mlton depends on: > ii mlton-compiler 20130715-3 > ii mlton-doc 20130715-3 > ii mlton-tools 20130715-3 > > mlton recommends no packages. > > mlton suggests no packages. > > -- no debconf information > > -- > |)|/ Ryan Kavanagh | 4E46 9519 ED67 7734 268F > |\|\ https://rak.ac | BD95 8F7B F8FC 4A11 C97A
Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const'
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 wes...@terpstra.ca wrote: Subject: Bug#707410: mlton: FTBFS: gc/int-inf.c:180:43: error: unknown type name '__gmp_const' To: Sebastian Ramacher sramac...@debian.org, 707...@bugs.debian.org Date: Tuesday, June 25, 2013, 12:06 PM Yes, I also have a patch, but the next MLton is due out shortly and it includes the patch. I am just waiting for the release. On Tue, Jun 25, 2013 at 6:53 PM, Sebastian Ramacher sramac...@debian.org wrote: Control: tags -1 + patch upstream fixed-upstream Control: forwarded -1 https://github.com/MLton/mlton/issues/3 On 2013-05-09 10:09:15, Lucas Nussbaum wrote: Relevant part: gcc -std=gnu99 -I. -Iplatform -fno-common -fvisibility=hidden -m64 -O2 -fomit-frame-pointer -pedantic -Wall -Wextra -Wformat=2 -Wswitch-default -Wswitch-enum -Wuninitialized -Winit-self -Wstrict-aliasing=2 -Wfloat-equal -Wundef -Wshadow -Wpointer-arith -Wbad-function-cast -Wcast-qual -Wwrite-strings -Waggregate-return -Wstrict-prototypes -Wold-style-definition -Wmissing-prototypes -Wmissing-declarations -Wmissing-field-initializers -Wmissing-noreturn -Wmissing-format-attribute -Wredundant-decls -Wnested-externs -Wdisabled-optimization -c -o gc.o gc.c In file included from gc.c:44:0: gc/int-inf.c:180:43: error: unknown type name '__gmp_const' gc/int-inf.c:181:43: error: unknown type name '__gmp_const' gc/int-inf.c: In function 'IntInf_add': gc/int-inf.c:196:3: warning: implicit declaration of function 'binary' [-Wimplicit-function-declaration] gc/int-inf.c:196:3: warning: nested extern declaration of 'binary' [-Wnested-externs] gc/int-inf.c: At top level: gc/int-inf.c:257:34: error: unknown type name '__gmp_const' gc/int-inf.c: In function 'IntInf_neg': gc/int-inf.c:271:3: warning: implicit declaration of function 'unary' [-Wimplicit-function-declaration] gc/int-inf.c:271:3: warning: nested extern declaration of 'unary' [-Wnested-externs] gc/int-inf.c: At top level: gc/int-inf.c:283:34: error: unknown type name '__gmp_const' gc/int-inf.c: In function 'IntInf_arshift': gc/int-inf.c:299:3: warning: implicit declaration of function 'shary' [-Wimplicit-function-declaration] gc/int-inf.c:299:3: warning: nested extern declaration of 'shary' [-Wnested-externs] make[4]: *** [gc.o] Error 1 A fix is available from upstream: https://github.com/caltry/mlton/commit/a658a1f4a76a01f568116598800f49b80cf8ee1a Attached is a patch to the package that incorporates this fix. I don't intend to upload it. Regards -- Sebastian Ramacher -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org