{"action":"opened","number":232,"pull_request":{"url":"https://api.github.com/repos/msoos/cryptominisat/pulls/232","id":33331351,"html_url":"https://github.com/msoos/cryptominisat/pull/232","diff_url":"https://github.com/msoos/cryptominisat/pull/232.diff","patch_url":"https://github.com/msoos/cryptominisat/pull/232.patch","issue_url":"https://api.github.com/repos/msoos/cryptominisat/issues/232","number":232,"state":"open","locked":false,"title":"link public against M4RI_LIBRARIES","user":{"login":"finnhaedicke","id":853839,"avatar_url":"https://avatars.githubusercontent.com/u/853839?v=3","gravatar_id":"","url":"https://api.github.com/users/finnhaedicke","html_url":"https://github.com/finnhaedicke","followers_url":"https://api.github.com/users/finnhaedicke/followers","following_url":"https://api.github.com/users/finnhaedicke/following{/other_user}","gists_url":"https://api.github.com/users/finnhaedicke/gists{/gist_id}","starred_url":"https://api.github.com/users/finnhaedicke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/finnhaedicke/subscriptions","organizations_url":"https://api.github.com/users/finnhaedicke/orgs","repos_url":"https://api.github.com/users/finnhaedicke/repos","events_url":"https://api.github.com/users/finnhaedicke/events{/privacy}","received_events_url":"https://api.github.com/users/finnhaedicke/received_events","type":"User","site_admin":false},"body":"This way other CMake projects can pick up M4RI, even when it is installed locally.\r\n\r\nCurrently the imported target `m4ri` is exported, which will resolve to a locally installed m4ri library in `/usr/lib`, but will not work when m4ri is installed locally.\r\nWith this patch the full path to the library is exported.\r\n\r\nThis works, when m4ri, cryptominisat and the client using it (e.g. STP) are build on the same system but will fail when cryptominisat is packaged and used on a system with a different location. However currently this also only works when m4ri is installed system-wide on the new system.","created_at":"2015-04-15T08:12:05Z","updated_at":"2015-04-15T08:12:05Z","closed_at":null,"merged_at":null,"merge_commit_sha":null,"assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/msoos/cryptominisat/pulls/232/commits","review_comments_url":"https://api.github.com/repos/msoos/cryptominisat/pulls/232/comments","review_comment_url":"https://api.github.com/repos/msoos/cryptominisat/pulls/comments{/number}","comments_url":"https://api.github.com/repos/msoos/cryptominisat/issues/232/comments","statuses_url":"https://api.github.com/repos/msoos/cryptominisat/statuses/2c03645e06581a8c39a1ec7c32b3935f03d308f3","head":{"label":"finnhaedicke:export-m4ri-dependency","ref":"export-m4ri-dependency","sha":"2c03645e06581a8c39a1ec7c32b3935f03d308f3","user":{"login":"finnhaedicke","id":853839,"avatar_url":"https://avatars.githubusercontent.com/u/853839?v=3","gravatar_id":"","url":"https://api.github.com/users/finnhaedicke","html_url":"https://github.com/finnhaedicke","followers_url":"https://api.github.com/users/finnhaedicke/followers","following_url":"https://api.github.com/users/finnhaedicke/following{/other_user}","gists_url":"https://api.github.com/users/finnhaedicke/gists{/gist_id}","starred_url":"https://api.github.com/users/finnhaedicke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/finnhaedicke/subscriptions","organizations_url":"https://api.github.com/users/finnhaedicke/orgs","repos_url":"https://api.github.com/users/finnhaedicke/repos","events_url":"https://api.github.com/users/finnhaedicke/events{/privacy}","received_events_url":"https://api.github.com/users/finnhaedicke/received_events","type":"User","site_admin":false},"repo":{"id":33858159,"name":"cryptominisat","full_name":"finnhaedicke/cryptominisat","owner":{"login":"finnhaedicke","id":853839,"avatar_url":"https://avatars.githubusercontent.com/u/853839?v=3","gravatar_id":"","url":"https://api.github.com/users/finnhaedicke","html_url":"https://github.com/finnhaedicke","followers_url":"https://api.github.com/users/finnhaedicke/followers","following_url":"https://api.github.com/users/finnhaedicke/following{/other_user}","gists_url":"https://api.github.com/users/finnhaedicke/gists{/gist_id}","starred_url":"https://api.github.com/users/finnhaedicke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/finnhaedicke/subscriptions","organizations_url":"https://api.github.com/users/finnhaedicke/orgs","repos_url":"https://api.github.com/users/finnhaedicke/repos","events_url":"https://api.github.com/users/finnhaedicke/events{/privacy}","received_events_url":"https://api.github.com/users/finnhaedicke/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/finnhaedicke/cryptominisat","description":"An advanced SAT Solver","fork":true,"url":"https://api.github.com/repos/finnhaedicke/cryptominisat","forks_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/forks","keys_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/keys{/key_id}","collaborators_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/teams","hooks_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/hooks","issue_events_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/issues/events{/number}","events_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/events","assignees_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/assignees{/user}","branches_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/branches{/branch}","tags_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/tags","blobs_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/git/refs{/sha}","trees_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/git/trees{/sha}","statuses_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/statuses/{sha}","languages_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/languages","stargazers_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/stargazers","contributors_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/contributors","subscribers_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/subscribers","subscription_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/subscription","commits_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/commits{/sha}","git_commits_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/git/commits{/sha}","comments_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/comments{/number}","issue_comment_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/issues/comments{/number}","contents_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/contents/{+path}","compare_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/compare/{base}...{head}","merges_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/merges","archive_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/downloads","issues_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/issues{/number}","pulls_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/pulls{/number}","milestones_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/milestones{/number}","notifications_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/labels{/name}","releases_url":"https://api.github.com/repos/finnhaedicke/cryptominisat/releases{/id}","created_at":"2015-04-13T08:56:34Z","updated_at":"2015-04-15T08:02:25Z","pushed_at":"2015-04-15T08:02:54Z","git_url":"git://github.com/finnhaedicke/cryptominisat.git","ssh_url":"git@github.com:finnhaedicke/cryptominisat.git","clone_url":"https://github.com/finnhaedicke/cryptominisat.git","svn_url":"https://github.com/finnhaedicke/cryptominisat","homepage":"","size":51375,"stargazers_count":0,"watchers_count":0,"language":"C++","has_issues":false,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"msoos:master","ref":"master","sha":"8eda26d0bb9f5f78c089db879c694bee4ad35793","user":{"login":"msoos","id":1334841,"avatar_url":"https://avatars.githubusercontent.com/u/1334841?v=3","gravatar_id":"","url":"https://api.github.com/users/msoos","html_url":"https://github.com/msoos","followers_url":"https://api.github.com/users/msoos/followers","following_url":"https://api.github.com/users/msoos/following{/other_user}","gists_url":"https://api.github.com/users/msoos/gists{/gist_id}","starred_url":"https://api.github.com/users/msoos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msoos/subscriptions","organizations_url":"https://api.github.com/users/msoos/orgs","repos_url":"https://api.github.com/users/msoos/repos","events_url":"https://api.github.com/users/msoos/events{/privacy}","received_events_url":"https://api.github.com/users/msoos/received_events","type":"User","site_admin":false},"repo":{"id":3709502,"name":"cryptominisat","full_name":"msoos/cryptominisat","owner":{"login":"msoos","id":1334841,"avatar_url":"https://avatars.githubusercontent.com/u/1334841?v=3","gravatar_id":"","url":"https://api.github.com/users/msoos","html_url":"https://github.com/msoos","followers_url":"https://api.github.com/users/msoos/followers","following_url":"https://api.github.com/users/msoos/following{/other_user}","gists_url":"https://api.github.com/users/msoos/gists{/gist_id}","starred_url":"https://api.github.com/users/msoos/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/msoos/subscriptions","organizations_url":"https://api.github.com/users/msoos/orgs","repos_url":"https://api.github.com/users/msoos/repos","events_url":"https://api.github.com/users/msoos/events{/privacy}","received_events_url":"https://api.github.com/users/msoos/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/msoos/cryptominisat","description":"An advanced SAT Solver","fork":false,"url":"https://api.github.com/repos/msoos/cryptominisat","forks_url":"https://api.github.com/repos/msoos/cryptominisat/forks","keys_url":"https://api.github.com/repos/msoos/cryptominisat/keys{/key_id}","collaborators_url":"https://api.github.com/repos/msoos/cryptominisat/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/msoos/cryptominisat/teams","hooks_url":"https://api.github.com/repos/msoos/cryptominisat/hooks","issue_events_url":"https://api.github.com/repos/msoos/cryptominisat/issues/events{/number}","events_url":"https://api.github.com/repos/msoos/cryptominisat/events","assignees_url":"https://api.github.com/repos/msoos/cryptominisat/assignees{/user}","branches_url":"https://api.github.com/repos/msoos/cryptominisat/branches{/branch}","tags_url":"https://api.github.com/repos/msoos/cryptominisat/tags","blobs_url":"https://api.github.com/repos/msoos/cryptominisat/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/msoos/cryptominisat/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/msoos/cryptominisat/git/refs{/sha}","trees_url":"https://api.github.com/repos/msoos/cryptominisat/git/trees{/sha}","statuses_url":"https://api.github.com/repos/msoos/cryptominisat/statuses/{sha}","languages_url":"https://api.github.com/repos/msoos/cryptominisat/languages","stargazers_url":"https://api.github.com/repos/msoos/cryptominisat/stargazers","contributors_url":"https://api.github.com/repos/msoos/cryptominisat/contributors","subscribers_url":"https://api.github.com/repos/msoos/cryptominisat/subscribers","subscription_url":"https://api.github.com/repos/msoos/cryptominisat/subscription","commits_url":"https://api.github.com/repos/msoos/cryptominisat/commits{/sha}","git_commits_url":"https://api.github.com/repos/msoos/cryptominisat/git/commits{/sha}","comments_url":"https://api.github.com/repos/msoos/cryptominisat/comments{/number}","issue_comment_url":"https://api.github.com/repos/msoos/cryptominisat/issues/comments{/number}","contents_url":"https://api.github.com/repos/msoos/cryptominisat/contents/{+path}","compare_url":"https://api.github.com/repos/msoos/cryptominisat/compare/{base}...{head}","merges_url":"https://api.github.com/repos/msoos/cryptominisat/merges","archive_url":"https://api.github.com/repos/msoos/cryptominisat/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/msoos/cryptominisat/downloads","issues_url":"https://api.github.com/repos/msoos/cryptominisat/issues{/number}","pulls_url":"https://api.github.com/repos/msoos/cryptominisat/pulls{/number}","milestones_url":"https://api.github.com/repos/msoos/cryptominisat/milestones{/number}","notifications_url":"https://api.github.com/repos/msoos/cryptominisat/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/msoos/cryptominisat/labels{/name}","releases_url":"https://api.github.com/repos/msoos/cryptominisat/releases{/id}","created_at":"2012-03-13T17:56:05Z","updated_at":"2015-04-14T22:42:20Z","pushed_at":"2015-04-14T22:42:19Z","git_url":"git://github.com/msoos/cryptominisat.git","ssh_url":"git@github.com:msoos/cryptominisat.git","clone_url":"https://github.com/msoos/cryptominisat.git","svn_url":"https://github.com/msoos/cryptominisat","homepage":"","size":51375,"stargazers_count":72,"watchers_count":72,"language":"C++","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":17,"mirror_url":null,"open_issues_count":9,"forks":17,"open_issues":9,"watchers":72,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/msoos/cryptominisat/pulls/232"},"html":{"href":"https://github.com/msoos/cryptominisat/pull/232"},"issue":{"href":"https://api.github.com/repos/msoos/cryptominisat/issues/232"},"comments":{"href":"https://api.github.com/repos/msoos/cryptominisat/issues/232/comments"},"review_comments":{"href":"https://api.github.com/repos/msoos/cryptominisat/pulls/232/comments"},"review_comment":{"href":"https://api.github.com/repos/msoos/cryptominisat/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/msoos/cryptominisat/pulls/232/commits"},"statuses":{"href":"https://api.github.com/repos/msoos/cryptominisat/statuses/2c03645e06581a8c39a1ec7c32b3935f03d308f3"}},"merged":false,"mergeable":null,"mergeable_state":"unknown","merged_by":null,"comments":0,"review_comments":0,"commits":1,"additions":2,"deletions":10,"changed_files":1}}