{"action":"created","comment":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/comments/65426941","id":65426941,"diff_hunk":"@@ -15,18 +16,31 @@ class Idris < Formula\n     sha256 \"652da19c6f08b65483df86768813f6ce7eca2d8c31cf0a0f4f624a22344cdbef\" => :mavericks\n   end\n \n-  depends_on \"ghc\" => :build\n-  depends_on \"cabal-install\" => :build\n+  depends_on \"haskell-stack\" => :build\n+  depends_on \"pkg-config\" => :build\n   depends_on \"gmp\"\n-\n-  depends_on \"libffi\" => :recommended\n-  depends_on \"pkg-config\" => :build if build.with? \"libffi\"\n+  depends_on \"libffi\"\n \n   def install\n-    args = []\n-    args << \"-f FFI\" if build.with? \"libffi\"\n-    args << \"-f release\" if build.stable?\n-    install_cabal_package *args\n+    ENV[\"STACK_ROOT\"] = \"#{HOMEBREW_CACHE}/stack_root\"\n+    (libexec/\"stack\").install Dir[\"#{buildpath}/*\"]\n+\n+    cd libexec/\"stack\" do\n+      system \"stack\", \"setup\"\n+      system \"stack\", \"build\"\n+\n+      mkdir_p bin\n+      system \"stack\", \"install\", \"--local-bin-path=#{bin}\"\n+\n+      install_dir = libexec/\"stack/.stack-work/install/x86_64-osx/lts-5.11/7.10.3\"","path":"Formula/idris.rb","position":37,"original_position":37,"commit_id":"3169dba8c20eee07bb269ddfeae8b17353eb7e7a","original_commit_id":"3169dba8c20eee07bb269ddfeae8b17353eb7e7a","user":{"login":"zmwangx","id":4149852,"avatar_url":"https://avatars.githubusercontent.com/u/4149852?v=3","gravatar_id":"","url":"https://api.github.com/users/zmwangx","html_url":"https://github.com/zmwangx","followers_url":"https://api.github.com/users/zmwangx/followers","following_url":"https://api.github.com/users/zmwangx/following{/other_user}","gists_url":"https://api.github.com/users/zmwangx/gists{/gist_id}","starred_url":"https://api.github.com/users/zmwangx/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zmwangx/subscriptions","organizations_url":"https://api.github.com/users/zmwangx/orgs","repos_url":"https://api.github.com/users/zmwangx/repos","events_url":"https://api.github.com/users/zmwangx/events{/privacy}","received_events_url":"https://api.github.com/users/zmwangx/received_events","type":"User","site_admin":false},"body":"This is why we need `stack install --prefix`...","created_at":"2016-06-01T19:32:02Z","updated_at":"2016-06-01T19:32:02Z","html_url":"https://github.com/Homebrew/homebrew-core/pull/1630#discussion_r65426941","pull_request_url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630","_links":{"self":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/comments/65426941"},"html":{"href":"https://github.com/Homebrew/homebrew-core/pull/1630#discussion_r65426941"},"pull_request":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630"}}},"pull_request":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630","id":72218464,"html_url":"https://github.com/Homebrew/homebrew-core/pull/1630","diff_url":"https://github.com/Homebrew/homebrew-core/pull/1630.diff","patch_url":"https://github.com/Homebrew/homebrew-core/pull/1630.patch","issue_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/1630","number":1630,"state":"open","locked":false,"title":"idris: install using haskell-stack","user":{"login":"ilovezfs","id":5268928,"avatar_url":"https://avatars.githubusercontent.com/u/5268928?v=3","gravatar_id":"","url":"https://api.github.com/users/ilovezfs","html_url":"https://github.com/ilovezfs","followers_url":"https://api.github.com/users/ilovezfs/followers","following_url":"https://api.github.com/users/ilovezfs/following{/other_user}","gists_url":"https://api.github.com/users/ilovezfs/gists{/gist_id}","starred_url":"https://api.github.com/users/ilovezfs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ilovezfs/subscriptions","organizations_url":"https://api.github.com/users/ilovezfs/orgs","repos_url":"https://api.github.com/users/ilovezfs/repos","events_url":"https://api.github.com/users/ilovezfs/events{/privacy}","received_events_url":"https://api.github.com/users/ilovezfs/received_events","type":"User","site_admin":false},"body":"- use haskell-stack to build idris to work around GHC 8 incompatibility\r\n- minor style changes to the test-do block\r\n\r\nIssue #1486.","created_at":"2016-06-01T17:14:03Z","updated_at":"2016-06-01T19:32:02Z","closed_at":null,"merged_at":null,"merge_commit_sha":"f7584541d0ce528bdd32410284bcb2a6201cbff1","assignee":null,"milestone":null,"commits_url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630/commits","review_comments_url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630/comments","review_comment_url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/comments{/number}","comments_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/1630/comments","statuses_url":"https://api.github.com/repos/Homebrew/homebrew-core/statuses/3169dba8c20eee07bb269ddfeae8b17353eb7e7a","head":{"label":"ilovezfs:idris-ci","ref":"idris-ci","sha":"3169dba8c20eee07bb269ddfeae8b17353eb7e7a","user":{"login":"ilovezfs","id":5268928,"avatar_url":"https://avatars.githubusercontent.com/u/5268928?v=3","gravatar_id":"","url":"https://api.github.com/users/ilovezfs","html_url":"https://github.com/ilovezfs","followers_url":"https://api.github.com/users/ilovezfs/followers","following_url":"https://api.github.com/users/ilovezfs/following{/other_user}","gists_url":"https://api.github.com/users/ilovezfs/gists{/gist_id}","starred_url":"https://api.github.com/users/ilovezfs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ilovezfs/subscriptions","organizations_url":"https://api.github.com/users/ilovezfs/orgs","repos_url":"https://api.github.com/users/ilovezfs/repos","events_url":"https://api.github.com/users/ilovezfs/events{/privacy}","received_events_url":"https://api.github.com/users/ilovezfs/received_events","type":"User","site_admin":false},"repo":{"id":55388441,"name":"homebrew-core","full_name":"ilovezfs/homebrew-core","owner":{"login":"ilovezfs","id":5268928,"avatar_url":"https://avatars.githubusercontent.com/u/5268928?v=3","gravatar_id":"","url":"https://api.github.com/users/ilovezfs","html_url":"https://github.com/ilovezfs","followers_url":"https://api.github.com/users/ilovezfs/followers","following_url":"https://api.github.com/users/ilovezfs/following{/other_user}","gists_url":"https://api.github.com/users/ilovezfs/gists{/gist_id}","starred_url":"https://api.github.com/users/ilovezfs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ilovezfs/subscriptions","organizations_url":"https://api.github.com/users/ilovezfs/orgs","repos_url":"https://api.github.com/users/ilovezfs/repos","events_url":"https://api.github.com/users/ilovezfs/events{/privacy}","received_events_url":"https://api.github.com/users/ilovezfs/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/ilovezfs/homebrew-core","description":":beers: Core formulae for the Homebrew package manager","fork":true,"url":"https://api.github.com/repos/ilovezfs/homebrew-core","forks_url":"https://api.github.com/repos/ilovezfs/homebrew-core/forks","keys_url":"https://api.github.com/repos/ilovezfs/homebrew-core/keys{/key_id}","collaborators_url":"https://api.github.com/repos/ilovezfs/homebrew-core/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/ilovezfs/homebrew-core/teams","hooks_url":"https://api.github.com/repos/ilovezfs/homebrew-core/hooks","issue_events_url":"https://api.github.com/repos/ilovezfs/homebrew-core/issues/events{/number}","events_url":"https://api.github.com/repos/ilovezfs/homebrew-core/events","assignees_url":"https://api.github.com/repos/ilovezfs/homebrew-core/assignees{/user}","branches_url":"https://api.github.com/repos/ilovezfs/homebrew-core/branches{/branch}","tags_url":"https://api.github.com/repos/ilovezfs/homebrew-core/tags","blobs_url":"https://api.github.com/repos/ilovezfs/homebrew-core/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/ilovezfs/homebrew-core/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/ilovezfs/homebrew-core/git/refs{/sha}","trees_url":"https://api.github.com/repos/ilovezfs/homebrew-core/git/trees{/sha}","statuses_url":"https://api.github.com/repos/ilovezfs/homebrew-core/statuses/{sha}","languages_url":"https://api.github.com/repos/ilovezfs/homebrew-core/languages","stargazers_url":"https://api.github.com/repos/ilovezfs/homebrew-core/stargazers","contributors_url":"https://api.github.com/repos/ilovezfs/homebrew-core/contributors","subscribers_url":"https://api.github.com/repos/ilovezfs/homebrew-core/subscribers","subscription_url":"https://api.github.com/repos/ilovezfs/homebrew-core/subscription","commits_url":"https://api.github.com/repos/ilovezfs/homebrew-core/commits{/sha}","git_commits_url":"https://api.github.com/repos/ilovezfs/homebrew-core/git/commits{/sha}","comments_url":"https://api.github.com/repos/ilovezfs/homebrew-core/comments{/number}","issue_comment_url":"https://api.github.com/repos/ilovezfs/homebrew-core/issues/comments{/number}","contents_url":"https://api.github.com/repos/ilovezfs/homebrew-core/contents/{+path}","compare_url":"https://api.github.com/repos/ilovezfs/homebrew-core/compare/{base}...{head}","merges_url":"https://api.github.com/repos/ilovezfs/homebrew-core/merges","archive_url":"https://api.github.com/repos/ilovezfs/homebrew-core/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/ilovezfs/homebrew-core/downloads","issues_url":"https://api.github.com/repos/ilovezfs/homebrew-core/issues{/number}","pulls_url":"https://api.github.com/repos/ilovezfs/homebrew-core/pulls{/number}","milestones_url":"https://api.github.com/repos/ilovezfs/homebrew-core/milestones{/number}","notifications_url":"https://api.github.com/repos/ilovezfs/homebrew-core/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/ilovezfs/homebrew-core/labels{/name}","releases_url":"https://api.github.com/repos/ilovezfs/homebrew-core/releases{/id}","deployments_url":"https://api.github.com/repos/ilovezfs/homebrew-core/deployments","created_at":"2016-04-04T05:59:03Z","updated_at":"2016-04-04T05:59:16Z","pushed_at":"2016-06-01T19:18:34Z","git_url":"git://github.com/ilovezfs/homebrew-core.git","ssh_url":"git@github.com:ilovezfs/homebrew-core.git","clone_url":"https://github.com/ilovezfs/homebrew-core.git","svn_url":"https://github.com/ilovezfs/homebrew-core","homepage":"http://brew.sh","size":59993,"stargazers_count":0,"watchers_count":0,"language":"Ruby","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":"Homebrew:master","ref":"master","sha":"76532121a0966c01cdca5e1179decd7cde48bc8f","user":{"login":"Homebrew","id":1503512,"avatar_url":"https://avatars.githubusercontent.com/u/1503512?v=3","gravatar_id":"","url":"https://api.github.com/users/Homebrew","html_url":"https://github.com/Homebrew","followers_url":"https://api.github.com/users/Homebrew/followers","following_url":"https://api.github.com/users/Homebrew/following{/other_user}","gists_url":"https://api.github.com/users/Homebrew/gists{/gist_id}","starred_url":"https://api.github.com/users/Homebrew/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Homebrew/subscriptions","organizations_url":"https://api.github.com/users/Homebrew/orgs","repos_url":"https://api.github.com/users/Homebrew/repos","events_url":"https://api.github.com/users/Homebrew/events{/privacy}","received_events_url":"https://api.github.com/users/Homebrew/received_events","type":"Organization","site_admin":false},"repo":{"id":52855516,"name":"homebrew-core","full_name":"Homebrew/homebrew-core","owner":{"login":"Homebrew","id":1503512,"avatar_url":"https://avatars.githubusercontent.com/u/1503512?v=3","gravatar_id":"","url":"https://api.github.com/users/Homebrew","html_url":"https://github.com/Homebrew","followers_url":"https://api.github.com/users/Homebrew/followers","following_url":"https://api.github.com/users/Homebrew/following{/other_user}","gists_url":"https://api.github.com/users/Homebrew/gists{/gist_id}","starred_url":"https://api.github.com/users/Homebrew/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Homebrew/subscriptions","organizations_url":"https://api.github.com/users/Homebrew/orgs","repos_url":"https://api.github.com/users/Homebrew/repos","events_url":"https://api.github.com/users/Homebrew/events{/privacy}","received_events_url":"https://api.github.com/users/Homebrew/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/Homebrew/homebrew-core","description":":beers: Core formulae for the Homebrew package manager","fork":false,"url":"https://api.github.com/repos/Homebrew/homebrew-core","forks_url":"https://api.github.com/repos/Homebrew/homebrew-core/forks","keys_url":"https://api.github.com/repos/Homebrew/homebrew-core/keys{/key_id}","collaborators_url":"https://api.github.com/repos/Homebrew/homebrew-core/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/Homebrew/homebrew-core/teams","hooks_url":"https://api.github.com/repos/Homebrew/homebrew-core/hooks","issue_events_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/events{/number}","events_url":"https://api.github.com/repos/Homebrew/homebrew-core/events","assignees_url":"https://api.github.com/repos/Homebrew/homebrew-core/assignees{/user}","branches_url":"https://api.github.com/repos/Homebrew/homebrew-core/branches{/branch}","tags_url":"https://api.github.com/repos/Homebrew/homebrew-core/tags","blobs_url":"https://api.github.com/repos/Homebrew/homebrew-core/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/Homebrew/homebrew-core/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/Homebrew/homebrew-core/git/refs{/sha}","trees_url":"https://api.github.com/repos/Homebrew/homebrew-core/git/trees{/sha}","statuses_url":"https://api.github.com/repos/Homebrew/homebrew-core/statuses/{sha}","languages_url":"https://api.github.com/repos/Homebrew/homebrew-core/languages","stargazers_url":"https://api.github.com/repos/Homebrew/homebrew-core/stargazers","contributors_url":"https://api.github.com/repos/Homebrew/homebrew-core/contributors","subscribers_url":"https://api.github.com/repos/Homebrew/homebrew-core/subscribers","subscription_url":"https://api.github.com/repos/Homebrew/homebrew-core/subscription","commits_url":"https://api.github.com/repos/Homebrew/homebrew-core/commits{/sha}","git_commits_url":"https://api.github.com/repos/Homebrew/homebrew-core/git/commits{/sha}","comments_url":"https://api.github.com/repos/Homebrew/homebrew-core/comments{/number}","issue_comment_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/comments{/number}","contents_url":"https://api.github.com/repos/Homebrew/homebrew-core/contents/{+path}","compare_url":"https://api.github.com/repos/Homebrew/homebrew-core/compare/{base}...{head}","merges_url":"https://api.github.com/repos/Homebrew/homebrew-core/merges","archive_url":"https://api.github.com/repos/Homebrew/homebrew-core/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/Homebrew/homebrew-core/downloads","issues_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues{/number}","pulls_url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls{/number}","milestones_url":"https://api.github.com/repos/Homebrew/homebrew-core/milestones{/number}","notifications_url":"https://api.github.com/repos/Homebrew/homebrew-core/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/Homebrew/homebrew-core/labels{/name}","releases_url":"https://api.github.com/repos/Homebrew/homebrew-core/releases{/id}","deployments_url":"https://api.github.com/repos/Homebrew/homebrew-core/deployments","created_at":"2016-03-01T06:58:36Z","updated_at":"2016-06-01T13:04:51Z","pushed_at":"2016-06-01T19:19:53Z","git_url":"git://github.com/Homebrew/homebrew-core.git","ssh_url":"git@github.com:Homebrew/homebrew-core.git","clone_url":"https://github.com/Homebrew/homebrew-core.git","svn_url":"https://github.com/Homebrew/homebrew-core","homepage":"http://brew.sh","size":85448,"stargazers_count":400,"watchers_count":400,"language":"Ruby","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":675,"mirror_url":null,"open_issues_count":99,"forks":675,"open_issues":99,"watchers":400,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630"},"html":{"href":"https://github.com/Homebrew/homebrew-core/pull/1630"},"issue":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/issues/1630"},"comments":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/issues/1630/comments"},"review_comments":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630/comments"},"review_comment":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/1630/commits"},"statuses":{"href":"https://api.github.com/repos/Homebrew/homebrew-core/statuses/3169dba8c20eee07bb269ddfeae8b17353eb7e7a"}}}}
{"actor":{"display_login":"zmwangx"}}