Discussion:
[unison-users] Trying to install unison 2.48.3
Mike Diehl mdiehl@diehlnet.com [unison-users]
2017-09-16 17:19:38 UTC
Permalink
Hi all,

I'm trying to install unison version 2.48.3 since that's the version installed on all of my other machines.

However, I'm getting a compilation error:


===================================================================
File "/var/tmp/portage/net-misc/unison-2.48.3/work/unison-2.48.3/system.ml", line 1:
Error: The implementation /var/tmp/portage/net-misc/unison-2.48.3/work/unison-2.48.3/system.ml
does not match the interface system.cmi:
Values do not match:
val symlink : ?to_dir:bool -> string -> string -> unit
is not included in
val symlink : string -> fspath -> unit
make: *** [Makefile.OCaml:435: system.cmx] Error 2
* ERROR: net-misc/unison-2.48.3::gentoo failed (compile phase):
* emake failed
===================================================================

The entire build log can be seen here: http://dpaste.com/1D1FYNW

Any ideas?
--
Mike Diehl
Alan Schmitt alan.schmitt@polytechnique.org [unison-users]
2017-09-18 07:20:13 UTC
Permalink
Hello Mike,
Post by Mike Diehl ***@diehlnet.com [unison-users]
Hi all,
I'm trying to install unison version 2.48.3 since that's the version
installed on all of my other machines.
===================================================================
Error: The implementation /var/tmp/portage/net-misc/unison-2.48.3/work/unison-2.48.3/system.ml
val symlink : ?to_dir:bool -> string -> string -> unit
is not included in
val symlink : string -> fspath -> unit
make: *** [Makefile.OCaml:435: system.cmx] Error 2
* emake failed
===================================================================
The entire build log can be seen here: http://dpaste.com/1D1FYNW
Any ideas?
I think you are using a recent ocaml where the signature of the
Unix.symlink function has changed, so you need to apply this patch:
https://github.com/bcpierce00/unison/commit/4473822b5aa6de3e849ca6c958b365a71edbca4f

Basically, in src/system/system_generic.ml, replace

let symlink = Unix.symlink

with

let symlink s1 s2 = Unix.symlink s1 s2

Benjamin: should we create a 2.48 branch that incorporates this fix?

Best,

Alan
--
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2017-08: 405.07, 2016-08: 402.25
'Benjamin C. Pierce' bcpierce@cis.upenn.edu [unison-users]
2017-09-18 10:32:28 UTC
Permalink
Post by Alan Schmitt ***@polytechnique.org [unison-users]
Benjamin: should we create a 2.48 branch that incorporates this fix?
Yes, probably so.

And we are due for a new regular release anyway


- B
Alan Schmitt alan.schmitt@polytechnique.org [unison-users]
2017-09-18 12:14:57 UTC
Permalink
Post by 'Benjamin C. Pierce' ***@cis.upenn.edu [unison-users]
Post by Alan Schmitt ***@polytechnique.org [unison-users]
Benjamin: should we create a 2.48 branch that incorporates this fix?
Yes, probably so.
And we are due for a new regular release anyway

I created the branch unison-2.48 and pushed that fix. I don't know how
to do a release, however.

Best,

Alan
--
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂, Mauna Loa Obs. 2017-08: 405.07, 2016-08: 402.25
Loading...