From patchwork Fri Apr 8 13:23:04 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Simon Tournier X-Patchwork-Id: 38400 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 69EFE27BBEB; Fri, 8 Apr 2022 14:26:28 +0100 (BST) 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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, SPF_HELO_PASS 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 2FDC627BBEA for ; Fri, 8 Apr 2022 14:26:28 +0100 (BST) Received: from localhost ([::1]:33140 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ncod9-0005eQ-BG for patchwork@mira.cbaines.net; Fri, 08 Apr 2022 09:26:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57224) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ncobE-0002YF-AE for guix-patches@gnu.org; Fri, 08 Apr 2022 09:24:28 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:40412) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ncoax-0001RY-8m for guix-patches@gnu.org; Fri, 08 Apr 2022 09:24:27 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ncoax-0007ug-5M for guix-patches@gnu.org; Fri, 08 Apr 2022 09:24:11 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#53882] [PATCH v2 24/25] gnu: ocaml-jane-street-headers: Add variant. Resent-From: zimoun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 08 Apr 2022 13:24:11 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53882 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 53882@debbugs.gnu.org Cc: Julien Lepiller Received: via spool by 53882-submit@debbugs.gnu.org id=B53882.164942423430226 (code B ref 53882); Fri, 08 Apr 2022 13:24:11 +0000 Received: (at 53882) by debbugs.gnu.org; 8 Apr 2022 13:23:54 +0000 Received: from localhost ([127.0.0.1]:34284 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncoaf-0007rL-In for submit@debbugs.gnu.org; Fri, 08 Apr 2022 09:23:53 -0400 Received: from mail-wm1-f43.google.com ([209.85.128.43]:52904) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ncoaT-0007nP-W2 for 53882@debbugs.gnu.org; Fri, 08 Apr 2022 09:23:42 -0400 Received: by mail-wm1-f43.google.com with SMTP id r7so5476975wmq.2 for <53882@debbugs.gnu.org>; Fri, 08 Apr 2022 06:23:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=+LBqQrDM10mf/YiI4srEGPqioPIgWsIzRYopBKpMZ8E=; b=nAzJtNWUlqUFmvYGHjOYElFhwzDZYlC/0Qni40GRq9AlfCmcjY0N4a+6fSWQGuFcYi T9PrxD5vLAzZWqm0WUnDJLH+zXMc7FCWDCrdgXuojrj3rIkf0iFohWJBx0CnF11eYVMC ve2NlQMjIM07xV2uryG/aTbL2sEp+ZffNcEvJiUbvT5KF+U5W2HXpUl5wSssDf9GH2/T 7MGEGL43OyLR6J49/b0p146udbQgo/lWZp0D0vx2GLjuhznHtQleHUNTShaRo8lCkF7N hdA/c8RbdTsTBo51N9o8h7oLJJpNo3NsumRA3oqKid4P2QP7Zo8Y7Ll204U8OisMeh3w bVwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=+LBqQrDM10mf/YiI4srEGPqioPIgWsIzRYopBKpMZ8E=; b=FX5jlQacgkoYeAETYhpIKr/lPFPmngQHnuwBifJVNzUMCyalLqQv+kW6sGdLYje3Gn gSbGqPI3bb5z4BnleCNUj7S2Tpv/oSpahXWAsood1oHJliroHdqmbMbXGyrvtRqfWUQQ zsk9xGq3xSA+fKZZot1T4xqH3ByCEyIzU0JemLNmyQ6WSxT8xdi4SHWvrlAHP6YN/UAv 1Pozs15hbhdIO0hkeLYxehh7x+wlZbdnOa/TiCt/t9B6WBRjFSTG60nO/z2G9iujqV61 pEWFLbcVBmBi6jeyUC0LN1i42FXClkVX+P1uXFZ9SDsng4lxOM4o8+6Ff/W4QUHEpoGO 731w== X-Gm-Message-State: AOAM532V/4IyScxP7S22uL388jrABlyiko361t4wwyAz6ZFvVzm1VqTn F3v+sYEF0tfgBf769Qx1w69oy2noyRQ= X-Google-Smtp-Source: ABdhPJxbkY6m6GL8ocrSuqlI9mb8HVkOdTylx+ch/nWIsPx6gWiq8jYuf6y0wWpTvOwdrysLDMMBmQ== X-Received: by 2002:a05:600c:209:b0:38e:8c24:ebdd with SMTP id 9-20020a05600c020900b0038e8c24ebddmr8941046wmi.128.1649424216380; Fri, 08 Apr 2022 06:23:36 -0700 (PDT) Received: from localhost.localdomain ([193.48.40.241]) by smtp.gmail.com with ESMTPSA id z3-20020a1cf403000000b0037d1f4a2201sm10108954wma.21.2022.04.08.06.23.36 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 08 Apr 2022 06:23:36 -0700 (PDT) From: zimoun Date: Fri, 8 Apr 2022 15:23:04 +0200 Message-Id: <20220408132305.3301350-24-zimon.toutoune@gmail.com> X-Mailer: git-send-email 2.34.0 In-Reply-To: <20220408132305.3301350-1-zimon.toutoune@gmail.com> References: <20220408132305.3301350-1-zimon.toutoune@gmail.com> MIME-Version: 1.0 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" X-getmail-retrieved-from-mailbox: Patches From: Julien Lepiller * gnu/packages/ocaml.scm (ocaml-jane-street-heaers)[properties]: Add ocaml4.07 variant. --- gnu/packages/ocaml.scm | 1 + 1 file changed, 1 insertion(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index c1e30ba88f..e3092e8434 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4476,6 +4476,7 @@ (define-public ocaml-jane-street-headers "028yxb4h3iy025iy89v8653m5brh7flrjshghs4x99pd690pmfs7")) (build-system dune-build-system) (arguments '(#:tests? #f)) ; no tests + (properties `((ocaml4.07-variant . ,(delay ocaml4.07-jane-street-headers)))) (home-page "https://github.com/janestreet/jane-street-headers") (synopsis "Jane Street C header files") (description "C header files shared between the various Jane Street