Skip to content

Latest commit

 

History

History
41 lines (31 loc) · 1.95 KB

README_TEMPLATE.md

File metadata and controls

41 lines (31 loc) · 1.95 KB
Raw

Nix support, build and caching for mathcomp packages

Cachix

This caches the builds needed to call

nix-shell https://github.com/math-comp/math-comp-nix/archive/v2.tar.gz

Which can also be called (with some delays in updates)

nix-shell https://math-comp.github.io/nix

See Mathcomp on nix Wiki page for a short manual.

Summary

Here is a synthesis of all available mathcomp packages.

If a mathcomp-coq combination is missing, please add it to the mc-coq-set attribute in the file matrix/default.nix.

If some mathcomp extra package is missing, there might be three reasons:

  1. The (update of the) package has not been pushed on NixOS/nixpkgs. If that's the case you can either
  • open a pull request to add it, or
  • open an issue and tag @CohenCyril to prompt for the addition of the package.
  1. The nixpkgs commit has not been updated in https://github.com/coq-community/coq-nix-toolbox/. In which case, you should go there and run nix-shell --arg update-nixpkgs true, commit and push there.
  • This command is also applicable in the current directory but is strongly discouraged outside of development purpose, since it would desynchronize the nixpkgs versions at use between https://github.com/coq-nix-toolbox/ and https://math-comp.github.io/nix.
  • It can take some time for a package pushed to NixOS/nixpkgs to reach the unstable branch. If you are too impatient you can run nix-shell --arg do-nothing true --run updateNixpkgsMaster on your own projects.
  1. The current repository is not in sync with https://github.com/coq-community/coq-nix-toolbox/. You should run nix-shell --run updateNixToolBox, commit and make a pull request to see if it goes through.