{"action":"created","issue":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/187","repository_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover","labels_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/187/labels{/name}","comments_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/187/comments","events_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/187/events","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/187","id":188491181,"number":187,"title":"macos Sierra messes with ghc in unfortunate ways :(","user":{"login":"katrielalex","id":315959,"avatar_url":"https://avatars.githubusercontent.com/u/315959?v=3","gravatar_id":"","url":"https://api.github.com/users/katrielalex","html_url":"https://github.com/katrielalex","followers_url":"https://api.github.com/users/katrielalex/followers","following_url":"https://api.github.com/users/katrielalex/following{/other_user}","gists_url":"https://api.github.com/users/katrielalex/gists{/gist_id}","starred_url":"https://api.github.com/users/katrielalex/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/katrielalex/subscriptions","organizations_url":"https://api.github.com/users/katrielalex/orgs","repos_url":"https://api.github.com/users/katrielalex/repos","events_url":"https://api.github.com/users/katrielalex/events{/privacy}","received_events_url":"https://api.github.com/users/katrielalex/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-11-10T12:04:59Z","updated_at":"2016-11-10T12:18:00Z","closed_at":null,"body":"Stack has [macOS Sierra problems](https://github.com/commercialhaskell/stack/issues/2577), caused by [this GHC bug](https://ghc.haskell.org/trac/ghc/ticket/12479) which in turn is caused by the Sierra runtime loader imposing a random limit on the total size of commands in a dynamic library.\r\n\r\nThis has unfortunate consequences for people who want to use Haskell on Sierra. In particular, `stack` can break entirely (@mpdehnel has this problem), or fail to compile tamarin (I have this problem). The error is something of the form\r\n\r\n```\r\n    ghc: panic! (the 'impossible' happened)\r\n      (GHC version 7.10.3 for x86_64-apple-darwin):\r\n        Loading temp shared object failed: dlopen(/var/folders/36/dpfqphf1487g11852mtzxs2c0000gp/T/ghc98424_0/libghc_45.dylib, 5): no suitable image found.  Did find:\r\n        /var/folders/36/dpfqphf1487g11852mtzxs2c0000gp/T/ghc98424_0/libghc_45.dylib: malformed mach-o: load commands size (32968) > 32768\r\n\r\n    Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug\r\nmake: *** [default] Error 1\r\n```\r\n\r\nI'm not sure what the right steps forward are, but I suspect tamarin-prover will have to migrate to GHC 8.0.2 or give up macOS compiles, unless someone from the Haskell community backports the fix.\r\n\r\n@mpdehnel and I will continue to investigate."},"comment":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/comments/259676018","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/187#issuecomment-259676018","issue_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/187","id":259676018,"user":{"login":"mpdehnel","id":237223,"avatar_url":"https://avatars.githubusercontent.com/u/237223?v=3","gravatar_id":"","url":"https://api.github.com/users/mpdehnel","html_url":"https://github.com/mpdehnel","followers_url":"https://api.github.com/users/mpdehnel/followers","following_url":"https://api.github.com/users/mpdehnel/following{/other_user}","gists_url":"https://api.github.com/users/mpdehnel/gists{/gist_id}","starred_url":"https://api.github.com/users/mpdehnel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpdehnel/subscriptions","organizations_url":"https://api.github.com/users/mpdehnel/orgs","repos_url":"https://api.github.com/users/mpdehnel/repos","events_url":"https://api.github.com/users/mpdehnel/events{/privacy}","received_events_url":"https://api.github.com/users/mpdehnel/received_events","type":"User","site_admin":false},"created_at":"2016-11-10T12:18:00Z","updated_at":"2016-11-10T12:18:00Z","body":"Yup, I get:\r\n\r\n`--  While building package tamarin-prover-1.1.0 using:\r\n      /Users/marnel/.stack/setup-exe-cache/x86_64-osx/setup-Simple-Cabal-1.22.5.0-ghc-7.10.3 --builddir=.stack-work/dist/x86_64-osx/Cabal-1.22.5.0 build exe:tamarin-prover --ghc-options \" -ddump-hi -ddump-to-file\"\r\n    Process exited with code: ExitFailure 1\r\n    Logs have been written to: /Users/marnel/Dropbox/tmp1/tamarin-temp/tamarin-prover/.stack-work/logs/tamarin-prover-1.1.0.log\r\n\r\n    Configuring tamarin-prover-1.1.0...\r\n    Preprocessing executable 'tamarin-prover' for tamarin-prover-1.1.0...\r\n    [ 1 of 17] Compiling Main.Utils       ( src/Main/Utils.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Main/Utils.o )\r\n    [ 2 of 17] Compiling Web.Types        ( src/Web/Types.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Types.o )\r\n    [ 3 of 17] Compiling Web.Instances    ( src/Web/Instances.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Instances.o )\r\n    [ 4 of 17] Compiling Web.Settings     ( src/Web/Settings.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Settings.o )\r\n    [ 5 of 17] Compiling Web.Theory       ( src/Web/Theory.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Theory.o )\r\n    [ 6 of 17] Compiling Paths_tamarin_prover ( .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/autogen/Paths_tamarin_prover.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Paths_tamarin_prover.o )\r\n    [ 7 of 17] Compiling Web.Hamlet       ( src/Web/Hamlet.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Hamlet.o )\r\n    [ 8 of 17] Compiling Web.Handler      ( src/Web/Handler.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Handler.o )\r\n    [ 9 of 17] Compiling Web.Dispatch     ( src/Web/Dispatch.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/tamarin-prover/tamarin-prover-tmp/Web/Dispatch.o )\r\n    ghc: panic! (the 'impossible' happened)\r\n      (GHC version 7.10.3 for x86_64-apple-darwin):\r\n    \tLoading temp shared object failed: dlopen(/var/folders/br/jt5zclgj0nnfv9h51js4sgsw0000gn/T/ghc33433_0/libghc_45.dylib, 5): no suitable image found.  Did find:\r\n    \t/var/folders/br/jt5zclgj0nnfv9h51js4sgsw0000gn/T/ghc33433_0/libghc_45.dylib: malformed mach-o: load commands size (33160) > 32768\r\n    \r\n    Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug`\r\n\r\non a brand new install of Stack."}}
{"actor":{"display_login":"mpdehnel"}}