From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 8IxRLAkpU2LUSQAAgWs5BA (envelope-from ) for ; Sun, 10 Apr 2022 20:59:21 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 8BfTJAkpU2JCkwAAG6o9tA (envelope-from ) for ; Sun, 10 Apr 2022 20:59:21 +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 431C930189 for ; Sun, 10 Apr 2022 20:59:21 +0200 (CEST) Received: from localhost ([::1]:40338 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ndcmO-0005uo-Ct for larch@yhetil.org; Sun, 10 Apr 2022 14:59:20 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57680) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ndcm7-0005rd-S2 for guix-patches@gnu.org; Sun, 10 Apr 2022 14:59:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47602) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1ndcm6-0006c6-4R for guix-patches@gnu.org; Sun, 10 Apr 2022 14:59:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1ndcm6-0005lw-45 for guix-patches@gnu.org; Sun, 10 Apr 2022 14:59:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#54796] [PATCH v4 17/22] gnu: Add erlang-proper. Resent-From: Hartmut Goebel Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 10 Apr 2022 18:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 54796 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 54796@debbugs.gnu.org Received: via spool by 54796-submit@debbugs.gnu.org id=B54796.164961709022047 (code B ref 54796); Sun, 10 Apr 2022 18:59:02 +0000 Received: (at 54796) by debbugs.gnu.org; 10 Apr 2022 18:58:10 +0000 Received: from localhost ([127.0.0.1]:41482 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ndclF-0005jO-Bm for submit@debbugs.gnu.org; Sun, 10 Apr 2022 14:58:09 -0400 Received: from mout.kundenserver.de ([217.72.192.74]:54211) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ndclC-0005gd-OA for 54796@debbugs.gnu.org; Sun, 10 Apr 2022 14:58:07 -0400 Received: from hermia.goebel-consult.de ([87.176.137.15]) by mrelayeu.kundenserver.de (mreue106 [212.227.15.183]) with ESMTPSA (Nemesis) id 1Mzy6q-1nrbR906a6-00x5JJ for <54796@debbugs.gnu.org>; Sun, 10 Apr 2022 20:58:01 +0200 Received: from thisbe.goebel-consult.de (hermia.goebel-consult.de [192.168.110.7]) by hermia.goebel-consult.de (Postfix) with ESMTP id 7759A6648A; Sun, 10 Apr 2022 20:57:33 +0200 (CEST) From: Hartmut Goebel Date: Sun, 10 Apr 2022 20:57:15 +0200 Message-Id: X-Mailer: git-send-email 2.30.2 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K1:PFLhPhQStavVYsx8julM1xMfZjqeDN5+M51rGs2BHtFNXc9LNfg J+MZ7bzbb0Gpkv4uKXErFqhQnzjk0gJmesn2grKP5OqEwrst0GO0Rq6Z523pFpYjyunH8HP KAD2OPYAwe3v+tbXccvmSjOWZvmLpRsW7INgUGn+bZYTbPTTD1DZo/oImM1EnRw2fmaeqN5 EgkTc+3JhK6NdOw/f6TAw== X-UI-Out-Filterresults: notjunk:1;V03:K0:S/MFqTo+LBo=:dZTqxy0ieK6WKLSwapKpDo roKFELinUjf4ROxnVeaWoWFBsoIDZyo1VHyNpvnxlBKLbqTA3o0wWHmvvdxHUEZnIHcu+TlYb wXhPO7qxS7sqwyMF7zWDnnpZHe+XUgT8hERDvpUE2tZJ1iEhdajSZ+be+Ff1wWBAtB6KcOP0L DT68xfHxuvv4XN2jqwFib0x8V7L1OgSOx3IXa2s1kpr8AuypQamB50FPcXF4JKUUbozzloFoM l3fDFKTsSavpHMUxohHSGn/dcHTZy9zGLvoKXz9UQZV8NZochtUtBz0LEQ8p0TRM3vqZIb1K7 yHyw9rvwHBpeZLdXqNKtpOq1zXnGr8S0fJXaIMqgIuOQ9zCYKrQwrr4bEzjzPnpCaVv2LxApE Pjx7bdSkoHhMqx6Mf++CdVSD17zbjZSPot3L9+qSse/8TjbH2yTIkeEb5P0hzvnqfvXpZfVTQ gMkfBvfdiXpv2KCCJG+vz8c2kK4pMGrRwGtAjd6h8N3A1VsFAtn3jli3HV4Ngo4mDJ/Y4x/Aj OT8ZrA0xcvD8Wj9EmLAx7QErUwea4muHqhPpfAVKzQzF6kVRajt0NAIC3G1e86uh3Z7KiOJmA i8Z++OfxP1AwfU5zqH9unfSBuBmqYDv3u5tN5/PO0JRRKR5eff7ftzho2aqKP1Arf7jkNpc4C VMYHqyGuBv2HA25T6gCDL6SQ5MwTG66reHujsYluqlw3DoD4E7SwQfEOvvRUIRldCdmDEsOkw OwsLaaLRnzWeNUsJ 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=1649617161; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: 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; bh=1Qojohua09i8XYqKPKJB00uYVE0P8oFT4k8SMKAUQjE=; b=YtJJR/+ZKOxX5lnIzFBm/aprCoiChC5M0sG+PFmklOG1/DRq0lGdxarGokB8MqMy24ph/g jwotb0NzkbzayUtl65ThfHGT34zKEJ4cha28Wuc5rtKAhncBC4o6c93HzCYhl7ecWg3PyO 0wZ51KD3ayo0DJETQccRJMpRkIXHdAh5rNB8AkmPpmR48RztDxVsoddjApCllmss7uTSUz G7L7hXDbVUaCpZ4oM6I1EW6fiSQix4Obcsa4w2V3yfkwdrson/QhN6pI+9FLm1tufQsAuX RmA/QYn4CPxAw6lyy+TCzaQHIJ/p5hhBB8vR1bdqQ1U/armpEPoGBD7s039JFw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1649617161; a=rsa-sha256; cv=none; b=d/6lcvezmbCcXwKcdFdR1FZK5qHDM/iAExJwECedTbYQ8M8Vi3icQi0I/drJ+SGffOsekx L1mLh4JcSMrG2x5hRwx4MvvAQOBC5+4RXPKN6wyKgZEgbR/O0PR+5BlIy7p/ImJ0G7tKNU 77fYhkUImivYY3NhG2GZ+Vufs2sMtxAkHOTWtozyKPtx3Onah4/pGdYSfByBoeYrGREaIT a8ZKB3A8WeFZ/KroKqfOLS0yeMoNQ6e9+FLNoexW7u+RoN3vlqcCr3/qE4WxYfflfabOa9 QpOySclOfJvhWw5nQdo/Q8M7qBNa+MDiwhMxf7PH8GWcUMU/vZkpZ7OJlibd1A== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; 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.57 Authentication-Results: aspmx1.migadu.com; dkim=none; 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: 431C930189 X-Spam-Score: -2.57 X-Migadu-Scanner: scn0.migadu.com X-TUID: jRVk/AslLJxJ * gnu/packages/erlang.scm (erlang-proper): New variable. --- gnu/packages/erlang.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/erlang.scm b/gnu/packages/erlang.scm index fdc59894c0..33ac324074 100644 --- a/gnu/packages/erlang.scm +++ b/gnu/packages/erlang.scm @@ -450,6 +450,33 @@ evaluating an expression at compile-time and substitute the result as a compile-time constant.") (license license:asl2.0))) +(define-public erlang-proper + (package + (name "erlang-proper") + (version "1.4.0") + (source + (origin + (method url-fetch) + (uri (hexpm-uri "proper" version)) + (sha256 + (base32 "1fwcas4a9kz3w3z1jqdk9lw8822srfjk9lcpvbxkxlsv3115ha0q")))) + (build-system rebar3-build-system) + (arguments + `(#:phases + (modify-phases %standard-phases + (add-after 'unpack 'disable-covertool + ;; no need to generate a coverage report + (lambda _ + (substitute* "rebar.config" + (("\\{plugins, \\[covertool\\]\\}\\." _) ""))))))) + (home-page "https://proper-testing.github.io/") + (synopsis "QuickCheck-inspired property-based testing tool for Erlang") + (description "PropEr is a tool for the automated, semi-random, +property-based testing of Erlang programs. It is fully integrated with +Erlang's type language, and can also be used for the model-based random +testing of stateful systems.") + (license license:gpl3+))) + (define-public erlang-providers (package (name "erlang-providers") -- 2.30.2