|
@@ -56,7 +56,7 @@ instructions for enabling: https://app.cachix.org/cache/genodepkgs
|
56
|
56
|
```sh
|
57
|
57
|
$ git clone https://git.sr.ht/~ehmry/genodepkgs
|
58
|
58
|
$ cd genodepkgs
|
59
|
|
-$ nix build .#checks.x86_64-linux.nova-x86
|
|
59
|
+$ nix build -L .#checks.x86_64-linux.nova-x86
|
60
|
60
|
|
61
|
61
|
# View the log if the result is already cached:
|
62
|
62
|
$ nix log .#checks.x86_64-linux.nova-x86
|
|
@@ -94,25 +94,10 @@ x86_64-unknown-genode-clang++ -v
|
94
|
94
|
|
95
|
95
|
# Tips and tricks
|
96
|
96
|
|
97
|
|
-## How to build a Genode make target?
|
98
|
|
-
|
99
|
|
-```nix
|
100
|
|
-let flake = builtins.getFlake "genodepkgs";
|
101
|
|
-in flake.packages.x86_64-linux-x86_64-genode.genodeSources.make "app/ping"
|
102
|
|
-```
|
103
|
|
-
|
104
|
|
-## How to build a Genode depot package?
|
105
|
|
-
|
106
|
|
-```nix
|
107
|
|
-let flake = builtins.getFlake "genodepkgs";
|
108
|
|
-in flake.packages.x86_64-linux-x86_64-genode.genodeSources.depot "wifi_drv"
|
109
|
|
-```
|
110
|
|
-
|
111
|
97
|
## How to add missing ports to a depot package?
|
112
|
98
|
|
113
|
99
|
The missing ports as indicated by a depot build failure must be added to
|
114
|
|
-[targets.nix](./overlay/genode/targets.nix). To continue from the previous
|
115
|
|
-example, this would be sufficient:
|
|
100
|
+[targets.nix](./overlay/genode/targets.nix). For example:
|
116
|
101
|
|
117
|
102
|
```nix
|
118
|
103
|
{
|