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.

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

Nix packaging #10873

Merged
merged 1 commit into from
May 20, 2022
Merged

Nix packaging #10873

merged 1 commit into from
May 20, 2022

Conversation

balsoft
Copy link
Contributor

@balsoft balsoft commented May 6, 2022

Nix (https://nixos.org) is a package manager/build system that offers reproducible builds, caching and easy to setup development environments, all based on a declarative, functional language.

This PR adds some trivial fixes to improve build flexibility, and Nix packages for Mina itself as well as some of auxillary projects in this monorepo. It also documents using Nix for building and developing Mina.

This supersedes #10042.

@balsoft balsoft added the ci-build-me Add this label to trigger a circle+buildkite build for this branch label May 17, 2022
flake.nix Outdated Show resolved Hide resolved
Nix (https://nixos.org) is a package manager/build system that offers
reproducible builds, caching and easy to setup development
environments, all based on a declarative, functional language.

This commit adds the files necessary to build and develop Mina with
Nix, along with some convenience scripts and functions. It also
documents using Nix for developers and people wishing to build Mina.

Co-authored-by: Yorick Van Pelt <yorick.vanpelt@tweag.io>
Co-authored-by: Ilya Polyakovskiy <ilya.polyakovskiy@tweag.io>
flake.nix Show resolved Hide resolved
@balsoft balsoft merged commit 5e99c67 into compatible May 20, 2022
@balsoft balsoft deleted the nix-packaging branch May 20, 2022 06:17
@robinbb robinbb added the Tweag label May 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci-build-me Add this label to trigger a circle+buildkite build for this branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants