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