{"action":"closed","issue":{"url":"https://api.github.com/repos/agda/agda/issues/2112","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/2112/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/2112/comments","events_url":"https://api.github.com/repos/agda/agda/issues/2112/events","html_url":"https://github.com/agda/agda/issues/2112","id":167246038,"number":2112,"title":"Build fails using cpphs in some locale enviroments","user":{"login":"tswilkinson","id":11042862,"avatar_url":"https://avatars.githubusercontent.com/u/11042862?v=3","gravatar_id":"","url":"https://api.github.com/users/tswilkinson","html_url":"https://github.com/tswilkinson","followers_url":"https://api.github.com/users/tswilkinson/followers","following_url":"https://api.github.com/users/tswilkinson/following{/other_user}","gists_url":"https://api.github.com/users/tswilkinson/gists{/gist_id}","starred_url":"https://api.github.com/users/tswilkinson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tswilkinson/subscriptions","organizations_url":"https://api.github.com/users/tswilkinson/orgs","repos_url":"https://api.github.com/users/tswilkinson/repos","events_url":"https://api.github.com/users/tswilkinson/events{/privacy}","received_events_url":"https://api.github.com/users/tswilkinson/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/agda/agda/labels/bug","name":"bug","color":"fc2929"},{"url":"https://api.github.com/repos/agda/agda/labels/build-failure","name":"build-failure","color":"ededed"},{"url":"https://api.github.com/repos/agda/agda/labels/CPP","name":"CPP","color":"ededed"}],"state":"closed","locked":false,"assignee":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"assignees":[{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false}],"milestone":null,"comments":4,"created_at":"2016-07-24T18:18:52Z","updated_at":"2016-07-30T22:43:11Z","closed_at":"2016-07-30T22:43:11Z","body":"On Ubuntu, with GHC 7.10.3, `cabal install Agda` fails with:\r\n\r\n    Resolving dependencies...\r\n    Downloading Agda-2.5.1.1...\r\n    Configuring Agda-2.5.1.1...\r\n    Building Agda-2.5.1.1...\r\n    Failed to install Agda-2.5.1.1\r\n    Build log ( /home/tom/.cabal/logs/Agda-2.5.1.1.log ):\r\n    [1 of 1] Compiling Main             ( /tmp/cabal-tmp-10744/Agda-2.5.1.1/dist/setup/setup.hs, /tmp/cabal-tmp-10744/Agda-2.5.1.1/dist/setup/Main.o )\r\n    Linking /tmp/cabal-tmp-10744/Agda-2.5.1.1/dist/setup/setup ...\r\n    Configuring Agda-2.5.1.1...\r\n    Building Agda-2.5.1.1...\r\n    Preprocessing library Agda-2.5.1.1...\r\n    cpphs: src/full/Agda/Auto/Auto.hs: hGetContents: invalid argument (invalid byte sequence)\r\n    cabal: Error: some packages failed to install:\r\n    Agda-2.5.1.1 failed during the building phase. The exception was:\r\n    ExitFailure 1\r\n\r\nThis is the same with and without the addition to `.cabal/config` suggested in the README under \"Note on GHC's CPP language extension\".\r\n\r\nThanks for any help."}}
{"actor":{"display_login":"asr"}}