search

UlfNorell / agda-test

Agda test
0 stars 0 forks source link

bus error running agda on OS X Mavericks #980

Closed UlfNorell closed 10 years ago

UlfNorell commented 10 years ago

From jmchap...@gmail.com on November 26, 2013 13:46:45

I have upgraded to OS X Mavericks. After some messing around I managed to get what I think is a working installation of ghc using Haskell Platform 2013.2.0.0 32-bit.

I am using the ghc-clang-wrapper recommend here: http://www.haskell.org/platform/mac.html I managed to do a fresh install of agda.

running

$ agda

gives the help messages as expected

running

$ agda test.agda

gives

Bus error: 10.

Running inside emacs also gives the bus error when you try to load the file.

The fille test.agda contains "module test where"

Original issue: http://code.google.com/p/agda/issues/detail?id=980

UlfNorell commented 10 years ago

From jmchap...@gmail.com on November 26, 2013 09:39:48

Owner: ---

UlfNorell commented 10 years ago

From ulf.nor...@gmail.com on November 26, 2013 23:17:46

I'm pretty sure that's a problem with your ghc installation. Fwiw I'm using gcc48 (from brew) instead of apple-broken-gcc on Mavericks and it's working for ghc-7.2.2 and up (not 7.0.4 though).

Status: Invalid