[Agda] trouble installing Agda

Jason Hu fdhzs2010 at hotmail.com
Wed May 29 00:02:17 CEST 2024


try to pull from git and use stack for installation: stack build && stack install
________________________________
From: Agda <agda-bounces at lists.chalmers.se> on behalf of Scott N. Walck <walck at lvc.edu>
Sent: Tuesday, May 28, 2024 3:15 PM
To: agda at lists.chalmers.se <agda at lists.chalmers.se>
Subject: [Agda] trouble installing Agda

Hi folks,

I'm sure this is a boring question, and I'm sorry to have to ask it.  I
tried

cabal install Agda

using cabal 3.10.3.0 and ghc-9.8.2 on an Arch linux system.  Below are
the last several lines of the build log.

I got similar errors trying to install with stack, trying to install
from the git clone with 'cabal install', and trying to install from the
git clone with 'make'.  Interestingly, 'cabal build' succeeds.

The lest several lines of the build log say that executable files have
been installed in a certain (temporary, I assume) location.  I tried to
find these files, but the entire directory 'new-288224' does not exist.

I would be grateful for any help.  I've used Agda in the past and am
coming back to it after a hiatus.  I have some previously written code
that I would really like to play with again.

Thanks,
Scott



Preprocessing executable 'agda' for Agda-2.6.4.3..
Installing executable agda-mode in /usr/local/walck/cabal/store/ghc-9.8.2/incoming/new-288224/usr/local/walck/cabal/store/ghc-9.8.2/Agda-2.6.4.3-974b8ee96051d4b6f2951560b712daec103ef665eccbfc72f71883fdcfc15db2/bin
Warning: The directory
/usr/local/walck/cabal/store/ghc-9.8.2/incoming/new-288224/usr/local/walck/cabal/store/ghc-9.8.2/Agda-2.6.4.3-974b8ee96051d4b6f2951560b712daec103ef665eccbfc72f71883fdcfc15db2/bin
is not in the system search path.
Installing library in /usr/local/walck/cabal/store/ghc-9.8.2/incoming/new-288224/usr/local/walck/cabal/store/ghc-9.8.2/Agda-2.6.4.3-974b8ee96051d4b6f2951560b712daec103ef665eccbfc72f71883fdcfc15db2/lib
Installing executable agda in /usr/local/walck/cabal/store/ghc-9.8.2/incoming/new-288224/usr/local/walck/cabal/store/ghc-9.8.2/Agda-2.6.4.3-974b8ee96051d4b6f2951560b712daec103ef665eccbfc72f71883fdcfc15db2/bin
Warning: The directory
/usr/local/walck/cabal/store/ghc-9.8.2/incoming/new-288224/usr/local/walck/cabal/store/ghc-9.8.2/Agda-2.6.4.3-974b8ee96051d4b6f2951560b712daec103ef665eccbfc72f71883fdcfc15db2/bin
is not in the system search path.
Generating Agda library interface files...
Error: setup: filepath wildcard
'lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Bool.agdai' does not match any
files.

--
Scott N. Walck
Professor of Physics
Lebanon Valley College
Annville, PA 17003
phone: 717-867-6153
fax:   717-867-6075
email: walck at lvc.edu
http://quantum.lvc.edu/walck/
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240528/21af0f03/attachment.html>


More information about the Agda mailing list