FS#67348 - [agda] Elisp files don't get compiled

Attached to Project: Community Packages
Opened by Felix E. Klee (feklee) - Tuesday, 21 July 2020, 15:52 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:01 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:

The Elisp files don't get compiled, potentially leading to low performance.


Additional info:
* 2.6.1-67


Steps to reproduce:

Install the package. Apparently, "agda-mode compile" is not run during installation. It should be run: https://agda.readthedocs.io/en/v2.6.1/getting-started/installation.html
This task depends upon

Closed by  Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:01 GMT
Reason for closing:  Moved
Additional comments about closing:  https://gitlab.archlinux.org/archlinux/p ackaging/packages/agda/issues/3
Comment by Buggy McBugFace (bugbot) - Tuesday, 08 August 2023, 19:11 GMT
This is an automated comment as this bug is open for more then 2 years. Please reply if you still experience this bug otherwise this issue will be closed after 1 month.

Loading...