tjh.dev
doc: adopt new buildIdris changes in docs
+4
-4
doc/languages-frameworks/idris2.section.md
+4
-4
doc/languages-frameworks/idris2.section.md
···
19
19
};
20
20
idrisLibraries = [ ];
21
21
};
22
-
in lspLibPkg.library
22
+
in lspLibPkg.library { withSource = true; }
23
23
```
24
24
25
25
The above results in a derivation with the installed library results (with sourcecode).
···
30
30
31
31
# Assuming the previous example lives in `lsp-lib.nix`:
32
32
let lspLib = callPackage ./lsp-lib.nix { };
33
+
inherit (idris2Packages) idris2Api;
33
34
lspPkg = idris2Packages.buildIdris {
34
35
ipkgName = "idris2-lsp";
35
36
src = fetchFromGitHub {
···
38
39
rev = "main";
39
40
hash = "sha256-vQTzEltkx7uelDtXOHc6QRWZ4cSlhhm5ziOqWA+aujk=";
40
41
};
41
-
idrisLibraries = [(idris2Packages.idris2Api { }) (lspLib { })];
42
+
idrisLibraries = [idris2Api lspLib];
42
43
};
43
44
in lspPkg.executable
44
45
```
45
46
46
-
The above uses the default value of `withSource = false` for both of the two required Idris libraries that the `idris2-lsp` executable depends on. `idris2Api` in the above derivation comes built in with `idris2Packages`. This library exposes many of the otherwise internal APIs of the Idris2 compiler.
47
-
47
+
The above uses the default value of `withSource = false` for the `idris2Api` but could be modified to include that library's source by passing `(idris2Api { withSource = true; })` to `idrisLibraries` instead. `idris2Api` in the above derivation comes built in with `idris2Packages`. This library exposes many of the otherwise internal APIs of the Idris2 compiler.