`Agda` package with missing data-files
Opened this issue · 0 comments
judah commented
The Agda package is distributed on Hackage without its data-files. This leads to a build error with pier build Agda:
/private/var/folders/dk/xxrqcv1n5_5_gzkyzc94r5_80000gn/T/bR5j9VwncKwkZO0pqm7vFG2.Ssg14OGnc94Rr.yd3P0_75630/data-files/emacs-mode/*.el: fileAccess: does not exist (No such file or directory)
At least some of those files are generated by running agda-mode setup.
Not sure if we should just be more lenient with respect to data files, or else defer to #22.