diff options
Diffstat (limited to '.nix')
| -rw-r--r-- | .nix/config.nix | 33 | ||||
| -rw-r--r-- | .nix/coq-nix-toolbox.nix | 1 | ||||
| -rw-r--r-- | .nix/coq-overlays/mathcomp-single/default.nix | 2 |
3 files changed, 36 insertions, 0 deletions
diff --git a/.nix/config.nix b/.nix/config.nix new file mode 100644 index 0000000..5656f01 --- /dev/null +++ b/.nix/config.nix @@ -0,0 +1,33 @@ +{ + ## DO NOT CHANGE THIS + format = "1.0.0"; + ## unless you made an automated or manual update + ## to another supported format. + + ## The attribute to build, either from nixpkgs + ## of from the overlays located in `.nix/coq-overlays` + coq-attribute = "mathcomp"; + + ## If you want to select a different attribute + ## to serve as a basis for nix-shell edit this + shell-coq-attribute = "mathcomp-single"; + + ## Indicate the relative location of your _CoqProject + ## If not specified, it defaults to "_CoqProject" + coqproject = "mathcomp/_CoqProject"; + + ## select an entry to build in the following `tasks` set + ## defaults to "default" + select = "coq-8.13"; + + ## write one `tasks.name` attribute set per + ## alternative configuration, the can be used to + ## compute several ci jobs as well + + ## You can override Coq and other Coq coqPackages + ## through the following attribute + + tasks."coq-8.13".coqPackages.coq.override.version = "8.13"; + tasks."coq-8.12".coqPackages.coq.override.version = "8.12"; + tasks."coq-8.11".coqPackages.coq.override.version = "8.11"; +} diff --git a/.nix/coq-nix-toolbox.nix b/.nix/coq-nix-toolbox.nix new file mode 100644 index 0000000..4267323 --- /dev/null +++ b/.nix/coq-nix-toolbox.nix @@ -0,0 +1 @@ +"6bc8d19328c17c44d787da39b1794255cd244008" diff --git a/.nix/coq-overlays/mathcomp-single/default.nix b/.nix/coq-overlays/mathcomp-single/default.nix new file mode 100644 index 0000000..65be1c4 --- /dev/null +++ b/.nix/coq-overlays/mathcomp-single/default.nix @@ -0,0 +1,2 @@ +{ mathcomp, version ? null }: +mathcomp.override {single = true; version = null;} |