{"id":108,"date":"2013-11-29T00:46:06","date_gmt":"2013-11-28T23:46:06","guid":{"rendered":"http:\/\/www.flamingpenguin.co.uk\/blog\/?p=108"},"modified":"2013-11-29T00:46:59","modified_gmt":"2013-11-28T23:46:59","slug":"build-z3-for-java","status":"publish","type":"post","link":"https:\/\/www.flamingpenguin.co.uk\/blog\/2013\/11\/29\/build-z3-for-java\/","title":{"rendered":"Build z3 for Java"},"content":{"rendered":"<p>To clone z3 using ubuntu Git I had to follow this <a href=\"http:\/\/codeplex.codeplex.com\/workitem\/26133\" title=\"codeplex git workaround\">codeplex Git workaround<\/a><\/p>\n<p>I got the unstable HEAD.<\/p>\n<p>To build z3:<\/p>\n<pre lang=\"bash\">\r\npython scripts\/mk_make.py --java\r\ncd build\r\nmake all examples\r\n<\/pre>\n<p>I also had to set <code>LD_LIBRARY_PATH<\/code> to get the <code>com.microsoft.z3.jar<\/code> code to load the z3 shared libraries correctly. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>To clone z3 using ubuntu Git I had to follow this codeplex Git workaround I got the unstable HEAD. To build z3: python scripts\/mk_make.py &#8211;java cd build make all examples I also had to set LD_LIBRARY_PATH to get the com.microsoft.z3.jar &hellip; <a href=\"https:\/\/www.flamingpenguin.co.uk\/blog\/2013\/11\/29\/build-z3-for-java\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[35],"tags":[],"class_list":["post-108","post","type-post","status-publish","format-standard","hentry","category-symbolic-execution"],"_links":{"self":[{"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/posts\/108","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/comments?post=108"}],"version-history":[{"count":0,"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/posts\/108\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/media?parent=108"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/categories?post=108"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.flamingpenguin.co.uk\/blog\/wp-json\/wp\/v2\/tags?post=108"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}