在OSX El Capitan上安裝Agda？

Question

我試圖安裝裝配阿格達我的Mac上，按照說明http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX

，但我得到了一些問題：

1. 當我在終端窗口中鍵入cabal update，它說：Skipping download: Local and remote files match.我不知道它意味着它的工作與否。我不知道如何更新我的PATH variable。

2. 如果我嘗試了上面跳過前兩個步驟，直接輸入cabal install happy alex，和它說以下內容：

   Resolving dependencies... 
   Configuring alex-3.1.7... 
   Configuring happy-1.19.5... 
   Building happy-1.19.5... 
   Building alex-3.1.7... 
   Failed to install happy-1.19.5 
   Build log (/Users/ChiuYenChao/.cabal/logs/happy-1.19.5.log): 
   [1 of 1] Compiling Main    (/var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28407/happy-1.19.5/dist/setup/setup.hs, /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28407/happy-1.19.5/dist/setup/Main.o) 
   Linking /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28407/happy-1.19.5/dist/setup/setup ... 
   Configuring happy-1.19.5... 
   Building happy-1.19.5... 
   Preprocessing executable 'happy' for happy-1.19.5... 
   <command line>: cannot satisfy -package-id mtl-2.2.1-7fee06b00eebbe3fa92f6d82f0fb6c19 
       (use -v for more information) 
   Failed to install alex-3.1.7 
   Build log (/Users/ChiuYenChao/.cabal/logs/alex-3.1.7.log): 
   [1 of 1] Compiling Main    (/var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28406/alex-3.1.7/dist/setup/setup.hs, /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28406/alex-3.1.7/dist/setup/Main.o) 
   Linking /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-28406/alex-3.1.7/dist/setup/setup ... 
   Configuring alex-3.1.7... 
   Building alex-3.1.7... 
   Preprocessing executable 'alex' for alex-3.1.7... 
   <command line>: cannot satisfy -package-id QuickCheck-2.8.1-720f6faecb50e002ef05e66ef82b9675 
       (use -v for more information) 
   cabal: Error: some packages failed to install: 
   alex-3.1.7 failed during the building phase. The exception was: 
   ExitFailure 1 
   happy-1.19.5 failed during the building phase. The exception was: 
   ExitFailure 1 
   

   我覺得這意味着什麼失敗了，但我不知道該怎麼辦。請幫助。

EDIT：

如果我直接鍵入cabal install agda，它給我以下錯誤：

Resolving dependencies... 
Downloading EdisonAPI-1.3... 
Downloading QuickCheck-2.8.2... 
Configuring QuickCheck-2.8.2... 
Downloading STMonadTrans-0.3.3... 
Configuring EdisonAPI-1.3... 
Downloading boxes-0.1.4... 
Configuring boxes-0.1.4... 
Downloading data-hash-0.2.0.1... 
Downloading edit-distance-0.2.2.1... 
Configuring STMonadTrans-0.3.3... 
Downloading geniplate-mirror-0.7.4... 
Downloading hashtables-1.2.1.0... 
Downloading monadplus-1.4.2... 
Downloading polyparse-1.12... 
Downloading strict-0.3.2... 
Downloading unix-compat-0.4.2.0... 
Building boxes-0.1.4... 
Building QuickCheck-2.8.2... 
Building STMonadTrans-0.3.3... 
Failed to install QuickCheck-2.8.2 
Build log (/Users/ChiuYenChao/.cabal/logs/QuickCheck-2.8.2.log): 
[1 of 1] Compiling Main    (/var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-29102/QuickCheck-2.8.2/dist/setup/setup.hs, /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-29102/QuickCheck-2.8.2/dist/setup/Main.o) 
Linking /var/folders/bh/q7b8bhkj3bq8s6ml5zxvwfd40000gn/T/cabal-tmp-29102/QuickCheck-2.8.2/dist/setup/setup ... 
Configuring QuickCheck-2.8.2... 
Building QuickCheck-2.8.2... 
Preprocessing library QuickCheck-2.8.2... 
<command line>: cannot satisfy -package-id random-1.1-1229fa9ea3f9951a38fad637630a5acf 
    (use -v for more information) 
Building EdisonAPI-1.3... 
Failed to install STMonadTrans-0.3.3 
Build log (/Users/ChiuYenChao/.cabal/logs/STMonadTrans-0.3.3.log): 
Configuring STMonadTrans-0.3.3... 
Building STMonadTrans-0.3.3... 
Preprocessing library STMonadTrans-0.3.3... 
<command line>: cannot satisfy -package-id mtl-2.2.1-7fee06b00eebbe3fa92f6d82f0fb6c19 
    (use -v for more information) 
Failed to install boxes-0.1.4 
Build log (/Users/ChiuYenChao/.cabal/logs/boxes-0.1.4.log): 
Configuring boxes-0.1.4... 
Building boxes-0.1.4... 
Preprocessing library boxes-0.1.4... 
<command line>: cannot satisfy -package-id split-0.2.2-bdc181dc0cb027cda71092df3fe3fb02 
    (use -v for more information) 
Configuring data-hash-0.2.0.1... 
Configuring edit-distance-0.2.2.1... 
Configuring geniplate-mirror-0.7.4... 
Configuring monadplus-1.4.2... 
Failed to install EdisonAPI-1.3 
Build log (/Users/ChiuYenChao/.cabal/logs/EdisonAPI-1.3.log): 
Configuring EdisonAPI-1.3... 
Building EdisonAPI-1.3... 
Preprocessing library EdisonAPI-1.3... 
<command line>: cannot satisfy -package-id mtl-2.2.1-7fee06b00eebbe3fa92f6d82f0fb6c19 
    (use -v for more information) 
Building data-hash-0.2.0.1... 
Building edit-distance-0.2.2.1... 
Building geniplate-mirror-0.7.4... 
Building monadplus-1.4.2... 
Configuring hashtables-1.2.1.0... 
Failed to install edit-distance-0.2.2.1 
Build log (/Users/ChiuYenChao/.cabal/logs/edit-distance-0.2.2.1.log): 
Configuring edit-distance-0.2.2.1... 
Building edit-distance-0.2.2.1... 
Preprocessing library edit-distance-0.2.2.1... 
<command line>: cannot satisfy -package-id random-1.1-1229fa9ea3f9951a38fad637630a5acf 
    (use -v for more information) 
Configuring unix-compat-0.4.2.0... 
Failed to install geniplate-mirror-0.7.4 
Build log (/Users/ChiuYenChao/.cabal/logs/geniplate-mirror-0.7.4.log): 
Configuring geniplate-mirror-0.7.4... 
Building geniplate-mirror-0.7.4... 
Preprocessing library geniplate-mirror-0.7.4... 
<command line>: cannot satisfy -package-id mtl-2.2.1-7fee06b00eebbe3fa92f6d82f0fb6c19 
    (use -v for more information) 
Building unix-compat-0.4.2.0... 
Building hashtables-1.2.1.0... 
Configuring polyparse-1.12... 
Failed to install hashtables-1.2.1.0 
Build log (/Users/ChiuYenChao/.cabal/logs/hashtables-1.2.1.0.log): 
Configuring hashtables-1.2.1.0... 
Building hashtables-1.2.1.0... 
Preprocessing library hashtables-1.2.1.0... 
<command line>: cannot satisfy -package-id hashable-1.2.3.3-09c4177c49dd46a63f7036317bb17114 
    (use -v for more information) 
Building polyparse-1.12... 
Configuring strict-0.3.2... 
Failed to install polyparse-1.12 
Build log (/Users/ChiuYenChao/.cabal/logs/polyparse-1.12.log): 
Configuring polyparse-1.12... 
Building polyparse-1.12... 
Preprocessing library polyparse-1.12... 
<command line>: cannot satisfy -package-id text-1.2.1.3-3718968f98d5614ccdc45c27d4e8b0a1 
    (use -v for more information) 
Building strict-0.3.2... 
Installed monadplus-1.4.2 
Installed unix-compat-0.4.2.0 
Downloading filemanip-0.3.6.3... 
Configuring filemanip-0.3.6.3... 
Building filemanip-0.3.6.3... 
Failed to install filemanip-0.3.6.3 
Build log (/Users/ChiuYenChao/.cabal/logs/filemanip-0.3.6.3.log): 
Configuring filemanip-0.3.6.3... 
Building filemanip-0.3.6.3... 
Preprocessing library filemanip-0.3.6.3... 
<command line>: cannot satisfy -package-id mtl-2.2.1-7fee06b00eebbe3fa92f6d82f0fb6c19 
    (use -v for more information) 
Installed data-hash-0.2.0.1 
Installed strict-0.3.2 
Updating documentation index 
/Users/ChiuYenChao/Library/Haskell/share/doc/x86_64-osx-ghc-7.10.2/index.html 
cabal: Error: some packages failed to install: 
Agda-2.5.1.1 depends on filemanip-0.3.6.3 which failed to install. 
EdisonAPI-1.3 failed during the building phase. The exception was: 
ExitFailure 1 
EdisonCore-1.3.1.1 depends on EdisonAPI-1.3 which failed to install. 
QuickCheck-2.8.2 failed during the building phase. The exception was: 
ExitFailure 1 
STMonadTrans-0.3.3 failed during the building phase. The exception was: 
ExitFailure 1 
boxes-0.1.4 failed during the building phase. The exception was: 
ExitFailure 1 
cpphs-1.20.1 depends on polyparse-1.12 which failed to install. 
edit-distance-0.2.2.1 failed during the building phase. The exception was: 
ExitFailure 1 
equivalence-0.3.1 depends on STMonadTrans-0.3.3 which failed to install. 
filemanip-0.3.6.3 failed during the building phase. The exception was: 
ExitFailure 1 
geniplate-mirror-0.7.4 failed during the building phase. The exception was: 
ExitFailure 1 
hashtables-1.2.1.0 failed during the building phase. The exception was: 
ExitFailure 1 
haskell-src-exts-1.17.1 depends on polyparse-1.12 which failed to install. 
polyparse-1.12 failed during the building phase. The exception was: 
ExitFailure 1 

Answer 1

後無數次，我只是卸載舊版本的Haskell並重新安裝它，然後http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX方法工作得很好...

Answer 2

我會嘗試用堆棧建立Agda。

1. 使用these instructions

2. 運行OSX版下載stack：

   stack setup 
   stack install Agda 
   

兩個步驟可能需要一段時間。觀看輸出，看看那裏堆放置阿格達程序 - 它可能會像~/.local/bin

更新

$ PATH環境變量的一些解釋和如何設置：

• https://coolestguidesontheplanet.com/add-shell-path-osx/
• https://superuser.com/questions/284342/what-are-path-and-other-environment-variables-and-how-can-i-set-or-use-them