From 26df73fb0d7a5422c209fb4f10d0e2f73f6388aa Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <oleg.grenrus@iki.fi>
Date: Wed, 18 Jan 2023 11:36:45 +0200
Subject: Add -single-threaded flag to force single threaded rts

This is the small part of implementing
https://github.com/ghc-proposals/ghc-proposals/pull/240
---
 docs/users_guide/phases.rst | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'docs')

diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst
index 8d0c32f5c1..f60ee30709 100644
--- a/docs/users_guide/phases.rst
+++ b/docs/users_guide/phases.rst
@@ -1076,6 +1076,7 @@ for example).
     :shortdesc: Use the threaded runtime
     :type: dynamic
     :category: linking
+    :reverse: -single-threaded
 
     Link the program with the "threaded" version of the runtime system.
     The threaded runtime system is so-called because it manages multiple
@@ -1099,6 +1100,16 @@ for example).
        called from multiple OS threads simultaneously. See
        :ref:`ffi-threads`.
 
+.. ghc-flag:: -single-threaded
+    :shortdesc: Use the single-threaded runtime
+    :type: dynamic
+    :category: linking
+    :reverse: -threaded
+
+    :since: 9.8
+
+    Switch to the single threaded (default) version of the runtime.
+
 .. ghc-flag:: -eventlog
     :shortdesc: Enable runtime event tracing
     :type: dynamic
-- 
cgit v1.2.1