Using nix build with metacoq

Work In Progress

Setup

Step 1: Install nix

See https://nixos.org/download.html.

Step 2: Setup cachix

$ nix-env -iA nixpkgs.cachix && cachix use coq && cachix use coq-community && cachix use metacoq

Step 3: Build your branch

From the top directory of metacoq, issue one of the following commands.

In order to retrieve the artifacts built by the CI:

$ ./.nix/cachedMake.sh

Otherwise to build locally

nix-build

Configuration

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.