diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2019-06-19 17:10:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-19 17:10:21 +0200 |
| commit | ba3a834b759b9fa0dc455ed35d6e6e028531648a (patch) | |
| tree | 4cd41c67e046f12680df5194af4e5fd056f20eb7 /doc | |
| parent | b54b5f9ad88b5138e4e4ca4a49cbd2d89559e897 (diff) | |
| parent | eda8c3679564ff3c120fbc776a3fd19d3fb7c7de (diff) | |
doc/idris: Fix install instructions (#63163)
doc/idris: Fix install instructions
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/languages-frameworks/idris.section.md | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/doc/languages-frameworks/idris.section.md b/doc/languages-frameworks/idris.section.md index 50979d76d98be..3025172b5c981 100644 --- a/doc/languages-frameworks/idris.section.md +++ b/doc/languages-frameworks/idris.section.md @@ -11,10 +11,21 @@ $ # On non-NixOS $ nix-env -i nixpkgs.idris ``` -This however only provides the `prelude` and `base` libraries. To install additional libraries: +This however only provides the `prelude` and `base` libraries. To install idris with additional libraries, you can use the `idrisPackages.with-packages` function, e.g. in an overlay in `~/.config/nixpkgs/overlays/my-idris.nix`: +```nix +self: super: { + myIdris = with self.idrisPackages; with-packages [ contrib pruviloj ]; +} ``` -$ nix-env -iE 'pkgs: pkgs.idrisPackages.with-packages (with pkgs.idrisPackages; [ contrib pruviloj ])' + +And then: + +``` +$ # On NixOS +$ nix-env -iA nixos.myIdris +$ # On non-NixOS +$ nix-env -iA nixpkgs.myIdris ``` To see all available Idris packages: |