From 559c87b84a03ce5bc2338d51bd5995562338d4c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= Date: Sat, 5 Dec 2020 11:06:50 +0100 Subject: [PATCH] =?UTF-8?q?install:=20add=20=E2=80=98options=E2=80=99=20se?= =?UTF-8?q?ction,=20describing=20compile-time=20options?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- INSTALL.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/INSTALL.md b/INSTALL.md index 40e167a2..45ab5ff1 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -7,6 +7,7 @@ 1. [Arch Linux](#arch-linux) 1. [Other](#other) 1. [Setup](#setup) + 1. [Options](#options) 1. [Release build](#release-build) 1. [Size optimized](#size-optimized) 1. [Performance optimized, non-PGO](#performance-optimized-non-pgo) @@ -130,6 +131,15 @@ To build, first, create a build directory, and switch to it: mkdir -p bld/release && cd bld/release ``` +### Options + +All variants below support the following compile-time options: + +| Option | Type | Default | Description | Extra dependencies | +|--------|------|---------|---------------------|--------------------| +| -Dime | Bool | True | Enables IME support | None | + + ### Release build Below are instructions for building foot either [size