FS#67470 - [agda] Dependency for ghc missing

Attached to Project: Community Packages
Opened by Felix E. Klee (feklee) - Monday, 03 August 2020, 04:06 GMT
Last edited by Felix Yan (felixonmars) - Monday, 10 August 2020, 10:29 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description: ghc is needed to compile Agda programs.


Additional info:
* package version(s)
* config and/or log files etc.
* link to upstream bug report, if any

Steps to reproduce:

1. Create `/tmp/hello-world.agda`:

https://agda.readthedocs.io/en/v2.6.0.1/getting-started/hello-world.html

2. Run `agda --compile hello-world.agda`. It fails with an error message:

[…]
Compiling hello-world in /tmp/hello-world.agdai to /tmp/MAlonzo/Code/QhelloZ45Zworld.hs
Calling: ghc -O -o /tmp/hello-world -Werror -i/tmp -main-is MAlonzo.Code.QhelloZ45Zworld /tmp/MAlonzo/Code/QhelloZ45Zworld.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns -dynamic
ghc: createProcess: runInteractiveProcess: exec: does not exist (No
such file or directory)
This task depends upon

Closed by  Felix Yan (felixonmars)
Monday, 10 August 2020, 10:29 GMT
Reason for closing:  Fixed
Additional comments about closing:  2.6.1-83

Loading...