Agda не будет устанавливать

Я не могу установить Agda на Mac 10.9.2, платформу Haskell 2013.2.0.0. Когда я запускаю cabal install Agda, я получаю это.

39 warnings and 1 error generated.
Failed to install Agda-2.3.2.2
Updating documentation index /Users/me/Library/Haskell/doc/index.html
cabal: Error: some packages failed to install:
Agda-2.3.2.2 failed during the building phase. The exception was:  
ExitFailure 1

Какие-нибудь советы?

РЕДАКТИРОВАТЬ: после попытки cabal-unpack и т. д., как было предложено, cabal-build выдает эту ошибку:

src/full/Agda/Interaction/BasicOps.hs:3:4:
     error: invalid preprocessing directive
     #-}
      ^

haskell agda
person user1604015    schedule 23.05.2014    source источник
comment
Попробуйте cabal unpack Agda, затем cd Agda-* и сделайте обычные cabal configure, cabal build, cabal install. Это даст более подробную информацию, которую вы можете опубликовать здесь, и мы сможем провести диагностику.   -  person jamshidh    schedule 23.05.2014
comment
Спасибо - см. редактирование выше.   -  person user1604015    schedule 23.05.2014
comment
Mac 10.что-то перестало использовать gcc. Компилятор (clang?), который он использует, плохо работает с макросами CPP. Либо получите патч на веб-сайте платформы haskell, либо получите gcc и скажите ghc использовать его.   -  person user2407038    schedule 23.05.2014
comment
Хорошо - запуск патча ghc clang устранил проблему - спасибо! Таким образом, это та же проблема, что и вопрос, указанный выше, но может быть некоторая ценность в том, чтобы оставить этот вопрос здесь, чтобы его могли найти люди, имеющие проблемы с Агдой.   -  person user1604015    schedule 25.05.2014

Ответы (1)


arrow_upward
0
arrow_downward

Если вы просто хотите, чтобы все заработало, просто переместите #-} в конец вышеприведенной строки... Затем выполните обычную сборку Cabal, установку Cabal. У меня здесь нет Mac, поэтому я не могу проверить это сам, но я считаю, что директивы препроцессора должны быть в начале строки. Это просто повязка, и она может существовать в других файлах.

Конечно, долгосрочным решением было бы отправить отчет об ошибке в Agda.

person jamshidh    schedule 23.05.2014