From d6237a4565eb5198eb2001c7b8afa8112af4f8fe Mon Sep 17 00:00:00 2001
From: Marc Butler <135883+marcbutler@users.noreply.github.com>
Date: Tue, 1 Oct 2024 17:21:31 +1000
Subject: [PATCH] Fix cmake command line examples (#521)

---
 INSTALL.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 029aec753..0afcca283 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -59,7 +59,7 @@ source releases, you can skip this step):
 To build gringo, clingo, and reify in their default configurations in release
 mode, run:
 
-    cmake -H<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release
+    cmake -S<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release
     cmake --build <BUILD_DIR>
 
 The resulting binaries and shared libraries will be in `<BUILD_DIR>/bin` and
@@ -80,11 +80,11 @@ options](#build-options)) and run:
 Cmake's `-L` option can be used to get an overview over the variables that can
 be set for building gringo/clingo. To get gringo/clingo specific options, run
 
-    cmake -H<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release -LH
+    cmake -S<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release -LH
 
 or, to also print important cmake specific configuration variables
 
-    cmake -H<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release -LAH
+    cmake -S<SOURCE_DIR> -B<BUILD_DIR> -DCMAKE_BUILD_TYPE=Release -LAH
 
 Options and variables can be passed to
 cmake on the command line using `-D<VARIABLE>=<VALUE>` or by editing
@@ -180,7 +180,7 @@ assume that [Emscripten](https://kripken.github.io/emscripten-site/) has been
 installed. Only the web target and a subset of clingo's configuration are
 supported when compiling to JavaScript:
 
-    emcmake cmake -H<SOURCE_DIR> -B<BUILD_DIR> \
+    emcmake cmake -S<SOURCE_DIR> -B<BUILD_DIR> \
         -DCLINGO_BUILD_WEB=On \
         -DCLINGO_BUILD_WITH_PYTHON=Off \
         -DCLINGO_BUILD_WITH_LUA=Off \