Community Packages

Please read this before reporting a bug:
http://wiki.archlinux.org/index.php/Reporting_Bug_Guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#64600 - [agda] fixing agda-stdlib

Attached to Project: Community Packages
Opened by poscat0x04 (Poscat) - Thursday, 21 November 2019, 13:12 GMT
Last edited by Morten Linderud (Foxboron) - Tuesday, 26 November 2019, 10:42 GMT
Task Type Bug Report
Category Packages
Status Assigned
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 0%
Votes 2
Private No

Details

Description:

right now agda cannot correctly find the standard library (https://bugs.archlinux.org/task/61904?project=5&string=agda and https://bugs.archlinux.org/task/56637?project=5&string=agda)

after fix:

PKGBUILD for agda-stdlib : https://cfp.vim-cn.com/cbf5c
PKGBUILD for agda : https://cfp.vim-cn.com/cbf5d

`libraries` and `defaults` should be placed with agda-stdlib's PKGBUILD whereas `Library.patch` should be placed with agda's PKGBUILD

`Library.patch` changes the default AGDA_DIR to `/usr/share/agda`

`libraries` and `defaults` registers the standard library

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

Steps to reproduce:
This task depends upon

Comment by poscat0x04 (Poscat) - Thursday, 21 November 2019, 13:27 GMT Comment by Felix Yan (felixonmars) - Friday, 31 July 2020, 07:25 GMT
Thanks for the report. It looks like Library.patch will ignore $HOME/.agda and use only /usr/share/agda, that seems like a breaking change to anyone reading official docs etc.

I still think it should be left to the user to decide whether he needs agda-stdlib to be configured globally or perhaps only on a project level.

For a global configuration, one can always use:

$ cat .agda/libraries
/usr/share/agda/lib/standard-library.agda-lib
$ cat .agda/defaults
standard-library

Loading...