unofficial mirror of help-guix@gnu.org 
 help / color / mirror / Atom feed
* Unison with non-Guix machines
@ 2020-11-23 19:05 Andreas Enge
  2020-11-23 22:33 ` zimoun
  2020-11-24  9:02 ` Arun Isaac
  0 siblings, 2 replies; 9+ messages in thread
From: Andreas Enge @ 2020-11-23 19:05 UTC (permalink / raw)
  To: help-guix

Hello,

after the recent move to a newer ocaml version, I cannot unison any more
with my work machine, which has
   unison version 2.51.2 (ocaml 4.07.1)
instead of our new
   unison version 2.51.2 (ocaml 4.09.0)
This raises error messages of this kind:
Fatal error: Server: Fatal error during unmarshaling (input_value: ill-formed message),
possibly because client and server have been compiled with differentversions of the OCaml compiler.
(there are weird languages out there!)

Previously, I had somehow managed to copy a statically linked unison to the
other machine (which does not run Guix). Do you have a tip on how I can
obtain such a version? Possibly with Guix? Or do I need to compile it
by hand?

Andreas



^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-23 19:05 Unison with non-Guix machines Andreas Enge
@ 2020-11-23 22:33 ` zimoun
  2020-11-24  9:02 ` Arun Isaac
  1 sibling, 0 replies; 9+ messages in thread
From: zimoun @ 2020-11-23 22:33 UTC (permalink / raw)
  To: Andreas Enge, help-guix

Hi Andreas,

On Mon, 23 Nov 2020 at 20:05, Andreas Enge <andreas@enge.fr> wrote:

> Fatal error: Server: Fatal error during unmarshaling (input_value: ill-formed message),
> possibly because client and server have been compiled with differentversions of the OCaml compiler.
> (there are weird languages out there!)
>
> Previously, I had somehow managed to copy a statically linked unison to the
> other machine (which does not run Guix). Do you have a tip on how I can
> obtain such a version? Possibly with Guix? Or do I need to compile it
> by hand?

What is the one machine not running Guix?  GNU Linux or something else?

If the other machine is not running Guix but still GNU linux, you can
use “guix pack -RR” and then point the executable to the right location.

  /path/to/relocate/bin/unison
  

If this does not work, and you cannot change the Unison on the other
machine, you can always roll-back to your previous unison.  Somehow,

  guix time-machine --commit=<commit> -- install unison -p /path/to/

where <commit> is the last commit with an Unison working.  Then,

   /path/to/profile/bin/unison


Hope that helps,
simon


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-23 19:05 Unison with non-Guix machines Andreas Enge
  2020-11-23 22:33 ` zimoun
@ 2020-11-24  9:02 ` Arun Isaac
  2020-11-24 10:24   ` Andreas Enge
  1 sibling, 1 reply; 9+ messages in thread
From: Arun Isaac @ 2020-11-24  9:02 UTC (permalink / raw)
  To: Andreas Enge, help-guix


Hi Andreas,

I had a similar problem with my Arch Linux work machine. I installed
Guix (as in running guix-daemon on a foreign distro) on my Arch work
machine, and used Guix to manage the unison package alone. That way, I
always had matching versions. But, you do need root privileges on your
work machine to pull this off.

It's weird that unison expects to be built with the same compiler
version, but it's very nice that Guix can handle this sort of thing
reliably. :-)

Regards,
Arun


^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-24  9:02 ` Arun Isaac
@ 2020-11-24 10:24   ` Andreas Enge
  2020-11-24 10:42     ` zimoun
  0 siblings, 1 reply; 9+ messages in thread
From: Andreas Enge @ 2020-11-24 10:24 UTC (permalink / raw)
  To: Arun Isaac; +Cc: help-guix

Hello Simon and Arun,

thanks a lot for your help! I am not root on the machine, so I could try
"guix pack". Next time - since I also found out a unison specific solution,
which I can share here for future reference:

guix environment unison
tar xvf `guix build unison -S`
cd unison-2.51.2-checkout/
make STATIC=true

That creates a static binary src/unison, which can be copied to the other
machine. It is compatible with the local, dynamically linked unison binary
on my Guix machine.

Andreas



^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-24 10:24   ` Andreas Enge
@ 2020-11-24 10:42     ` zimoun
  2020-11-24 10:53       ` Andreas Enge
  0 siblings, 1 reply; 9+ messages in thread
From: zimoun @ 2020-11-24 10:42 UTC (permalink / raw)
  To: Andreas Enge, Arun Isaac; +Cc: help-guix

Hi Andreas,

On Tue, 24 Nov 2020 at 11:24, Andreas Enge <andreas@enge.fr> wrote:

> guix environment unison
> tar xvf `guix build unison -S`
> cd unison-2.51.2-checkout/
> make STATIC=true

It looks like you are doing by hand what “guix pack” does for you. ;-)
Especially, open the unison doc, look for the compiling options, burn
CPU to recompile it.  Anyway. :-)

BTW, is it worth to add a recipe about Unison in the Cookbook?


Cheers,
simon




^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-24 10:42     ` zimoun
@ 2020-11-24 10:53       ` Andreas Enge
  2020-11-24 11:46         ` Julien Lepiller
  0 siblings, 1 reply; 9+ messages in thread
From: Andreas Enge @ 2020-11-24 10:53 UTC (permalink / raw)
  To: zimoun; +Cc: help-guix

On Tue, Nov 24, 2020 at 11:42:47AM +0100, zimoun wrote:
> It looks like you are doing by hand what “guix pack” does 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



^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-24 10:53       ` Andreas Enge
@ 2020-11-24 11:46         ` Julien Lepiller
  2020-11-25  7:32           ` Efraim Flashner
  0 siblings, 1 reply; 9+ messages in thread
From: Julien Lepiller @ 2020-11-24 11:46 UTC (permalink / raw)
  To: help-guix, Andreas Enge, zimoun

From guix, you could try:

guix build unison --with-input=ocaml=ocaml@4.07 --with-input=ocaml-findlib=ocaml4.07-findlib

Or from a manifest, (package-with-ocaml4.07 unison).

Le 24 novembre 2020 05:53:17 GMT-05:00, Andreas Enge <andreas@enge.fr> a écrit :
>On Tue, Nov 24, 2020 at 11:42:47AM +0100, zimoun wrote:
>> It looks like you are doing by hand what “guix pack” does 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

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-24 11:46         ` Julien Lepiller
@ 2020-11-25  7:32           ` Efraim Flashner
  2020-11-25 12:20             ` zimoun
  0 siblings, 1 reply; 9+ messages in thread
From: Efraim Flashner @ 2020-11-25  7:32 UTC (permalink / raw)
  To: Julien Lepiller; +Cc: help-guix

[-- Attachment #1: Type: text/plain, Size: 1476 bytes --]

On Tue, Nov 24, 2020 at 06:46:51AM -0500, Julien Lepiller wrote:
> From guix, you could try:
> 
> guix build unison --with-input=ocaml=ocaml@4.07 --with-input=ocaml-findlib=ocaml4.07-findlib
> 
> Or from a manifest, (package-with-ocaml4.07 unison).
> 

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 <andreas@enge.fr> a écrit :
> >On Tue, Nov 24, 2020 at 11:42:47AM +0100, zimoun wrote:
> >> It looks like you are doing by hand what “guix pack” does 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

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]

^ permalink raw reply	[flat|nested] 9+ messages in thread

* Re: Unison with non-Guix machines
  2020-11-25  7:32           ` Efraim Flashner
@ 2020-11-25 12:20             ` zimoun
  0 siblings, 0 replies; 9+ messages in thread
From: zimoun @ 2020-11-25 12:20 UTC (permalink / raw)
  To: Efraim Flashner, Julien Lepiller; +Cc: help-guix

Hi,

On Wed, 25 Nov 2020 at 09:32, Efraim Flashner <efraim@flashner.co.il> wrote:

> 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.

From my point of view, in the short term, the OCaml 4.07 packages should
be removed, maybe even the OCaml 4.07 compiler; keeping only the last
one 4.11 and the previous one 4.09.  It reduce the burden and the user
can always use the variants via the “guix time-machine”.

All the best,
simon


^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2020-11-25 12:25 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-11-23 19:05 Unison with non-Guix machines Andreas Enge
2020-11-23 22:33 ` zimoun
2020-11-24  9:02 ` Arun Isaac
2020-11-24 10:24   ` Andreas Enge
2020-11-24 10:42     ` zimoun
2020-11-24 10:53       ` Andreas Enge
2020-11-24 11:46         ` Julien Lepiller
2020-11-25  7:32           ` Efraim Flashner
2020-11-25 12:20             ` zimoun

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).