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 ms9.migadu.com with LMTPS id YEQJEWWKmmSFFQAASxT56A (envelope-from ) for ; Tue, 27 Jun 2023 09:06:13 +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 KGogEWWKmmRIdgAA9RJhRA (envelope-from ) for ; Tue, 27 Jun 2023 09:06:13 +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 EC9E335D86 for ; Tue, 27 Jun 2023 09:06:12 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qE2m6-0003ZZ-0Y; Tue, 27 Jun 2023 03:06:06 -0400 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 1qE2m2-0003Yr-W1 for guix-patches@gnu.org; Tue, 27 Jun 2023 03:06:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qE2m2-0008Et-MH for guix-patches@gnu.org; Tue, 27 Jun 2023 03:06:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qE2m2-0007Cn-Gu for guix-patches@gnu.org; Tue, 27 Jun 2023 03:06:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#63893] gnu: nix: Update to 2.16.1 Resent-From: Sergei Trofimovich Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 27 Jun 2023 07:06:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63893 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "jgart" Cc: 63893@debbugs.gnu.org Received: via spool by 63893-submit@debbugs.gnu.org id=B63893.168784955327677 (code B ref 63893); Tue, 27 Jun 2023 07:06:02 +0000 Received: (at 63893) by debbugs.gnu.org; 27 Jun 2023 07:05:53 +0000 Received: from localhost ([127.0.0.1]:47476 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qE2lt-0007CL-41 for submit@debbugs.gnu.org; Tue, 27 Jun 2023 03:05:53 -0400 Received: from mail-wr1-f53.google.com ([209.85.221.53]:56385) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qE2lp-0007C6-Uw for 63893@debbugs.gnu.org; Tue, 27 Jun 2023 03:05:50 -0400 Received: by mail-wr1-f53.google.com with SMTP id ffacd0b85a97d-311099fac92so5550133f8f.0 for <63893@debbugs.gnu.org>; Tue, 27 Jun 2023 00:05:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1687849544; x=1690441544; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:from:to:cc:subject:date :message-id:reply-to; bh=nupv1yrJclPkOYNc2skRspSaPlNIyH3vPL7hZN54xOY=; b=h4+Ps3Kl7wdOTCbCu8faN944OL9D3GW1aEmqcvFeTvh82Bgn7Jta1on1bsUF9GEFG+ WBVX+UcAkyh6DjH5mKf+Jv3SOgAsa14b1NxmAN6qOiM77MTmU+q/aSW1hss0RkQD/02x cDwnBgIsRcv6lLOeKYVBnc+dAEJ0h6GjkxjwAWGjHG3s9m8wfbfDels/Igu8hzODGVN2 xZWUyQUq9cO9oNXkAWaas0E2dpgAUAit6v11KrUrItZQtAHJ2vROpnzwHfUWGNbNfD2j HlLvgA539bTPz8qjV9ZBi0vuJbwlcQGTw33ofsRn7EFHKdft7MTfVpnTL9gw6jDF2+7a BjAw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1687849544; x=1690441544; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:subject:cc:to:from:date:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=nupv1yrJclPkOYNc2skRspSaPlNIyH3vPL7hZN54xOY=; b=X0P2OpoAK9dbkkDmW4WtlgnA4HP6o9lLfxW3zXUh4qLm+WzZmBrxn2XAfzQNkFQudy /FqoxD7N83bdPkRXQEWf/EVn7V1K3qHLbpSbdEaEkBLLOigy1HMeM0gihmp4n8skSbOA KAxTtfcvKTCVLiE2s+GUCYABos8j+b6s+DQKq0Ajdlzp5uiL7gUjicI5h8c7yqNopPI5 UvkcRI9vjlqdb7r8/Kxpm9B2jk8mSokN561j4+bkmQSsWcMJ4nEcSLy9IcYBrqGvCggU /BuzUu2ilydZP4OjnmKUStaZ6P+xaGcZGBvGpCNc2WEvVU29crHS9bjEOBVhb/t3BdKd /fjg== X-Gm-Message-State: AC+VfDzm1x/ivULLeCVro91mQHRuWRfYQu6Uyj38BLPnXk6K9OG4uF36 WeNTUNd5k46akn1buyviSGg= X-Google-Smtp-Source: ACHHUZ4BqhQWZi6mVz5g73ppr+se1bk8aCP+Kki4TmoPHWOEcw1mTKaz6YMVAKk706aiOz+PJgdXfg== X-Received: by 2002:adf:fc90:0:b0:313:e8b6:1699 with SMTP id g16-20020adffc90000000b00313e8b61699mr7262327wrr.55.1687849543756; Tue, 27 Jun 2023 00:05:43 -0700 (PDT) Received: from nz ([2a00:23c8:a613:101:b403:decb:497c:7282]) by smtp.gmail.com with ESMTPSA id a16-20020adfdd10000000b00313ef2150dcsm5775877wrm.45.2023.06.27.00.05.43 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 27 Jun 2023 00:05:43 -0700 (PDT) Date: Tue, 27 Jun 2023 08:05:42 +0100 From: Sergei Trofimovich Message-ID: <20230627080542.6e7ed518@nz> In-Reply-To: <6616df3cc64662087b859521664f3387@dismail.de> References: <20230626231608.355b90b1@nz> <6616df3cc64662087b859521664f3387@dismail.de> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.38; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit 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-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1687849573; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=nupv1yrJclPkOYNc2skRspSaPlNIyH3vPL7hZN54xOY=; b=XHfidPvdqsDKuW74Wo0xwNdd4gcmmd9CyF42vjEUh5dyChe94avEC8besUwnHpfNyZaUv1 qf2diAsBFEGPROpvXAty0VCKMS5cnRbChfJWSavHacrslbzpePW6ghKLHlu4sOXvy9kAS0 72qwNb29KptMfrPF1wF3GcnLmGCyHvqX6BQA/bt1luXlt6zuuamvOPk50uvVY7zoweAw3g cVJk/TGq3m6dfCuD+AFiCLr7evhRqkmmaKW/4zZvpuH3iHxyDoRP3UHr59X36oNk7IWDIi PUtUI2bqvzcZJ2FPb4ZkEbWsTu5CDHZQKiDPV6P5BSdZ3bDTHUoBVxd5spbS4A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=h4+Ps3Kl; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1687849573; a=rsa-sha256; cv=none; b=iEYJWXtY1g03tLXoYMte4OIO9epHbqIzj6jb3Ana98TiDvUL02Yj97S7oko1YPscYCqH2+ qVY1jNFF864AEFR786B/pXSeo+QTzI3Rs6U2+cQ3aRUJpOjrr744i1X7TTaC3T9zjB9Rbm KyMKo+VZA4NhQHXtkvCK8uisgqxsf9Ucqyr0BxSH6bfIXKJYdDCTqKQWaFAG7GWefcn6Yb 2E78r5uBCRPsVqWmPe1d4/oK8nhrO2uieTWAPYjmSSFF+d32mL1R596lxYdnINX1FG8wTf dJDO7JHtmCWec/thbRfWdqPl5NylKfnhGEOSdoLIOCEL16aIAYSbMo8uLQrqug== X-Migadu-Scanner: scn1.migadu.com X-Migadu-Spam-Score: -1.65 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=h4+Ps3Kl; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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: EC9E335D86 X-Spam-Score: -1.65 X-TUID: Z1CPC7o8duvE On Tue, 27 Jun 2023 06:03:03 +0000 "jgart" wrote: > > Those look good to me. I did not runtime-test it though. > > Hi Sergei, > > Thanks for the message. > > Are you running the tests successfully for rapidcheck in your ebuild version? I do not enable `rapidcheck` tests. At least in theory enabling tests via `-DRC_ENABLE_TESTS=ON` should be enough. In practice `ext/CMakeLists.txt` implies a certain layout of `check2`, `gtest` and `boost` dependencies checked out locally: git submodule: if (RC_ENABLE_TESTS OR RC_ENABLE_CATCH) add_subdirectory(catch) endif() another git submodule: if ((RC_ENABLE_GMOCK OR RC_ENABLE_GTEST) AND RC_ENABLE_TESTS) # On Windows, gmock/gtest defaults to static CRT which is not compatible # with the way RapidCheck is currently built set(gtest_force_shared_crt ON CACHE BOOL "" FORCE) add_subdirectory(googletest) endif() ad-hoc checkout with a stand alone script: if (RC_ENABLE_BOOST AND RC_ENABLE_TESTS) if (NOT EXISTS "${CMAKE_CURRENT_LIST_DIR}/boost") execute_process( COMMAND "sh" "get_boost.sh" WORKING_DIRECTORY "${CMAKE_CURRENT_LIST_DIR}") endif() add_library(boost INTERFACE) target_include_directories(boost INTERFACE boost) endif() I did not try to satisfy these requirements. Ideally upstream should be fixed to use already installed libraries. But I'm not very well versed in `cmake` to propose such a change just yet. > I don't know portage, unfortunately. > > We'd like to get the tests running and passing for rapidcheck but they are currently disabled because we are not sure how to run the test suite for rapidcheck. > > Have you had any success running the tests for rapidcheck? > > all best, > > jgart (Jorge) -- Sergei