{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/java-smt/issues/31","repository_url":"https://api.github.com/repos/sosy-lab/java-smt","labels_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/31/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/31/comments","events_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/31/events","html_url":"https://github.com/sosy-lab/java-smt/issues/31","id":130016544,"number":31,"title":"Make sure Z3 binary does not depend on GLIBC >= 2.11","user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":16,"created_at":"2016-01-30T17:35:34Z","updated_at":"2016-05-17T16:20:01Z","closed_at":null,"body":"Otherwise it does not work on Ubuntu 10.04."},"comment":{"url":"https://api.github.com/repos/sosy-lab/java-smt/issues/comments/219771668","html_url":"https://github.com/sosy-lab/java-smt/issues/31#issuecomment-219771668","issue_url":"https://api.github.com/repos/sosy-lab/java-smt/issues/31","id":219771668,"user":{"login":"cheshire","id":348959,"avatar_url":"https://avatars.githubusercontent.com/u/348959?v=3","gravatar_id":"","url":"https://api.github.com/users/cheshire","html_url":"https://github.com/cheshire","followers_url":"https://api.github.com/users/cheshire/followers","following_url":"https://api.github.com/users/cheshire/following{/other_user}","gists_url":"https://api.github.com/users/cheshire/gists{/gist_id}","starred_url":"https://api.github.com/users/cheshire/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cheshire/subscriptions","organizations_url":"https://api.github.com/users/cheshire/orgs","repos_url":"https://api.github.com/users/cheshire/repos","events_url":"https://api.github.com/users/cheshire/events{/privacy}","received_events_url":"https://api.github.com/users/cheshire/received_events","type":"User","site_admin":false},"created_at":"2016-05-17T16:20:01Z","updated_at":"2016-05-17T16:20:01Z","body":"Strangely I was able to do create a shared object which combines libz3j.so and libz3.so, yet it complaints about OpenMP (should we link it statically like we do for GMP in MathSAT?).\r\n\r\nWith this approach we lose the ability to let user substitute the shared object themselves, which is IMO important."}}