From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id 7beQJW4Qvl+eJgAA0tVLHw (envelope-from ) for ; Wed, 25 Nov 2020 08:06:06 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 4MHdIG4Qvl9CFQAAbx9fmQ (envelope-from ) for ; Wed, 25 Nov 2020 08:06:06 +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 8558C941437 for ; Wed, 25 Nov 2020 07:33:48 +0000 (UTC) Received: from localhost ([::1]:41926 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1khpJC-0005Ie-3i for larch@yhetil.org; Wed, 25 Nov 2020 02:33:46 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:49702) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1khpJ0-0005Hn-7x for help-guix@gnu.org; Wed, 25 Nov 2020 02:33:34 -0500 Received: from flashner.co.il ([178.62.234.194]:58586) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1khpIr-0003sz-79 for help-guix@gnu.org; Wed, 25 Nov 2020 02:33:33 -0500 Received: from localhost (unknown [141.226.15.169]) by flashner.co.il (Postfix) with ESMTPSA id 4005B401FA; Wed, 25 Nov 2020 07:33:23 +0000 (UTC) Date: Wed, 25 Nov 2020 09:32:50 +0200 From: Efraim Flashner To: Julien Lepiller Subject: Re: Unison with non-Guix machines Message-ID: <20201125073250.GE1755@E5400> References: <20201123190518.GA7180@jurong> <87k0ubqg8y.fsf@systemreboot.net> <20201124102434.GA7149@jurong> <86mtz7t4rc.fsf@gmail.com> <20201124105317.GA11053@jurong> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="pY3vCvL1qV+PayAL" Content-Disposition: inline In-Reply-To: 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 Received-SPF: pass client-ip=178.62.234.194; envelope-from=efraim@flashner.co.il; helo=flashner.co.il X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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: , Cc: help-guix@gnu.org 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=none; dmarc=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: -2.61 X-TUID: kzd59g2S8Kpy --pY3vCvL1qV+PayAL Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Nov 24, 2020 at 06:46:51AM -0500, Julien Lepiller wrote: > From guix, you could try: >=20 > guix build unison --with-input=3Docaml=3Docaml@4.07 --with-input=3Docaml-= findlib=3Docaml4.07-findlib >=20 > Or from a manifest, (package-with-ocaml4.07 unison). >=20 I can confirm that it builds but I don't have a way to test it. I suppose other options are to provide a unison-with-ocaml407 package or to create a static output for ocaml with the static build and not just static libraries. > 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 d= oes for you. > >;-) > >> Especially, open the unison doc, look for the compiling options, burn > >> CPU to recompile it. Anyway. :-) > > > >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. > >And since people can use "guix pack". We can reconsider if the > >messages of desperate unison users start flowing in. > > > >Andreas --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --pY3vCvL1qV+PayAL Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl++CJ8ACgkQQarn3Mo9 g1ElIQ//VLHb/yxVVaMu758Zp5HCMdyy3j02I+6r+Ms47258B9Ok7D/rTMVMhj6g FSwmC/PRvr2y54EUnVxRkT0oTUug8MBG+q3FslFG8BJCfAfAPtmfvW+DRWHVTTuJ nlZV51BeU8nBoSLyGa//B4lWbQsVe3Z+WHe0xU79xXnBr4/HgyZyns7KoIfzBIqj U/E0lQ0N8D4BJnPrhNY7z8IxhwNeiq5X6efGNqgbkzHTm2HGjCoieMNwjy5Dr05j Dw/tMf/G91zEdSBzLJiXM3TOWTpogFE84Ef2c5p0g4W1S49vaCLyEepH8vC0brlM osn4GaG8IIGrpMJd6AI5KyrGJWllsIggNvL/oldgMBoPtRttOr0mVHaew/wtzRco 4Zytr5JimjbMY5H/x4oltWHSQ95oUl3eoNLyi9upisk+VrAeQJQthEdNvJoTybwo 86A61O6m6nbgKVz4b+ZVzyGieiDjE+uH4LLhIIRep7zD66j7nDzIKGzgVQeoKusJ Y786kmEedbjCQxNf1rxwBAdAYXbrPqGGnTfToJ/LMkNmyZlcxA7nX9yZRnswUay5 0NVqdcLnEBzVx19sH6VYimAhRCzdtOydG3sv8MrTQQx2dvJeJ7fVTzZEnQ9h7Gs5 S7elCRyVFitINP5imJhY2ewr1kvdoZRweOWiuwets7UpRqO2Ozw= =5pWc -----END PGP SIGNATURE----- --pY3vCvL1qV+PayAL--