Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Integrate with nixpkgs #20

Closed
turion opened this issue May 16, 2020 · 1 comment
Closed

Integrate with nixpkgs #20

turion opened this issue May 16, 2020 · 1 comment

Comments

@turion
Copy link

turion commented May 16, 2020

We're currently improving the Agda infrastructure on nixpkgs. In the long run, we want to be able to reliably build interdependent Agda libraries in a reproducible way with nix. Currently the sources and revisions/versions are hardcoded in nix. There is some discussion whether and how to incorporate package-index with nixpkgs here: NixOS/nixpkgs#87903
@turion
Copy link
Author

turion commented May 16, 2020

Integrating package-index with nixpkgs would also make #15, #16, and #17 quite easy.

@turion turion mentioned this issue May 16, 2020
Draft
20 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@turion @jonaprieto