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
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
|
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
Monday, 10 August 2020, 10:29 GMT
Reason for closing: Fixed
Additional comments about closing: 2.6.1-83