From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id WL31JtPvk2LyJQEAbAwnHQ (envelope-from ) for ; Mon, 30 May 2022 00:12:35 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id QDniJtPvk2LTPAEA9RJhRA (envelope-from ) for ; Mon, 30 May 2022 00:12:35 +0200 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 C53BE396C9 for ; Mon, 30 May 2022 00:12:34 +0200 (CEST) Received: from localhost ([::1]:44284 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nvR9G-0002gi-15 for larch@yhetil.org; Sun, 29 May 2022 18:12:34 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41132) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nvPnX-0007Ud-F5 for guix-patches@gnu.org; Sun, 29 May 2022 16:46:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48123) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nvPnW-0001os-NJ for guix-patches@gnu.org; Sun, 29 May 2022 16:46:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nvPnW-0007qc-MP for guix-patches@gnu.org; Sun, 29 May 2022 16:46:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#55715] [PATCH] gnu: ocaml-ctypes: do not override install headers Resent-From: David Arroyo Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 29 May 2022 20:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 55715 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 55715@debbugs.gnu.org Cc: David Arroyo X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.165385715330136 (code B ref -1); Sun, 29 May 2022 20:46:02 +0000 Received: (at submit) by debbugs.gnu.org; 29 May 2022 20:45:53 +0000 Received: from localhost ([127.0.0.1]:42020 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nvPnM-0007py-6C for submit@debbugs.gnu.org; Sun, 29 May 2022 16:45:53 -0400 Received: from lists.gnu.org ([209.51.188.17]:57926) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nvPl7-0007l3-Gv for submit@debbugs.gnu.org; Sun, 29 May 2022 16:43:36 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40832) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nvPl7-0006kv-48 for guix-patches@gnu.org; Sun, 29 May 2022 16:43:33 -0400 Received: from wout3-smtp.messagingengine.com ([64.147.123.19]:57993) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nvPl5-0001Ke-5S for guix-patches@gnu.org; Sun, 29 May 2022 16:43:32 -0400 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.west.internal (Postfix) with ESMTP id 0E86A32000D7; Sun, 29 May 2022 16:43:27 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute1.internal (MEProxy); Sun, 29 May 2022 16:43:28 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=aqwari.net; h=cc :cc:content-transfer-encoding:date:date:from:from:in-reply-to :message-id:mime-version:reply-to:sender:subject:subject:to:to; s=fm1; t=1653857007; x=1653943407; bh=i0FAzeaQ7zEkBGajde5cuGqJ2 eNwlV3SbDKYI2aud4Q=; b=Bn7p7s1eJEJPkZZbwDh5RORWconQaLhIv23MA+Mr/ CobbRGuqJ+OzknCRHiZ03KAfwE0JBmL3XJ/AHry+QvygN+iV0jxzNl1wgoy83dy4 oVWC+aOXoHPJvevqzIQEhSLuc9SMid9pZsqe/cYBEgQqg/+eyOyHk9vA+G7uTGYL xDibIZ92KKRzzyGOeNHrZXb+ciPQnE+gpF3k4257m9UnPL3ZTOLA3EXajEJL4JFU jUI018bCD1YOVq0qGkLzOB584+Ey8zyK9dwKRB1XWjuDlWGQ1/rnCXhntlIZjS1a ISWK3h4Yzg9S9EEicB+CENAYNcXgm36x5F3ALt4Jt+JRA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding:date:date :feedback-id:feedback-id:from:from:in-reply-to:message-id :mime-version:reply-to:sender:subject:subject:to:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t= 1653857007; x=1653943407; bh=i0FAzeaQ7zEkBGajde5cuGqJ2eNwlV3SbDK YI2aud4Q=; b=bb/vKfozENjke6BBeJ70P8dgIsBbSa1XwrW0g89xY40BKe6+hZe 4bNzp7mdjHsKJBEKxwnZH3yC/lp5m5vsqR/CHGO8LEf1oGsbfDEJ5jGKxWJUJNxv CWdhcGrTnrIUjCJ4ANu5UFZK5r8G5uYsh9BFepoo7lyZKAYmzSPKFZTnaP75/r0w bkY9EHn65Xf+ZZctBsbcTJ4JyDqnae+9dhXj0upni3bjD5pfON37mqaYG7z7laKT Fr3HHnzmM3rjudLYu9YO1anU04U9zlYVRHq7XDzb8ta/V4NK05KIkhUpcrEq/kZW 5ujsHu3F49ti0yitkcPnUF8IR4ke4pgZsYQ== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvfedrkeeggdduheduucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefhvfevufffkffoggfgsedtkeertd ertddtnecuhfhrohhmpeffrghvihguucetrhhrohihohcuoegurghvihgusegrqhifrghr ihdrnhgvtheqnecuggftrfgrthhtvghrnhepteetuefhffevudevveffvdfhkeekvddvtd ejgeehkeffgeetgefhgedutdegfffgnecuvehluhhsthgvrhfuihiivgeptdenucfrrghr rghmpehmrghilhhfrhhomhepuggrvhhiugesrghqfigrrhhirdhnvght X-ME-Proxy: Feedback-ID: i83f147ed:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Sun, 29 May 2022 16:43:27 -0400 (EDT) From: David Arroyo Date: Sun, 29 May 2022 16:42:34 -0400 Message-Id: <20220529204234.657407-1-david@aqwari.net> X-Mailer: git-send-email 2.36.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=64.147.123.19; envelope-from=david@aqwari.net; helo=wout3-smtp.messagingengine.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, 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-Mailman-Approved-At: Sun, 29 May 2022 16:45:51 -0400 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Mailman-Approved-At: Sun, 29 May 2022 18:12:19 -0400 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-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1653862355; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: 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=i0FAzeaQ7zEkBGajde5cuGqJ2eNwlV3SbDKYI2aud4Q=; b=el+XFS2n/t96hhY8OdBRzrncHFSPB0oaaWp2lDzZn857J1KZBZgz7q+R2BBVeRdAgYMRJO 1Xb0+Co+wSiw8iCNUxjpm+dFuwwVQDpPLzuAOdxHKHpZumR65WUy+7rxvHRLi8E6LSSOBb m9kK9E9GJ23WLmHkEj/R/Ayp+sqRqTprajMDnJamwEplKjkWTpZx5iwedVo8+YxRxXg/ct A9KZCsaB3O3i7BChJosglqOG6WYKfM23fVZpNeczNmZ4Ptq441oynzpCNKizOSwalq3fIw cCbtmqUrxi7t0ZIp+7EThZYO8tWZb0cGvfz0NeOzQ175P5lMRdvQk22SpPjstA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1653862355; a=rsa-sha256; cv=none; b=Wl4OQ/HU3aDN4uVtSAVLVCSn1BrWG9Rzew/aKo1DJ9MEwfQ+pgLHWQdpHInsmFYTxkrJ5V XqRSC+J8cn/MSeGocuNH8llJ6snuTzuvJo0m9mcOI6EOXIbAtSJChuSMpsU4gcYErVVKDb Z2mL6vnrGV9wAH1yBY/df1GxYlnWGEAcCsi5ZceF5Fe8+xh5AWbF7Kq1hK3KCM/Fx82EtY 9cbHfogdkOSp7n9R4QI1QvbjBSkVz2o/VvjRxiztcjcewRtfjKZf872IolAe+zF31VO//q iDgNgc5mwl/5uqdDt1Y+pH81rWKIFezEttb6jX8Ce6pzX7SKHSFgmziegDwQoA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=aqwari.net header.s=fm1 header.b=Bn7p7s1e; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="bb/vKfoz"; dmarc=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: 3.17 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=aqwari.net header.s=fm1 header.b=Bn7p7s1e; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="bb/vKfoz"; dmarc=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: C53BE396C9 X-Spam-Score: 3.17 X-Migadu-Scanner: scn0.migadu.com X-TUID: gxQV6kBLWVfU Overriding INSTALL_HEADERS in the build prevents the "ocaml_integers.h" header from being copied from the ocaml-integers package to ocaml-ctypes. The header's absence breaks all dune-based projects which build cstubs using the new (ctypes ...) stanza. * gnu/packages/ocaml.scm: [arguments]: remove INSTALL_HEADERS override. --- gnu/packages/ocaml.scm | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e6d6bc7a89..c7da5a2106 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4333,9 +4333,7 @@ (define-public ocaml-ctypes "0ilzq9qzvwv9rc08cc9wchsx636zp870i7qvqmbigaa2qb812m0z")))) (build-system ocaml-build-system) (arguments - `(#:make-flags - (list (string-append "INSTALL_HEADERS = $(wildcard $($(PROJECT).dir)/*.h)")) - #:phases + `(#:phases (modify-phases %standard-phases (add-after 'unpack 'make-writable (lambda _ -- 2.36.1