From 9f3d860e6194efb21ab2f05da34feb4b8017016b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= Date: Sat, 11 Jan 2020 14:59:57 +0100 Subject: [PATCH] README: install::other: do a release build, and mention profile guided --- README.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 153ca554..0af51d69 100644 --- a/README.md +++ b/README.md @@ -279,12 +279,16 @@ To build, first, create a build directory, and switch to it: mkdir -p bld/debug && cd bld/debug ``` -Second, configure the build (if you intend to install it globally, you +Second, configure[^2] the build (if you intend to install it globally, you might also want `--prefix=/usr`): ```sh -meson --buildtype=debug ../.. +meson --buildtype=release ../.. ``` +[^2]: for advanced users: a profile guided build will have + significantly better performance; take a look at + [PKDBUILD](PKGBUILD) to see how this can be done. + Three, build it: ```sh ninja