{"action":"created","issue":{"url":"https://api.github.com/repos/opencog/link-grammar/issues/431","repository_url":"https://api.github.com/repos/opencog/link-grammar","labels_url":"https://api.github.com/repos/opencog/link-grammar/issues/431/labels{/name}","comments_url":"https://api.github.com/repos/opencog/link-grammar/issues/431/comments","events_url":"https://api.github.com/repos/opencog/link-grammar/issues/431/events","html_url":"https://github.com/opencog/link-grammar/issues/431","id":180466959,"number":431,"title":"Problem: In case the bundled libminisat is used, it is installed in the system","user":{"login":"ampli","id":879514,"avatar_url":"https://avatars.githubusercontent.com/u/879514?v=3","gravatar_id":"","url":"https://api.github.com/users/ampli","html_url":"https://github.com/ampli","followers_url":"https://api.github.com/users/ampli/followers","following_url":"https://api.github.com/users/ampli/following{/other_user}","gists_url":"https://api.github.com/users/ampli/gists{/gist_id}","starred_url":"https://api.github.com/users/ampli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ampli/subscriptions","organizations_url":"https://api.github.com/users/ampli/orgs","repos_url":"https://api.github.com/users/ampli/repos","events_url":"https://api.github.com/users/ampli/events{/privacy}","received_events_url":"https://api.github.com/users/ampli/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-10-01T16:50:52Z","updated_at":"2016-10-01T17:15:03Z","closed_at":null,"body":"This is rather problematic because it uses a name that may clash with a package that provides such a library (that may even be incompatible, and in that case LG must use the bundled version), and because this is not a real minisat2 library, as some unneeded (by sat-solver) source files are not even compiled into it.\r\n\r\nI propose to use a static lib for the bundled minisat."},"comment":{"url":"https://api.github.com/repos/opencog/link-grammar/issues/comments/250924349","html_url":"https://github.com/opencog/link-grammar/issues/431#issuecomment-250924349","issue_url":"https://api.github.com/repos/opencog/link-grammar/issues/431","id":250924349,"user":{"login":"linas","id":94368,"avatar_url":"https://avatars.githubusercontent.com/u/94368?v=3","gravatar_id":"","url":"https://api.github.com/users/linas","html_url":"https://github.com/linas","followers_url":"https://api.github.com/users/linas/followers","following_url":"https://api.github.com/users/linas/following{/other_user}","gists_url":"https://api.github.com/users/linas/gists{/gist_id}","starred_url":"https://api.github.com/users/linas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/linas/subscriptions","organizations_url":"https://api.github.com/users/linas/orgs","repos_url":"https://api.github.com/users/linas/repos","events_url":"https://api.github.com/users/linas/events{/privacy}","received_events_url":"https://api.github.com/users/linas/received_events","type":"User","site_admin":false},"created_at":"2016-10-01T17:15:03Z","updated_at":"2016-10-01T17:15:03Z","body":"Sure. static-link it to libsat-solver.so.0 which, by the way, should probably get bumped to version 6 in the makefile."}}
{"actor":{"display_login":"linas"}}