Tried cabal 3.12.1.0/3.10.3.0 and ghc 9.6.6 on macOS Sonoma Kernel 23.6.0 (Hardware: M3 Max)cabal install Agda
[2 of 2] Linking dist/build/agda/agda
Installing executable agda-mode in /Users/ningcng/.local/state/cabal/store/ghc-9.6.6/incoming/new-26892/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/Agd-2.7.0-12a325e8/bin
Warning: The directory
/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/incoming/new-26892/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/Agd-2.7.0-12a325e8/bin
is not in the system search path.
Installing library in /Users/ningcng/.local/state/cabal/store/ghc-9.6.6/incoming/new-26892/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/Agd-2.7.0-12a325e8/lib
Installing executable agda in /Users/ningcng/.local/state/cabal/store/ghc-9.6.6/incoming/new-26892/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/Agd-2.7.0-12a325e8/bin
Warning: The directory
/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/incoming/new-26892/Users/ningcng/.local/state/cabal/store/ghc-9.6.6/Agd-2.7.0-12a325e8/bin
is not in the system search path.
Generating Agda library interface files...
Error: setup: filepath wildcard
'lib/prim/_build/2.7.0/agda/Agda/Builtin/Bool.agdai' does not match any files.
Stack fails with Agda 2.6.4.3 with the same error.
Installing 2.6.3 works fine.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4