As documented, cabal install Agda — fails for me in the .agdai post-compilation step.
[...]
Installing executable agda in /home/ulidtko/.cabal/store/ghc-9.6.3/incoming/new-2416496/home/ulidtko/.cabal/store/ghc-9.6.3/Agda-2.6.4.1-09dc1b9df47955cb7746201b1496a137c6ec49dc27a449ca2b956cfbcaf36039/bin
Warning: The directory
/home/ulidtko/.cabal/store/ghc-9.6.3/incoming/new-2416496/home/ulidtko/.cabal/store/ghc-9.6.3/Agda-2.6.4.1-09dc1b9df47955cb7746201b1496a137c6ec49dc27a449ca2b956cfbcaf36039/bin
is not in the system search path.
dist/build/agda/agda: error while loading shared libraries: libHSAgda-2.6.4.1-09dc1b9df47955cb7746201b1496a137c6ec49dc27a449ca2b956cfbcaf36039-ghc9.6.3.so: cannot open shared object file: No such file or directory
Generating Agda library interface files...
readCreateProcess: dist/build/agda/agda "--interaction" "--interaction-exit-on-error" "--no-libraries" "--local-interfaces" "-Werror" "-v0" (exit 127): failed
Error: cabal: Failed to build Agda-2.6.4.1. See the build log above for details.
Failures with similar error messages observed on:
and
Could not resolve dependencies, complaining of Agda's Setup upper bound on text < 2.1 conflicting with text-2.1 that GHC 9.8 ships with.The error messages seem related to haskell/cabal#9640, haskell/cabal#9654; and I'm not sure if it's cabal-install at fault here, or Agda's custom Setup, or who knows what else. As a user on "Step 2" of installation, I've also seen #7157 already — and hopefully some day that'll help.
For now, let me suggest that documenting this better is direly needed.
... After spending multiple hours on failing compiles, I've got success with
cabal v1-install --disable-documentation --ghc-options=-j -fenable-cluster-counting -foptimise-heavily Agda
on latest GHC & Cabal.
How about recommending explicitly v1-install in the installation guide?
I'll roll a patch if that sounds any good.
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