Agda가 설치되지 않음

Agda를 Mac 10.9.2, Haskell 플랫폼 2013.2.0.0에 설치할 수 없습니다. Cabal 설치 Agda를 설치하면이 문제가 발생합니다.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

팁이 있습니까?

편집 : -}의 끝에

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

출처

2014-05-23 user1604015

'cabal unpack Agda' 그리고'cd Agda- *'를 시도하고 보통'cabal configure','cabal build','cabal install'을하십시오. 그러면 여기에 게시 할 수있는 더 자세한 정보가 주어지며 진단 할 수 있습니다. – jamshidh

감사합니다. 위의 편집을 참조하십시오. – user1604015

Mac 10. gcc 사용이 중지되었습니다. 컴파일러 (clang?)는 CPP 매크로와 잘 작동하지 않습니다. 하스켈 플랫폼 웹 사이트에서 패치를 구하거나 gcc를 구하여 ghc에게 사용하도록 알려주십시오. – user2407038

그냥 상황 및 실행을 얻으려면 #을 이동하려면 : 제안 음모 - 압축 풀기 등을 시도하면, 음모 빌드이 오류를 제공합니다 위의 라인 .... 그런 다음 일반적인 cabal 빌드, cabal 설치를 수행하십시오. 여기에 Mac이 없으므로 직접 테스트 할 수는 없지만 전 처리기 지시문이 줄의 시작 부분에 있어야한다고 생각합니다. 이것은 단지 붕대이며 다른 파일에도있을 수 있습니다.

물론 장기적인 해결책은 Agda에 버그 보고서를 제출하는 것입니다.

출처

2014-05-23 05:39:18 jamshidh

Agda가 설치되지 않음

답변

관련 문제