-
Notifications
You must be signed in to change notification settings - Fork 85
Using nix build with metacoq
Work In Progress
See https://nixos.org/download.html.
For MetaCoq development purpose, a single user installation is enough. On MacOS, you don't have a choice and must setup a multi-user installation.
$ nix-env -iA nixpkgs.cachix && cachix use coq && cachix use coq-community && cachix use metacoq
Pull a MetaCoq branch with nix set up (the top directory should contain a default.nix file and a .nix subdirectory.
From the top directory of metacoq, enter a nix-environment (this will either download the CIed artifacts if they exists or build everything):
$ nix-shell
Then to retrieve the .vo artifacts built by the CI, run the following script (still from the top directory):
$ ./.nix/cachedMake.sh
Otherwise you can build locally with
$ nix-build
The configuration is located in .nix/config.nix (in particular default coq and equations version for the current branch).
See the documentation of coq-nix-toolbox.