blob: ecd280e58de601fbdf45102d274f6d1e20bcc2b1 (
plain)
1
2
3
4
5
6
7
8
9
|
{ stdenv, callPackage, branch, wd }:
let coq = callPackage wd { buildDoc = false; doInstallCheck = false; coq-version = "8.9"; }; in
coq.overrideAttrs (o: {
name = "coq-local-${branch}";
src = fetchGit "${wd}";
enableParallelBuilding = true;
})
|
