diff options
| author | Vincent Laporte | 2019-03-15 13:00:17 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-18 08:56:10 +0000 |
| commit | 2a4d0627e61ce9261d891b5199c2463c5b62ee4f (patch) | |
| tree | 2e88d413121e19c24e86f98758d44807e8ad2aea | |
| parent | 0fc0b5f74a402c1393b485543eca6fbd63bafc61 (diff) | |
[nix] Store the reference to nixpkgs in a dedicated file
| -rw-r--r-- | default.nix | 6 | ||||
| -rw-r--r-- | nixpkgs.nix | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/default.nix b/default.nix index 3290f5dee8..d48b2012d2 100644 --- a/default.nix +++ b/default.nix @@ -21,11 +21,7 @@ # Once the build is finished, you will find, in the current directory, # a symlink to where Coq was installed. -{ pkgs ? - (import (fetchTarball { - url = "https://github.com/NixOS/nixpkgs/archive/11cf7d6e1ffd5fbc09a51b76d668ad0858a772ed.tar.gz"; - sha256 = "0zcg4mgfdk3ryiqj1j5iv5bljjvsgi6q6j9z1vkq383c4g4clc72"; - }) {}) +{ pkgs ? import ./nixpkgs.nix {} , ocamlPackages ? pkgs.ocamlPackages , buildIde ? true , buildDoc ? true diff --git a/nixpkgs.nix b/nixpkgs.nix new file mode 100644 index 0000000000..13da772463 --- /dev/null +++ b/nixpkgs.nix @@ -0,0 +1,4 @@ +import (fetchTarball { + url = "https://github.com/NixOS/nixpkgs/archive/11cf7d6e1ffd5fbc09a51b76d668ad0858a772ed.tar.gz"; + sha256 = "0zcg4mgfdk3ryiqj1j5iv5bljjvsgi6q6j9z1vkq383c4g4clc72"; +}) |