From patchwork Mon Dec 25 11:18:21 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Julien Lepiller X-Patchwork-Id: 58065 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 6497A27BBE2; Mon, 25 Dec 2023 11:20:17 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id E143A27BBE9 for ; Mon, 25 Dec 2023 11:20:15 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHj02-0003K2-Df; Mon, 25 Dec 2023 06:19:58 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rHj00-0003Jt-NN for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:56 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rHj00-0003w2-7o for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:56 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHj06-0005Lp-HH for guix-patches@gnu.org; Mon, 25 Dec 2023 06:20:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#68024] [PATCH] Remove ocaml4.07 packages Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 25 Dec 2023 11:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 68024 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68024@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.170350317420529 (code B ref -1); Mon, 25 Dec 2023 11:20:02 +0000 Received: (at submit) by debbugs.gnu.org; 25 Dec 2023 11:19:34 +0000 Received: from localhost ([127.0.0.1]:54056 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHizb-0005L0-Jc for submit@debbugs.gnu.org; Mon, 25 Dec 2023 06:19:34 -0500 Received: from lists.gnu.org ([2001:470:142::17]:37744) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHizU-0005Kg-Uv for submit@debbugs.gnu.org; Mon, 25 Dec 2023 06:19:29 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rHizI-0003HB-Fd for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:12 -0500 Received: from lepiller.eu ([89.234.186.109] helo=hermes.lepiller.eu) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rHizF-0003t4-57 for guix-patches@gnu.org; Mon, 25 Dec 2023 06:19:12 -0500 Received: from hermes.lepiller.eu (localhost [127.0.0.1]) by hermes.lepiller.eu (OpenSMTPD) with ESMTP id e7cefcd2 for ; Mon, 25 Dec 2023 11:18:43 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date:from :to:subject:message-id:mime-version:content-type; s=dkim; bh=LAH C//fIMv2G2RuW3W3QNFay4zwyDFbTIgfHhqMgnGU=; b=QzC+iuXLUX8oIwlmLnZ niY2q0L6IK1i8RBJJdxdgN9XpuFd39hW8NTS829iJkiGRd6b/oZ/71K0x3ZDC/mQ tsiXDroKF0BgrJGW/WhbrA3nENQNAIKaFJUikdRoqcU9zCrIrZtsyUrIsLgwc7v9 E4ZDbM/0tbUpKIMog05W13coqQT/HCW9uh6eB3m03XciqhulJ5a3mWTkewAKTwQD N5xvCkboBnWEw6g/UDCzDUBeH+OEEKTgYxhKZo/5svZ2eJV2m5H5A4MRz+M1pR6+ Eyv3HVu6zzSLk2ruZDonMgtc6ZMhxQbuu8Oj/25LamTOPEXVwrqJ1u6E8E29Y9iW mqw== Received: by hermes.lepiller.eu (OpenSMTPD) with ESMTPSA id 110feda8 (TLSv1.3:TLS_AES_256_GCM_SHA384:256:NO) for ; Mon, 25 Dec 2023 11:18:43 +0000 (UTC) Date: Mon, 25 Dec 2023 12:18:21 +0100 From: Julien Lepiller Message-ID: <20231225121821.009eda51@tachikoma.lepiller.eu> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.37; x86_64-pc-linux-gnu) MIME-Version: 1.0 Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=hermes.lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches Hi Guix! I created a long patch series (67 patches) to remove ocaml 4.07 packages. The series keeps ocaml@4.07 itself, as well as findlib and dune, so we can always build ocaml4.07 packages later if we want to (we might need to build at least menhir, that will be required to build ocaml>4.07) I don't think it requires QA, since we're only removing packages. Patches look like the attached patch. If you agree with this in principle, I'll push the series this week. I checked that each intermediate commit builds (no unbound variable), used guix refresh to discover a proper order (removing leaf packages). If you prefer, I can send the whole series. From b5a46ee697742820e68a4689c20e419b74b60cc4 Mon Sep 17 00:00:00 2001 Message-ID: In-Reply-To: <42ca866dca866a942d641f3d369ad9657b92294f.1703502940.git.julien@lepiller.eu> References: <42ca866dca866a942d641f3d369ad9657b92294f.1703502940.git.julien@lepiller.eu> From: Julien Lepiller Date: Mon, 25 Dec 2023 11:04:29 +0100 Subject: [PATCH 33/67] gnu: Remove ocaml4.07-ppx-hash. * gnu/packages/ocaml.scm (ocaml4.07-ppx-hash): Remove variable. (ocaml-ppx-hash)[properties]: Remove variant. Change-Id: I38a4e5a4deb88398ae714b0671c9477551e7b6d9 --- gnu/packages/ocaml.scm | 21 +-------------------- 1 file changed, 1 insertion(+), 20 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index ac2da9cead..bbcf97ccb0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6897,32 +6897,13 @@ (define-public ocaml-ppx-hash (propagated-inputs (list ocaml-base ocaml-ppx-compare ocaml-ppx-sexp-conv ocaml-migrate-parsetree ocaml-ppxlib)) - (properties `((upstream-name . "ppx_hash") - (ocaml4.07-variant . ,(delay ocaml4.07-ppx-hash)))) + (properties `((upstream-name . "ppx_hash"))) (home-page "https://github.com/janestreet/ppx_hash") (synopsis "Generation of hash functions from type expressions and definitions") (description "This package is a collection of ppx rewriters that generate hash functions from type exrpessions and definitions.") (license license:asl2.0))) -(define-public ocaml4.07-ppx-hash - (package-with-ocaml4.07 - (package - (inherit ocaml-ppx-hash) - (name "ocaml-ppx-hash") - (home-page "https://github.com/janestreet/ppx_hash") - (version "0.11.1") - (source (origin - (method git-fetch) - (uri (git-reference - (url home-page) - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1p0ic6aijxlrdggpmycj12q3cy9xksbq2vq727215maz4snvlf5p")))) - (properties `((upstream-name . "ppx_hash")))))) - (define-public ocaml-ppx-enumerate (package (name "ocaml-ppx-enumerate") -- 2.41.0