diff options
| author | Vincent Laporte | 2019-03-15 17:43:15 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-18 08:56:11 +0000 |
| commit | d7e7ec69c84db9c164dd546642ed0b638af766d3 (patch) | |
| tree | 628a8ce13320cb98853f15c714e5919ab5bab2d3 /default.nix | |
| parent | 23f2c0405fe55d3c2f63e65880da906acf213254 (diff) | |
[nix] Move nixpkgs.nix into the dev/ directory
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix index d48b2012d2..cede0cd6b1 100644 --- a/default.nix +++ b/default.nix @@ -21,7 +21,7 @@ # Once the build is finished, you will find, in the current directory, # a symlink to where Coq was installed. -{ pkgs ? import ./nixpkgs.nix {} +{ pkgs ? import ./dev/nixpkgs.nix {} , ocamlPackages ? pkgs.ocamlPackages , buildIde ? true , buildDoc ? true |