diff options
| author | Théo Zimmermann | 2019-03-18 21:05:30 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-18 21:05:30 +0100 |
| commit | 238d83080c8dbed458b026c93f5c723c1bd7c937 (patch) | |
| tree | f990ec517483b1d80821538554c8a29607a0cceb /default.nix | |
| parent | 9ac5483132b42e845a0708491843693b70893eef (diff) | |
| parent | 0c3aa2f4bbd0bb5124ff3cc95759cb7cb89caa6b (diff) | |
Merge PR #9777: [Nix] A few improvements
Reviewed-by: Zimmi48
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/default.nix b/default.nix index 3290f5dee8..cede0cd6b1 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 ./dev/nixpkgs.nix {} , ocamlPackages ? pkgs.ocamlPackages , buildIde ? true , buildDoc ? true |