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 ms11 with LMTPS id 4NY7MNTyvF91ZAAA0tVLHw (envelope-from ) for ; Tue, 24 Nov 2020 11:47:32 +0000 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 MK4nLNTyvF+UPgAAB5/wlQ (envelope-from ) for ; Tue, 24 Nov 2020 11:47:32 +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 17B2B9402A5 for ; Tue, 24 Nov 2020 11:47:31 +0000 (UTC) Received: from localhost ([::1]:57872 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1khWnB-0002uY-Jg for larch@yhetil.org; Tue, 24 Nov 2020 06:47:29 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:51064) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1khWmv-0002uH-3c for help-guix@gnu.org; Tue, 24 Nov 2020 06:47:13 -0500 Received: from lepiller.eu ([2a00:5884:8208::1]:42090) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1khWmr-0006lp-GP for help-guix@gnu.org; Tue, 24 Nov 2020 06:47:12 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 50a9cc93; Tue, 24 Nov 2020 11:47:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:from:message-id; s=dkim; bh=9xNaeu8Q2K02JL3TveA6WvyJQvT2JbwgV8M08sxz68g=; b=Gu22HghlNmqa gL/AhsXcjm6TjtVa+BBMzsLjYsObAHRAOkasVFNrLooZCiSp0ftid9/igRzZr4dM MGBc60RgCBIWoVz92IG82qDUQG+rdoAZBatgTpe3hOkRkU91PrEIHiFP/sxV5cPw dumMWcvU5/jkYqzZsbhZNO2yeWhR+SPY1fw4vaoOPBnBMl4VB55vB+AzinvC1im3 hOQ8vBe1z4I6moJxcg7QdrxMdyEt8yn30XEeLQ7nKnR+4KCxesYJHsF4FNiOf6Q4 DNjx/oUW+B4cZRMljR82/fy9CrU+Ywkv8y5In3Q8kqqLWKaCdXZ2kMCOh9hvfo8W 7BHj/yU9Qw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id bd3c4d8f (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 24 Nov 2020 11:47:03 +0000 (UTC) Date: Tue, 24 Nov 2020 06:46:51 -0500 User-Agent: K-9 Mail for Android In-Reply-To: <20201124105317.GA11053@jurong> References: <20201123190518.GA7180@jurong> <87k0ubqg8y.fsf@systemreboot.net> <20201124102434.GA7149@jurong> <86mtz7t4rc.fsf@gmail.com> <20201124105317.GA11053@jurong> MIME-Version: 1.0 Subject: Re: Unison with non-Guix machines To: help-guix@gnu.org, Andreas Enge , zimoun From: Julien Lepiller Message-ID: Received-SPF: pass client-ip=2a00:5884:8208::1; envelope-from=julien@lepiller.eu; helo=lepiller.eu X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.23 X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (body hash did not verify) header.d=lepiller.eu header.s=dkim header.b=Gu22Hghl; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of help-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=help-guix-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: m5f+NHREPTUZ From=20guix, you could try: guix build unison --with-input=3Docaml=3Docaml@4=2E07 --with-input=3Docaml= -findlib=3Docaml4=2E07-findlib Or from a manifest, (package-with-ocaml4=2E07 unison)=2E Le 24 novembre 2020 05:53:17 GMT-05:00, Andreas Enge a= =C3=A9crit : >On Tue, Nov 24, 2020 at 11:42:47AM +0100, zimoun wrote: >> It looks like you are doing by hand what =E2=80=9Cguix pack=E2=80=9D do= es for you=2E >;-) >> Especially, open the unison doc, look for the compiling options, burn >> CPU to recompile it=2E Anyway=2E :-) > >Exactly, that kind of thing! But I had some time to spend in an >audioconference so could have a look at the source code :) > >> BTW, is it worth to add a recipe about Unison in the Cookbook? > >Probably not, since nobody else complained about the problem=2E >And since people can use "guix pack"=2E We can reconsider if the >messages of desperate unison users start flowing in=2E > >Andreas