From 28859b57fd7022483149db64a5cfc231d03c3b1e Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Wed, 30 Dec 2020 17:39:01 +0100
Subject: [PATCH] Cleanup README

Remove sections on building depot and make targets as it is no
longer valid.
---
 README.md | 19 ++-----------------
 1 file changed, 2 insertions(+), 17 deletions(-)

diff --git a/README.md b/README.md
index 59c0c3a..bb52014 100644
--- a/README.md
+++ b/README.md
@@ -56,7 +56,7 @@ instructions for enabling: https://app.cachix.org/cache/genodepkgs
 ```sh
 $ git clone https://git.sr.ht/~ehmry/genodepkgs
 $ cd genodepkgs
-$ nix build .#checks.x86_64-linux.nova-x86
+$ nix build -L .#checks.x86_64-linux.nova-x86
 
 # View the log if the result is already cached:
 $ nix log .#checks.x86_64-linux.nova-x86
@@ -94,25 +94,10 @@ x86_64-unknown-genode-clang++ -v
 
 # Tips and tricks
 
-## How to build a Genode make target?
-
-```nix
-let flake = builtins.getFlake "genodepkgs";
-in flake.packages.x86_64-linux-x86_64-genode.genodeSources.make "app/ping"
-```
-
-## How to build a Genode depot package?
-
-```nix
-let flake = builtins.getFlake "genodepkgs";
-in flake.packages.x86_64-linux-x86_64-genode.genodeSources.depot "wifi_drv"
-```
-
 ## How to add missing ports to a depot package?
 
 The missing ports as indicated by a depot build failure must be added to
-[targets.nix](./overlay/genode/targets.nix). To continue from the previous
-example, this would be sufficient:
+[targets.nix](./overlay/genode/targets.nix). For example:
 
 ```nix
 {