diff options
| -rw-r--r-- | default.nix | 2 | ||||
| -rw-r--r-- | dev/ci/nix/default.nix | 2 | ||||
| -rw-r--r-- | dev/nixpkgs.nix (renamed from nixpkgs.nix) | 0 |
3 files changed, 2 insertions, 2 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 diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index 6dc0a71edc..2dcacba0ea 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -1,4 +1,4 @@ -{ pkgs ? import ../../../nixpkgs.nix {} +{ pkgs ? import ../../nixpkgs.nix {} , branch , wd , project ? "xyz" diff --git a/nixpkgs.nix b/dev/nixpkgs.nix index 13da772463..13da772463 100644 --- a/nixpkgs.nix +++ b/dev/nixpkgs.nix |