From debbugs-submit-bounces@debbugs.gnu.org Thu Aug 11 14:06:01 2022 Received: (at 56729) by debbugs.gnu.org; 11 Aug 2022 18:06:01 +0000 Received: from localhost ([127.0.0.1]:54957 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oMCZF-0005bP-57 for submit@debbugs.gnu.org; Thu, 11 Aug 2022 14:06:01 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:60452) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oMCZB-0005b1-RD for 56729@debbugs.gnu.org; Thu, 11 Aug 2022 14:05:59 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 5E934C96; Thu, 11 Aug 2022 20:05:51 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id BKkBYAlrqD-2; Thu, 11 Aug 2022 20:05:50 +0200 (CEST) Received: from jurong (unknown [IPv6:2001:861:c4:f2f0:1ce9:67cd:7487:edd5]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 9D6A23CE; Thu, 11 Aug 2022 20:05:50 +0200 (CEST) Date: Thu, 11 Aug 2022 20:05:48 +0200 From: Andreas Enge To: Ludovic =?iso-8859-15?Q?Court=E8s?= , 56729@debbugs.gnu.org, Andreas Enge Subject: Re: [bug#56729] [RFC PATCH 00/10] Add sagemath. Message-ID: References: <87y1w81flc.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 56729 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hello, Am Wed, Aug 03, 2022 at 11:21:43AM +0200 schrieb guix@ikherbers.com: > As for gap, I took another stab at it and it now builds reproducibly for > me. I also removed all the trailing #t's and changed the phases to use a > gexp. today I looked at gap. Since there were many whitespace changes, I found it a bit difficult to review, and copied only the most relevant/easiest parts of your commit. In particular I did not move to gexps, which could be done in a separate patch. So far I also did not apply the part for making the build reproducible, which could be done in yet another patch. > By the way, the gap definition contains a snippet that deletes many gap > packages over concerns due to missing explicit licenses. However in a > cursory look at the tarball, I can see many LICENSE/COPYING files so > that may have changed. Yes, there is an ongoing effort in GAP to clarify the license situation, with apparently a lot of progress in this release. I have added (hopefully) all packages with a free license and which do not require additional inputs. We could go further; for instance add ZeroQMInterface (which requires zeromq) and dependent packages, CddInterface (which I suppose requires cddlib) and then NConvex, but I am a bit weary of adding dependencies, even more so since we do not seem to have GAP users in Guix who could give us feedback. It would be more motivating with users who confirm that the packages do not only load, but actually work as expected... Andreas