From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id CMqwCWrTAmI0yAAAgWs5BA (envelope-from ) for ; Tue, 08 Feb 2022 21:32:42 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id oK+AAmrTAmIRIgAAG6o9tA (envelope-from ) for ; Tue, 08 Feb 2022 21:32:42 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id B453F29771 for ; Tue, 8 Feb 2022 21:32:41 +0100 (CET) Received: from localhost ([::1]:57278 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nHXAF-00073q-Vq for larch@yhetil.org; Tue, 08 Feb 2022 15:32:40 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39586) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nHWnT-0002vj-BP for guix-patches@gnu.org; Tue, 08 Feb 2022 15:09:07 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:54863) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nHWnO-00066t-Qn for guix-patches@gnu.org; Tue, 08 Feb 2022 15:09:06 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nHWnO-0002JS-Gl for guix-patches@gnu.org; Tue, 08 Feb 2022 15:09:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53882] [PATCH] gnu: Add ocaml-core. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 08 Feb 2022 20:09:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 53882 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 53882@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16443509108833 (code B ref -1); Tue, 08 Feb 2022 20:09:02 +0000 Received: (at submit) by debbugs.gnu.org; 8 Feb 2022 20:08:30 +0000 Received: from localhost ([127.0.0.1]:48755 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nHWmr-0002IN-Sz for submit@debbugs.gnu.org; Tue, 08 Feb 2022 15:08:30 -0500 Received: from lists.gnu.org ([209.51.188.17]:58628) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nHWmq-0002ID-7O for submit@debbugs.gnu.org; Tue, 08 Feb 2022 15:08:28 -0500 Received: from eggs.gnu.org ([209.51.188.92]:39402) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nHWmp-0001qW-Qa for guix-patches@gnu.org; Tue, 08 Feb 2022 15:08:28 -0500 Received: from lepiller.eu ([89.234.186.109]:45040) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nHWmn-0005zf-5C for guix-patches@gnu.org; Tue, 08 Feb 2022 15:08:27 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 788d1f30 for ; Tue, 8 Feb 2022 20:08:20 +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 :content-transfer-encoding; s=dkim; bh=W+CyikeQg2H5GbaHSvXIXKGLA 9Wz6Op+EicQudu33vU=; b=GmUnBDgMluKmQI+KiTUa04t4FyvGS1awTu7dDN9D8 H69zItFg+X6ZJNzP4rpPuwFph4m9ckpX0Y4vR7lnRvW1MRZ+z2QbzjZsJQ8EWDj/ czeWw6QIa/U4LeSKQjgDy3nATHSOi8CoIrgoSuyLWzzhIFl9sPV5W6RnOsq0ycv3 wpBlXEE/mL2NKtJdPg60UY+vLDVeLEDsFVXtMK2BfhScme+fMOs86D1om5FScDPM y9zCb2ZJBhOazPDFSHIrcASfYN6WtEGtiwzAmSgffWFNUFj1HTDMd2s/Xv5KYDxd pw8j+Rv+Sko/bpHhLIFj3Q+SOsB9rg5koh0C+bKPYA9Ng== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 8c98008a (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for ; Tue, 8 Feb 2022 20:08:19 +0000 (UTC) Date: Tue, 8 Feb 2022 21:08:15 +0100 From: Julien Lepiller Message-ID: <20220208210815.7ae6484d@tachikoma.lepiller.eu> X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.30; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=89.234.186.109; envelope-from=julien@lepiller.eu; helo=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_PASS=-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+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1644352361; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=W+CyikeQg2H5GbaHSvXIXKGLA9Wz6Op+EicQudu33vU=; b=mQBwoNLdFSaa4TPybvzG0fIVa9q5Bj0625sD9t2NmJNIDLcfhUgMffysUwvbOnETveHeFC BH57q/UraI5RQzPdp8xwnH/kAK9zyWwyUvRWFbOKO6BvSLphkSUzm6wBFOnvvk3maEnYDN eCobABqS8A4Ldr3el99CHFSM58znHIQw05pIavGe5GJetX0akOSe1V0h88E7kRdqUWcgmP oO2yCAekR0ftOK+a/XyhkBeaPkr7LzVTv8LZPEg4c5TEdyXBriwDqX8tHS2hNnLqDfsXY6 D/FbpF5+dZGnh/V0QyeBUdc6Q3o7Et6OUucVIwlEslu09rSK+8HKX4BN+NKt8g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1644352361; a=rsa-sha256; cv=none; b=ibw+XOXDuEnPwSNX8mkGokmc0K5BX/eFyKLY6621miJDfgxj3eYKTnJuCRCXRr6d4oZPfG xs2colBDW6hDS5b00HmCP62LV8fqoLCOp6bngkEtJZOGyF0pbZyvoKTBcOx7f8ZQpqJc3o lK8LTmxJuNON2TeDS/Xfnka10sxukSAml/8+UMIIlZ4nLT1gvYn7Q/hj6skO6JiHw4DxGI hm6WcZkjwl3TX6+oVo/KMraSDD7bElYLHUBHp3vD1QYxUiN1yuK07zMCFbWG4wZNvVZqQI W5SJYFw6e6ApGxMz5ma4JPa8SVvlk7KfHrjdmKXhzMs4nN2YjNZnJrKxKs77uw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=GmUnBDgM; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.23 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=lepiller.eu header.s=dkim header.b=GmUnBDgM; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: B453F29771 X-Spam-Score: -2.23 X-Migadu-Scanner: scn1.migadu.com X-TUID: t7nFGg20B+8B Hi Guix! This patch series adds ocaml-core. It's one of the missing dependencies for bap. Adding this will get us closer to being able to update bap, and getting rid of its ocaml4.07 dependencies. The first two patches modify the importer, and I needed them to import the packages. The following patches are dependencies of ocaml-core. All of them follow the same principle: add the package and make the ocaml4.07 variant inherit from it. The derivation for most of these variants stay the same.