From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id KDJ2IEEx8WJZHQEAbAwnHQ (envelope-from ) for ; Mon, 08 Aug 2022 17:52:33 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 0Ox8IEEx8WLVyAAA9RJhRA (envelope-from ) for ; Mon, 08 Aug 2022 17:52:33 +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 4542D38BE for ; Mon, 8 Aug 2022 17:52:33 +0200 (CEST) Received: from localhost ([::1]:55154 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oL53Q-0005Mv-Er for larch@yhetil.org; Mon, 08 Aug 2022 11:52:32 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41264) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oL4zI-0000i9-Nz for guix-patches@gnu.org; Mon, 08 Aug 2022 11:48:20 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:52027) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oL4zI-0006q8-Dv for guix-patches@gnu.org; Mon, 08 Aug 2022 11:48:16 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oL4zI-0006C9-AH for guix-patches@gnu.org; Mon, 08 Aug 2022 11:48:16 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#56729] [RFC PATCH v2 14/29] gnu: Add primecount. Resent-From: vicvbcun Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 08 Aug 2022 15:48:16 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 56729 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 56729@debbugs.gnu.org Cc: Ludovic =?UTF-8?Q?Court=C3=A8s?= , Andreas Enge Received: via spool by 56729-submit@debbugs.gnu.org id=B56729.165997368623622 (code B ref 56729); Mon, 08 Aug 2022 15:48:16 +0000 Received: (at 56729) by debbugs.gnu.org; 8 Aug 2022 15:48:06 +0000 Received: from localhost ([127.0.0.1]:41753 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oL4z7-00068j-Pi for submit@debbugs.gnu.org; Mon, 08 Aug 2022 11:48:06 -0400 Received: from mo4-p05-ob.smtp.rzone.de ([81.169.146.183]:43467) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oL4yc-000639-PF for 56729@debbugs.gnu.org; Mon, 08 Aug 2022 11:47:36 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1659973638; s=strato-dkim-0002; d=ikherbers.com; h=References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Cc:Date: From:Subject:Sender; bh=QZRPaZvH/y0BKK2jOm4q31RHM3RsqtyYbztyy2/UEsI=; b=m1OxLP1wykGlWOu3ODD1ker+yXZdfOV+RZAEXXWWX8JgtJruYXOCbn0GCruFVnWQtq /ewciS+lFse6ULAQBKnmkGKxZ9Mq6NEduJlLTmv7aiYjzpPium/1aQJQ4Q+kk5+MawL/ u28MxsRErvz9Ve6Rhe4TthysTmdArxSl4Ll6WoxYbB+/CogZ0tMC6T0qk9qHk9YT4vyS tnafsz3eJMkPbtbscObsPaoiahUJOhlOmflpts6nq+KWXtMSCik0zvqhElDJN+En32SX Y9Kz4ZJf0IQHGIi/I9m7QVOSN9Cy7nDGmPZWQRDW+jIClOarpBeR6bpU8R2PsLj/1Ct4 6Vbg== X-RZG-AUTH: ":IUwNfkitaf3qOWm2b/jA5tveVwUUcwH3PkiYp6DPxTDDEo4xO9ymAEzKSWlvmNAhIG6s" X-RZG-CLASS-ID: mo05 Received: from lambda.localdomain by smtp.strato.de (RZmta 47.47.0 DYNA|AUTH) with ESMTPSA id 0cac6cy78FlIoRQ (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256 bits)) (Client did not present a certificate); Mon, 8 Aug 2022 17:47:18 +0200 (CEST) From: vicvbcun Date: Mon, 8 Aug 2022 17:45:49 +0200 Message-Id: <398cd1ff61a29526e276b9d3fd8f3f91afc5e6f6.1659973115.git.guix@ikherbers.com> X-Mailer: git-send-email 2.37.0 In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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-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=1659973953; 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=QZRPaZvH/y0BKK2jOm4q31RHM3RsqtyYbztyy2/UEsI=; b=f9wsUqgHFka7182jo9Rl7Zhjh/Q9wl4AGNT05FoGIHaKNBT6rOAlg1LRaj7LquSjmlgYez MSFA8qNPHLKQ12IWh1OitkKSSzlDBvAdLaJVLScbz9vkUNarpmD8u8Hl66sVC/vDysewfm nLlW7gH08Pr5s0EZH76jzT9yJeHuegS2zj7xlJvgLutuvPUjkuEWAoJcT/pugzZdW00RZs cKoNrEffgoQflP6hATSzw9BhF+VpCH3MwpMXxSOVYQ8rt1CKPKXZIES1jcelQaivh9lTca yOGC/eUioDYmVECrRVM8L4jtiFLlfK/d0ynqGJ5gi2Mznp9eXXoT9xsq3QsS5Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1659973953; a=rsa-sha256; cv=none; b=RvNkcfDsyXutQXL9JuFuyPOb1c82nAkFsjbDdYJyfLJBHYzVUFhADYXqvZn4ozi2CKF+2q vxA0jJfD2uiR17tlyts5Fi3FqbXSAmMDPYxRss9h/7uymuYNhhdVLYkQK1v2p6WUH34Inc 8aao1bzbRU0DDn/Nb1R/lpyrWZ2VAg12lKxToFobgJ6ZJ9yaXr786g6fOXG/wRI5Ev7lA6 hjy5Ahcj/C08Sf8Ul9zCJYCg+AHDhMsKAbGkOVrG5g0Dqm+gFx9MdUoO/NeVTDB4oW9n7t nutBRnuS2q4+EeQYHSvJJwrqaSROw4Gkfe/RLZOAHSmd9S3z+xxYLMrrpaHF+g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=ikherbers.com header.s=strato-dkim-0002 header.b=m1OxLP1w; 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: 2.01 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=ikherbers.com header.s=strato-dkim-0002 header.b=m1OxLP1w; 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: 4542D38BE X-Spam-Score: 2.01 X-Migadu-Scanner: scn1.migadu.com X-TUID: eo6bipgPk05T * gnu/packages/sagemath.scm (primecount): New variable. --- gnu/packages/sagemath.scm | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 335d98d9f4..20cc1f3589 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -22,6 +22,7 @@ (define-module (gnu packages sagemath) #:use-module ((guix licenses) #:prefix license:) + #:use-module (guix build-system cmake) #:use-module (guix build-system gnu) #:use-module (guix build-system python) #:use-module (guix download) @@ -400,3 +401,25 @@ (define-public python-pplpy "This Python module pplpy provides a wrapper to the C++ Parma Polyhedra Library (PPL).") (license license:gpl3))) + +(define-public primecount + (package + (name "primecount") + (version "7.4") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/kimwalisch/primecount/") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1dnkkmszc2knrrqmfbwf96ajxd7rpmaw0b8dx6z5r0f9w1wx7ak4")))) + (build-system cmake-build-system) + (arguments '(#:configure-flags (list "-DBUILD_SHARED_LIBS=ON" "-DBUILD_TESTS=ON"))) + (home-page "https://github.com/kimwalisch/primecount/") + (synopsis "Fast prime counting function implementations") + (description "primecount is a command-line program and C/C++ library that counts the number +of primes ≤ x (maximum 10^31) using highly optimized implementations of the +combinatorial prime counting algorithms.") + (license license:bsd-2))) -- 2.37.0