Unison source compile errors in OCAML -


i trying compile unison source using ocaml compiler(ver 4.01.0) , gnu make 4.0. source code taken link (http://www.seas.upenn.edu/~bcpierce/unison//download/releases/unison-2.27.57/)

i extracted tar.gz , wrote command "make native=false" mentioned in user manual (http://www.seas.upenn.edu/~bcpierce/unison/download/releases/stable/unison-manual.html) see section building unison scratch windows.

code starts compiling few seconds stops , following errors appear:

----------

file "/cygdrive/c/unison_build/unison-2.27.57/update.ml", line 1:  error: implementation /cygdrive/c/unison_build/unison-2.27.57/update.ml  not match interface update.cmi:  ...  in module namemap:  field `split' required not provided  in module namemap:  field `choose' required not provided  in module namemap:  field `max_binding' required not provided  in module namemap:  field `min_binding' required not provided  in module namemap:  field `bindings' required not provided  in module namemap:  field `cardinal' required not provided  in module namemap:  field `partition' required not provided  in module namemap:  field `filter' required not provided  in module namemap:  field `exists' required not provided  in module namemap:  field `for_all' required not provided  in module namemap:  field `merge' required not provided  in module namemap:  field `singleton' required not provided  makefile.ocaml:339: recipe target 'update.cmo' failed  make: *** [update.cmo] error 2

i got exact same error (with ocaml 3.12) , solved patching file update.mli follows (4th line):

-module namemap : map.s type key = name.t +module namemap : mymap.s type key = name.t

note known bug (bug #585453) , got patch debian package here (file 0005-fix-build-with-ocaml-3.12.patch). patch valid @ least 2.27.57 , 2.32.52. in same package can find patch ocaml 4 seems.


Comments

Post a Comment

Popular posts from this blog

php - Submit Form Data without Reloading page -

i know question has been asked , answered bunch of times life of me can not solution work on code. believe if redo code, work properly, , in retrospect time i've spent on issue should have redone code...but beyond deadline , have working prototype up... can advise how update multiple forms on single page without reloading page? horrible @ php , complete noob js/jquery/ajax @ best. html/php in single file , believe causing me problems/is largest obstacle @ getting ajax form processing work. basically, want users to: select teams multiple dropdowns in form group 1 (league champs) , on update update db newly selected team without reloadding page. edit team scores per match , on score submit/update, update db new scores. for each requirement there multiple forms (1 each leagues, 1 each per match) have set class on each form id. everything works via php, form submission reloads page each time submitted , not ideal. i have tried ajax code here http://scotch.io/tutoria...
Read more

linux - Rails running on virtual machine in Windows -

the reason why want switch ubuntu people said gems works better on linux on windows. i don't want macbook pro rails development since love windows , cannot stand lack of apps mac. moreover, people saying ubuntu "better" mac: http://www.reddit.com/r/ubuntu/comments/1bgj1s/are_there_advantages_of_ubuntu_over_os_x_for/ does virtual box work enough doesn't have lag @ all? using i7-3517u cpu 8gb memory. need program in environment lag-free , not sluggish. or there alternatives recommend? i unsure permission settings or complicated stuffs regarding terminal. i'll using terminal develop. i'm still quite new here development in linux. please kind me >< thanks. @holyxiaoxin pretty sure should asking on superuser instead. nevertheless, suggest install ubuntu in partition instead of running virtual machine. here's guide https://help.ubuntu.com/community/windowsdualboot also, yes. developing in virtual machine accurate, @ end experiment w...
Read more