LinuxQuestions.org
Support LQ: Use code LQ3 and save $3 on Domain Registration
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - Software
User Name
Password
Linux - Software This forum is for Software issues.
Having a problem installing a new program? Want to know which application is best for the job? Post your question in this forum.

Notices

Reply
 
Search this Thread
Old 08-24-2010, 05:42 PM   #1
gfarrell
LQ Newbie
 
Registered: May 2010
Location: London
Distribution: Mac OSX, Ubuntu, Debian
Posts: 29

Rep: Reputation: 15
make unison 2.4 on debian squeeze throws implementation/interface mismatch


Hi all,

I'm trying to install unison 2.40.16 on debian squeeze but keep getting this error when using
Code:
make UITYPE=text NATIVE=true
as per the instructions at http://www.cis.upenn.edu/~bcpierce/u...tml#build-unix

Code:
Error: The implementation /home/gideon/unison-2.40.16/update.ml
       does not match the interface update.cmi:
       Modules do not match:
         sig
           type key = Name.t
           type 'a t = 'a MyMap.Make(Name).t
           val empty : 'a t
           val is_empty : 'a t -> bool
           val add : key -> 'a -> 'a t -> 'a t
           val find : key -> 'a t -> 'a
           val findi : key -> 'a t -> key * 'a
           val remove : key -> 'a t -> 'a t
           val mem : key -> 'a t -> bool
           val iter : (key -> 'a -> unit) -> 'a t -> unit
           val map : ('a -> 'b) -> 'a t -> 'b t
           val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
           val mapii : (key -> 'a -> key * 'b) -> 'a t -> 'b t
           val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
           val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
           val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
           val validate :
             'a t -> [ `Duplicate of key | `Invalid of key * key | `Ok ]
         end
       is not included in
         sig
           type key = Name.t
           type +'a t
           val empty : 'a t
           val is_empty : 'a t -> bool
           val mem : key -> 'a t -> bool
           val add : key -> 'a -> 'a t -> 'a t
           val singleton : key -> 'a -> 'a t
           val remove : key -> 'a t -> 'a t
           val merge :
             (key -> 'a option -> 'b option -> 'c option) ->
             'a t -> 'b t -> 'c t
           val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
           val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
           val iter : (key -> 'a -> unit) -> 'a t -> unit
           val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
           val for_all : (key -> 'a -> bool) -> 'a t -> bool
           val exists : (key -> 'a -> bool) -> 'a t -> bool
           val filter : (key -> 'a -> bool) -> 'a t -> 'a t
           val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
           val cardinal : 'a t -> int
           val bindings : 'a t -> (key * 'a) list
           val min_binding : 'a t -> key * 'a
           val max_binding : 'a t -> key * 'a
           val choose : 'a t -> key * 'a
           val split : key -> 'a t -> 'a t * 'a option * 'a t
           val find : key -> 'a t -> 'a
           val map : ('a -> 'b) -> 'a t -> 'b t
           val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
         end
       The field `split' is required but not provided
       The field `choose' is required but not provided
       The field `max_binding' is required but not provided
       The field `min_binding' is required but not provided
       The field `bindings' is required but not provided
       The field `cardinal' is required but not provided
       The field `partition' is required but not provided
       The field `filter' is required but not provided
       The field `exists' is required but not provided
       The field `for_all' is required but not provided
       The field `merge' is required but not provided
       The field `singleton' is required but not provided
make: *** [update.cmx] Error 2
I've already successfully installed this on my mac so I'm not entirely sure what's going on here? I'm also a little bit out of my comfort zone with ocamlc.
 
Old 08-24-2010, 07:04 PM   #2
pljvaldez
Guru
 
Registered: Dec 2005
Location: Somewhere on the String
Distribution: Debian Squeeze (x86)
Posts: 6,092

Rep: Reputation: 269Reputation: 269Reputation: 269
I can't help with that, but is there any reason you don't just use the one from the main Debian repositories? Is there a killer feature in 2.40.16 that you need?
 
Old 08-25-2010, 04:24 AM   #3
gfarrell
LQ Newbie
 
Registered: May 2010
Location: London
Distribution: Mac OSX, Ubuntu, Debian
Posts: 29

Original Poster
Rep: Reputation: 15
Quote:
Originally Posted by pljvaldez View Post
I can't help with that, but is there any reason you don't just use the one from the main Debian repositories? Is there a killer feature in 2.40.16 that you need?
I have 2.40.16 on my mac because that is the version which has compilation instructions for mac (so I assumed that that would be the only one that would really work on a mac).

Unison was being a little bit stupid and not liking having 2.32 on my server. I'll just try and downgrade both and see what happens.
 
Old 08-25-2010, 04:26 AM   #4
gfarrell
LQ Newbie
 
Registered: May 2010
Location: London
Distribution: Mac OSX, Ubuntu, Debian
Posts: 29

Original Poster
Rep: Reputation: 15
As I though, I cannot make 2.32 on my mac, I get build errors for missing sdks.
 
Old 08-25-2010, 04:36 AM   #5
gfarrell
LQ Newbie
 
Registered: May 2010
Location: London
Distribution: Mac OSX, Ubuntu, Debian
Posts: 29

Original Poster
Rep: Reputation: 15
I just used the ports version, that should do the trick on my mac, so now the linux one is at the right version.
 
Old 01-23-2011, 01:02 PM   #6
Moy Easwaran
Member
 
Registered: Dec 2004
Distribution: Slackware, OpenBSD
Posts: 44

Rep: Reputation: 19
Alternate solution

I also had gfarrell's original problem. It turns out that version 3.12 of Ocaml, released 2010-08-02, gives the error above. The previous version, 3.11.2, released on 2010-01-20, does not give this error :-).

Best,

Moy
 
  


Reply

Tags
debian, make, unison


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
[SOLVED] how do I make unison transfer newer files during sync? ratgod Linux - Software 2 05-24-2010 02:18 PM
kernel 2.6.30rc7 make and compile errors on debian squeeze dougallinux Linux - Kernel 6 05-28-2009 05:08 PM
Make error with GTK+ (-> UNISON) JacquesMaeder Linux - Software 0 03-12-2006 11:44 AM


All times are GMT -5. The time now is 10:36 AM.

Main Menu
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
identi.ca: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration