{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 Root（大扎） 的问题《Compiling z3 ocaml binding in linux》','https://www.manongdao.com/q-881172.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
I am trying to compile the OCaml binding for z3 in Linux.
I tried using the provided Makefile: I did "make ocamlrelease" but it aborts with the error cp: cannot stat `ml_release/build-lib.sh': No such file or directory
I also read the included readme.txt in the ml directory and it says to use SLAM and SDT, but these seem to work only in Windows, not Linux.
How can I compile the OCaml binding?
Thanks, José
We are currently working on this issue. It should be fixed soon. Right now, the ML bindings available at http://z3.codeplex.com do not work. There are some broken references and Windows only dependencies. This will be fixed.