<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
try to pull from git and use stack for installation: stack build && stack install</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Agda <agda-bounces@lists.chalmers.se> on behalf of Scott N. Walck <walck@lvc.edu><br>
<b>Sent:</b> Tuesday, May 28, 2024 3:15 PM<br>
<b>To:</b> agda@lists.chalmers.se <agda@lists.chalmers.se><br>
<b>Subject:</b> [Agda] trouble installing Agda</font>
<div> </div>
</div>
<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">
<div class="PlainText">Hi folks,<br>
<br>
I'm sure this is a boring question, and I'm sorry to have to ask it. I<br>
tried<br>
<br>
cabal install Agda<br>
<br>
using cabal 3.10.3.0 and ghc-9.8.2 on an Arch linux system. Below are<br>
the last several lines of the build log.<br>
<br>
I got similar errors trying to install with stack, trying to install<br>
from the git clone with 'cabal install', and trying to install from the<br>
git clone with 'make'. Interestingly, 'cabal build' succeeds.<br>
<br>
The lest several lines of the build log say that executable files have<br>
been installed in a certain (temporary, I assume) location. I tried to<br>
find these files, but the entire directory 'new-288224' does not exist.<br>
<br>
I would be grateful for any help. I've used Agda in the past and am<br>
coming back to it after a hiatus. I have some previously written code<br>
that I would really like to play with again.<br>
<br>
Thanks,<br>
Scott<br>
<br>
<br>
<br>
Preprocessing executable 'agda' for Agda-2.6.4.3..<br>
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<br>
Warning: The directory<br>
/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<br>
is not in the system search path.<br>
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<br>
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<br>
Warning: The directory<br>
/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<br>
is not in the system search path.<br>
Generating Agda library interface files...<br>
Error: setup: filepath wildcard<br>
'lib/prim/_build/2.6.4.3/agda/Agda/Builtin/Bool.agdai' does not match any<br>
files.<br>
<br>
-- <br>
Scott N. Walck<br>
Professor of Physics<br>
Lebanon Valley College<br>
Annville, PA 17003<br>
phone: 717-867-6153<br>
fax: 717-867-6075<br>
email: walck@lvc.edu<br>
<a href="http://quantum.lvc.edu/walck/">http://quantum.lvc.edu/walck/</a><br>
_______________________________________________<br>
Agda mailing list<br>
Agda@lists.chalmers.se<br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div>
</span></font></div>
</body>
</html>