{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/797","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/797/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/797/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/797/events","html_url":"https://github.com/Z3Prover/z3/pull/797","id":190598453,"number":797,"title":"Refactor OCaml generated file generation in preparation for CMake support","user":{"login":"delcypher","id":511795,"avatar_url":"https://avatars.githubusercontent.com/u/511795?v=3","gravatar_id":"","url":"https://api.github.com/users/delcypher","html_url":"https://github.com/delcypher","followers_url":"https://api.github.com/users/delcypher/followers","following_url":"https://api.github.com/users/delcypher/following{/other_user}","gists_url":"https://api.github.com/users/delcypher/gists{/gist_id}","starred_url":"https://api.github.com/users/delcypher/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/delcypher/subscriptions","organizations_url":"https://api.github.com/users/delcypher/orgs","repos_url":"https://api.github.com/users/delcypher/repos","events_url":"https://api.github.com/users/delcypher/events{/privacy}","received_events_url":"https://api.github.com/users/delcypher/received_events","type":"User","site_admin":false},"labels":[{"id":272538539,"url":"https://api.github.com/repos/Z3Prover/z3/labels/cla-already-signed","name":"cla-already-signed","color":"009800","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2016-11-21T01:12:55Z","updated_at":"2016-12-12T03:27:30Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Z3Prover/z3/pulls/797","html_url":"https://github.com/Z3Prover/z3/pull/797","diff_url":"https://github.com/Z3Prover/z3/pull/797.diff","patch_url":"https://github.com/Z3Prover/z3/pull/797.patch"},"body":"This is a set of refactorings that are necessary to implement CMake support for building the Z3 OCaml bindings.\r\n\r\nThis is very similar to previous refactorings I have done to support the Python, Java and .NET bindings in CMake.\r\n\r\nNote this doesn't implement the CMake support. I will do that in a separate PR once this is approved."},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/266335483","html_url":"https://github.com/Z3Prover/z3/pull/797#issuecomment-266335483","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/797","id":266335483,"user":{"login":"martin-neuhaeusser","id":11831771,"avatar_url":"https://avatars.githubusercontent.com/u/11831771?v=3","gravatar_id":"","url":"https://api.github.com/users/martin-neuhaeusser","html_url":"https://github.com/martin-neuhaeusser","followers_url":"https://api.github.com/users/martin-neuhaeusser/followers","following_url":"https://api.github.com/users/martin-neuhaeusser/following{/other_user}","gists_url":"https://api.github.com/users/martin-neuhaeusser/gists{/gist_id}","starred_url":"https://api.github.com/users/martin-neuhaeusser/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martin-neuhaeusser/subscriptions","organizations_url":"https://api.github.com/users/martin-neuhaeusser/orgs","repos_url":"https://api.github.com/users/martin-neuhaeusser/repos","events_url":"https://api.github.com/users/martin-neuhaeusser/events{/privacy}","received_events_url":"https://api.github.com/users/martin-neuhaeusser/received_events","type":"User","site_admin":false},"created_at":"2016-12-12T03:27:30Z","updated_at":"2016-12-12T03:27:30Z","body":"For Windows, I can try out building with OCaml bindings via Cygwin and the mingw-w64 cross-compiler."}}
{"actor":{"display_login":"martin-neuhaeusser"}}