blob: a588f431d71be85636edb323b976c1de9de8defc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{ config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
update-nixpkgs ? false, ci-matrix ? false, ci-job ? null,
override ? {}, ocaml-override ? {}, global-override ? {},
ci ? (!isNull ci-job), inNixShell ? null, src ? ./.,
}@args:
let auto = fetchGit {
url = "https://github.com/coq-community/coq-nix-toolbox.git";
ref = "master";
# putting a ref here is strongly advised
rev = import .nix/coq-nix-toolbox.nix;
};
in
(import auto ({inherit src;} // args)).nix-auto
|
