From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id OurxAzZKCmEirQAAgWs5BA (envelope-from ) for ; Wed, 04 Aug 2021 10:05:10 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 6JiUOjVKCmFneAAAB5/wlQ (envelope-from ) for ; Wed, 04 Aug 2021 08:05:09 +0000 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 6B413826C for ; Wed, 4 Aug 2021 10:05:09 +0200 (CEST) Received: from localhost ([::1]:40650 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mBBtk-0001td-9W for larch@yhetil.org; Wed, 04 Aug 2021 04:05:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58130) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mBBte-0001t4-6Q for guix-patches@gnu.org; Wed, 04 Aug 2021 04:05:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59268) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mBBtd-0004Kb-W9 for guix-patches@gnu.org; Wed, 04 Aug 2021 04:05:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mBBtd-00008a-Rh for guix-patches@gnu.org; Wed, 04 Aug 2021 04:05:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#49868] [PATCH 0/2] guix: dune-build-system: Add a profile parameter. Resent-From: pukkamustard Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 04 Aug 2021 08:05:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49868 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 49868@debbugs.gnu.org Cc: pukkamustard X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.1628064292506 (code B ref -1); Wed, 04 Aug 2021 08:05:01 +0000 Received: (at submit) by debbugs.gnu.org; 4 Aug 2021 08:04:52 +0000 Received: from localhost ([127.0.0.1]:42581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mBBtT-000086-Jh for submit@debbugs.gnu.org; Wed, 04 Aug 2021 04:04:51 -0400 Received: from lists.gnu.org ([209.51.188.17]:56288) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mBBtR-00007v-NM for submit@debbugs.gnu.org; Wed, 04 Aug 2021 04:04:50 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:58060) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mBBtR-0001mx-Hz for guix-patches@gnu.org; Wed, 04 Aug 2021 04:04:49 -0400 Received: from mout02.posteo.de ([185.67.36.66]:44733) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mBBtP-00043U-16 for guix-patches@gnu.org; Wed, 04 Aug 2021 04:04:49 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id EC172240105 for ; Wed, 4 Aug 2021 10:04:43 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1628064284; bh=sAMaTA5PBH5Or/VK6IJAbGYd/A0IBKqt7+njwetcCww=; h=From:To:Cc:Subject:Date:From; b=OaVGFcQx51Ib9CNqrsiyMCySLd3mGQI+ay4uc+nIBNk2t+yiH7Byg39MFyGn5nJjQ pF3mo23ujtgQSXPY641iPHHzooDnHvpChRme4+yOnBwD0+F5dVQYyh4OaM2ROI/zBC eMoJ5Y56NlVKzNg8NRc3jLT7rQHdRtwu4uvs8u8XN/2ssy0XSy+aaDI6U3B2fYb/Cq UtxzWIy9a1W8R5dOtriR+E1XL777fAQbCWt/Fd6Cx0XolpW5t0HvTEV7WBHCaNWeky YJtK920eqfNe8O4UYWOZZSnEPK2jmyF9mxxL2BFAKMUtsW4BNwLZGw8zpWZO5DoiF9 CrTXxTE3MLEew== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4GfkmW16jCz9rxS; Wed, 4 Aug 2021 10:04:42 +0200 (CEST) From: pukkamustard Date: Wed, 4 Aug 2021 08:04:23 +0000 Message-Id: <20210804080423.3533-1-pukkamustard@posteo.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.67.36.66; envelope-from=pukkamustard@posteo.net; helo=mout02.posteo.de 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_NONE=0.001, SPF_PASS=-0.001 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 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1628064309; 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=1qufVezptWSbPhRmiXomT21rsWN+R0h8frfRQtXSyrI=; b=sZMaPgGv3yi4xVH68wWYw61pu+Bhigl1TcG11+I8ehcZdlfKhPGtwG71Aauruwk86lWsya OItwICtNaEjj88UnB7ywLGC0LkwnlPFn8w7H0XJq8vFW5TS/tJ9SIscJWoR/Z51l2Oxhp4 VEDNezM2/bXFlhLd0UWLoCwkX8Wwm40hCWQicx9Q49GjLfJJHlBZiwq+NDKVYR9jy8DmQY X3Yrmebt9yU1kcD82ybawzEgfChUYK9HA4V/OcbB1T/0LEg7IsbvgCR47nBve0rIH8P43b p/4pZXr4SBmJ/n79Ct/qRuNDR6YVeZiuSX8swnxllUPDtGuajMqj8x/+hQ6ClQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1628064309; a=rsa-sha256; cv=none; b=Aos5rN9FgiWLQlBJPhqBmtvwFQxOX+M/bpwecBdrbIvD3eGLZ5gASkptgn10R5eBRXN6/a alq7YYDVQA0OTImixPe0QBl2gR4F62C/Ype7V+9w5fYfZS3wo79PfCOZ6bVCUdk+tCWJK8 5dS9n3QgBlDiPGl7tfi2ZJQeow8UQ0f22CtQrhU1/ILvcNYF2NGxPK0aHwAtsU6A8w7FSw ZXb0ECatLSJQZQFJtvRWIewasQMH80Op8JLPKtT4DCzxnRRsV2FKf12yrcMOgXLxRDY9e7 YiiOvJVspL++oCN1ofB4jqdLc2sCWLuP9H6dSuHNAiIe7mK5vAcYDjCFm6TnnQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=OaVGFcQx; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: 3.68 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b=OaVGFcQx; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 6B413826C X-Spam-Score: 3.68 X-Migadu-Scanner: scn1.migadu.com X-TUID: hNGPD1VqM2/Q Hi, This adds a profile parameter to the dune-build-system and sets it to "release" by default. The exact effects of the "release" profile are not clearly documented in dune [1]. But it seems to be the default when installing packages with OPAM [2]. I think it should also be the default in Guix. Some OCaml packages had set the profile to "release" manually by specifiying it in the build flags. This has been removed. This patch will probably require a rebuild of almost all OCaml packages. A second patch is attached that removes unnecessary arguments from the ocaml4.07-base packages. This is a more intrusive change to the package, so I've kept it in a separate commit. -pukkamustard [1] https://github.com/ocaml/dune/issues/3359 [2] https://dune.readthedocs.io/en/stable/faq.html#how-to-make-warnings-non-fatal pukkamustard (2): guix: dune-build-system: Add a profile parameter. gnu: ocaml4.07-base: Remove unnecessary arguments. doc/guix.texi | 7 +++++++ gnu/packages/ocaml.scm | 27 ++++++--------------------- guix/build-system/dune.scm | 3 +++ guix/build/dune-build-system.scm | 8 ++++++-- 4 files changed, 22 insertions(+), 23 deletions(-) -- 2.32.0