From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id OEHIE3tjkmHrUwAAgWs5BA (envelope-from ) for ; Mon, 15 Nov 2021 14:41:15 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id sIZpD3tjkmFMHQAAB5/wlQ (envelope-from ) for ; Mon, 15 Nov 2021 13:41:15 +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 CDB712B53A for ; Mon, 15 Nov 2021 14:41:14 +0100 (CET) Received: from localhost ([::1]:54960 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mmcET-0004tX-Hq for larch@yhetil.org; Mon, 15 Nov 2021 08:41:13 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34838) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mmcEI-0004pw-S1 for guix-patches@gnu.org; Mon, 15 Nov 2021 08:41:02 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:41467) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mmcEI-0004cu-Iu for guix-patches@gnu.org; Mon, 15 Nov 2021 08:41:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mmcEI-0008OY-Cd for guix-patches@gnu.org; Mon, 15 Nov 2021 08:41:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#51351] [PATCH] gnu: pplacer: Fix build. Resent-From: Efraim Flashner Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 15 Nov 2021 13:41:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 51351 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Julien Lepiller Cc: 51351@debbugs.gnu.org Received: via spool by 51351-submit@debbugs.gnu.org id=B51351.163698361732199 (code B ref 51351); Mon, 15 Nov 2021 13:41:02 +0000 Received: (at 51351) by debbugs.gnu.org; 15 Nov 2021 13:40:17 +0000 Received: from localhost ([127.0.0.1]:53013 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mmcDZ-0008NH-JA for submit@debbugs.gnu.org; Mon, 15 Nov 2021 08:40:17 -0500 Received: from flashner.co.il ([178.62.234.194]:46810) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mmcDW-0008Mw-C1 for 51351@debbugs.gnu.org; Mon, 15 Nov 2021 08:40:15 -0500 Received: from localhost (unknown [141.226.12.213]) by flashner.co.il (Postfix) with ESMTPSA id 52E4C40178; Mon, 15 Nov 2021 13:40:08 +0000 (UTC) Date: Mon, 15 Nov 2021 15:39:35 +0200 From: Efraim Flashner Message-ID: Mail-Followup-To: Efraim Flashner , Julien Lepiller , 51351@debbugs.gnu.org References: <20211023163008.017145c3@tachikoma.lepiller.eu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="U85arqMHI+MusAx4" Content-Disposition: inline In-Reply-To: <20211023163008.017145c3@tachikoma.lepiller.eu> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 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-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1636983674; 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: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=rN3ngv3UL4i0Bddr/JbrXN06ENM5DKQR8z9UPR0InqA=; b=UDI6kyAwsj8ROt3FcKuko726BiU94zyfaFtIA0jbqXB7vbxSGlmjyQ0AolU5U12X0Sr1zY 2QDMCzj7/NY1p/CYI6Uh68z9E9PMJTRWAZcJxcz16HfLG+exz6DJ79wqPn1+GDpMrm+laF i1cPgrSkxSGJ2wn5AMMA5lStSIvaMOOw/yXh8hWChOXIVA0ylU59ECiKJ5zfE93SK61k16 yRNgKxR/kcFLBOTm/hJz5a5CfatoekMGowRCmE5oYduXfXKEKhj7R5bdJqthXK/Bw93kLt ie8Lgg9klxYLD3+TayymE0Eu6iYkS8wD7ZMHL5dYVvYMZFBraBtpSjS75v9l6g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1636983674; a=rsa-sha256; cv=none; b=CHpbdRbaDJYcO4rIQQBW1eGLs+4GG7J6b6kad+YggGxaA19j3faNInVoqga2bIkmnTOEs9 4LP5qrPSnmJT7coXdLPCNkb4REvzY3Hn60WU17FrtB5SFQDduW8AMU/vzq0/UVM/t12zpJ G3KZ+sc69i52Sz9g26ozL4msousgsalEA1uwyJStBwzoSMv+SQFBdKb0+tHDkI5Alqv0f+ N8kI0a/bLUvo6JdEmQ9YhWzyv1Crnas/kJ+dyT3I4cfAM4pmhxDO5o5e4fYV4ajbiq2WiJ scSGqir+LD3/MocDMGg/uSDJfUOhQUs6gq0tUZAc9WoTysGH2gJuCZC0gYRbaw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=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: -4.44 Authentication-Results: aspmx1.migadu.com; dkim=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: CDB712B53A X-Spam-Score: -4.44 X-Migadu-Scanner: scn0.migadu.com X-TUID: sm6m3eA5EGww --U85arqMHI+MusAx4 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Oct 23, 2021 at 04:30:08PM +0200, Julien Lepiller wrote: > From b77fb136a6f1e4ecceb0ddbd2a0318af80721d50 Mon Sep 17 00:00:00 2001 > Message-Id: > In-Reply-To: <5a85894ee405d2fbe909b61fb3817aa44d6a08df.1634999221.git.jul= ien@lepiller.eu> > References: <5a85894ee405d2fbe909b61fb3817aa44d6a08df.1634999221.git.juli= en@lepiller.eu> > From: Julien Lepiller > Date: Sat, 23 Oct 2021 15:26:54 +0200 > Subject: [PATCH 2/6] gnu: Add ocaml4.07-alcotest. >=20 > * gnu/packages/ocaml.scm (ocaml4.07-alcotest): New variable. > --- > gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++ > 1 file changed, 25 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 412e9e339d..a8f5faaf1d 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -2268,6 +2268,7 @@ (define-public ocaml-alcotest > ("ocaml-stdlib-shims" ,ocaml-stdlib-shims) > ("ocaml-uuidm" ,ocaml-uuidm) > ("ocaml-uutf" ,ocaml-uutf))) > + (properties `((ocaml4.07-variant . ,(delay ocaml4.07-alcotest)))) > (home-page "https://github.com/mirage/alcotest") > (synopsis "Lightweight OCaml test framework") > (description "Alcotest exposes simple interface to perform unit test= s. It > @@ -2278,6 +2279,30 @@ (define-public ocaml-alcotest > simple (yet expressive) query language to select the tests to run.") > (license license:isc))) > =20 > +(define-public ocaml4.07-alcotest > + (package-with-ocaml4.07 > + (package > + (inherit ocaml-alcotest) > + (version "1.0.1") > + (source (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/mirage/alcotest") > + (commit version))) > + (file-name (git-file-name "ocaml-alcotest" version)) > + (sha256 > + (base32 > + "1frwi185z4aadmaf0vp8xk5227nyg7nmh28ijj5l7ncjr5slvhz8"= )))) This package builds just fine without the changes to arguments. > + (arguments > + `(#:test-target "." > + #:package "alcotest" > + #:phases > + (modify-phases %standard-phases > + (add-after 'unpack 'fix-dune-version > + (lambda _ > + (delete-file "dune-project")))))) > + (properties '())))) > + > (define-public ocaml-ppx-tools > (package > (name "ocaml-ppx-tools") > --=20 > 2.33.0 >=20 --=20 Efraim Flashner =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 = =D7=9D=D7=99=D7=A8=D7=A4=D7=90 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --U85arqMHI+MusAx4 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmGSYxIACgkQQarn3Mo9 g1EFGxAAtjxgszy2A9y1qP97le+gefTnJKxCanPVWugTyv1REZ7I6wL9MECpsHAk C/Euk3qDJY52KZgg8C3cDlDEbl39pTN9eTeSOft080SFFGZK+xoKQme/RNWvByR7 JwSlJF8abuZGf1gSRgXS28aADssZEtoyRYksf3Ibb1p9cECHbwo4HjM14hQ+CFOr VTjHwXAf3WsjUZO5PWVwmqsW5drOl8GsljUC3AlRvdE8FDO6FdgVw+xgUkRZmtZe zuop2U0C9oq/TQnFED4ygEzDD4/YhRyjhhWQ/AcN1p4DbLhnonh3lG1frRPQfBFr 5wQ9sdkdkICrlpkLLEuAA/nwpOzxaM/7B7FY6nfQGVTPjZEGZNOpwEXmU/Rk95ft 2PLZPA7Dr9iX3f6zziJ3UJC9KzSRI1itGgCszZeB+bun/Q+bBaTlslHI/z4n3w69 yMgh0aagPmst7iTpR4QnOADKCqnHrTMy271rYclnJeqwr1NwvQoW5LnTOvM8O5AO isNqusiGRORkO5mhFNAxOCVFOrOT0zZSD8qE7g9oVUqhdXSIEgGHHtw8uVNqs3rQ OkMY11YVYfojV56JN6s8OpbkABzkCFNKXbGv5Ze4qONYh6gy62ANFx76VgeQ8tN2 eDBaLt8AHV1dEqnOhvXatB9t6/QQrMjqicg5wd62Ix2QGA5lKBU= =tZQc -----END PGP SIGNATURE----- --U85arqMHI+MusAx4--