{"action":"closed","issue":{"url":"https://api.github.com/repos/Homebrew/homebrew/issues/45320","labels_url":"https://api.github.com/repos/Homebrew/homebrew/issues/45320/labels{/name}","comments_url":"https://api.github.com/repos/Homebrew/homebrew/issues/45320/comments","events_url":"https://api.github.com/repos/Homebrew/homebrew/issues/45320/events","html_url":"https://github.com/Homebrew/homebrew/issues/45320","id":113265294,"number":45320,"title":"Agda: Installation of unnecessary files","user":{"login":"mietek","id":166207,"avatar_url":"https://avatars.githubusercontent.com/u/166207?v=3","gravatar_id":"","url":"https://api.github.com/users/mietek","html_url":"https://github.com/mietek","followers_url":"https://api.github.com/users/mietek/followers","following_url":"https://api.github.com/users/mietek/following{/other_user}","gists_url":"https://api.github.com/users/mietek/gists{/gist_id}","starred_url":"https://api.github.com/users/mietek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mietek/subscriptions","organizations_url":"https://api.github.com/users/mietek/orgs","repos_url":"https://api.github.com/users/mietek/repos","events_url":"https://api.github.com/users/mietek/events{/privacy}","received_events_url":"https://api.github.com/users/mietek/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-10-26T00:33:10Z","updated_at":"2015-11-01T17:09:17Z","closed_at":"2015-11-01T17:09:17Z","body":"cc @mikemcquaid @DomT4 @nijikon\r\n\r\nThe Agda formula installs over 200M of unnecessary files.\r\n\r\nWhen installing the Agda standard library, as part of the default configuration, we get 231M:\r\n```\r\n$ cd /usr/local/Cellar/agda/2.4.2.4/agda-stdlib\r\n\r\n$ du -sch .cabal bin dist\r\n225M\t.cabal\r\n2.6M\tbin\r\n3.4M\tdist\r\n231M\ttotal\r\n```\r\n\r\nAdding the `--with-malonzo-ffi` option, we get 243M:\r\n```\r\n$ du -sch .cabal bin dist ffi/dist\r\n225M\t.cabal\r\n2.6M\tbin\r\n3.4M\tdist\r\n 12M\tffi/dist\r\n243M\ttotal\r\n```\r\n\r\nThe Agda formula installs the standard library’s helper tools into `agda-stdlib/bin`.  This is **unnecessary**, as these tools are only used as part of the build process, in order to generate the standard library's bytecode, documentation, and vim highlighting files.\r\n\r\nThe `.cabal`, `dist`, and `ffi/dist` directories are also **unnecessary**, as they contain build products left over from the build process."}}