{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/537","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/537/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/537/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/537/events","html_url":"https://github.com/Z3Prover/z3/pull/537","id":143348808,"number":537,"title":"adding flag to build Z3 without direct loading of the Z3-library with Java-Bindings.","user":{"login":"kfriedberger","id":10998542,"avatar_url":"https://avatars.githubusercontent.com/u/10998542?v=3","gravatar_id":"","url":"https://api.github.com/users/kfriedberger","html_url":"https://github.com/kfriedberger","followers_url":"https://api.github.com/users/kfriedberger/followers","following_url":"https://api.github.com/users/kfriedberger/following{/other_user}","gists_url":"https://api.github.com/users/kfriedberger/gists{/gist_id}","starred_url":"https://api.github.com/users/kfriedberger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kfriedberger/subscriptions","organizations_url":"https://api.github.com/users/kfriedberger/orgs","repos_url":"https://api.github.com/users/kfriedberger/repos","events_url":"https://api.github.com/users/kfriedberger/events{/privacy}","received_events_url":"https://api.github.com/users/kfriedberger/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-03-24T20:16:40Z","updated_at":"2016-03-24T20:16:43Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Z3Prover/z3/pulls/537","html_url":"https://github.com/Z3Prover/z3/pull/537","diff_url":"https://github.com/Z3Prover/z3/pull/537.diff","patch_url":"https://github.com/Z3Prover/z3/pull/537.patch"},"body":"This allows the user to choose other loading mechanisms, for example with a different path for the Z3-library.\r\nThis flag is needed, if no static linking is used for the binary and also no LD_LIBRARY_PATH or other searching mechanisms.\r\nFor example, in combination with our project, we know that libz3.so and libz3java.so are in the same directory.\r\nThe flag JAVA_EXTERNAL_LIBRARY_LOADING_FLAG allows to load libz3.so directly from the same directory than other libraries that access it."},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/201002393","html_url":"https://github.com/Z3Prover/z3/pull/537#issuecomment-201002393","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/537","id":201002393,"user":{"login":"msftclas","id":9287708,"avatar_url":"https://avatars.githubusercontent.com/u/9287708?v=3","gravatar_id":"","url":"https://api.github.com/users/msftclas","html_url":"https://github.com/msftclas","followers_url":"https://api.github.com/users/msftclas/followers","following_url":"https://api.github.com/users/msftclas/following{/other_user}","gists_url":"https://api.github.com/users/msftclas/gists{/gist_id}","starred_url":"https://api.github.com/users/msftclas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msftclas/subscriptions","organizations_url":"https://api.github.com/users/msftclas/orgs","repos_url":"https://api.github.com/users/msftclas/repos","events_url":"https://api.github.com/users/msftclas/events{/privacy}","received_events_url":"https://api.github.com/users/msftclas/received_events","type":"User","site_admin":false},"created_at":"2016-03-24T20:16:43Z","updated_at":"2016-03-24T20:16:43Z","body":"Hi __@kfriedberger__, I'm your friendly neighborhood Microsoft Pull Request Bot (You can call me MSBOT). Thanks for your contribution!\r\n    <span>\r\n        In order for us to evaluate and accept your PR, we ask that you sign a contribution license agreement. It's all electronic and will take just minutes. I promise there's no faxing. https://cla.microsoft.com.\r\n    </span>\r\n\r\nTTYL, MSBOT;\r\n"}}