summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorOleg Grenrus <oleg.grenrus@iki.fi>2023-01-18 11:36:45 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2023-02-15 22:20:57 -0500
commit26df73fb0d7a5422c209fb4f10d0e2f73f6388aa (patch)
tree459a2c3560faa516e14f01cb18c80c034315cb9a /docs
parent9ca51f9e84abc41ba590203d8bc8df8d6af86db2 (diff)
downloadhaskell-26df73fb0d7a5422c209fb4f10d0e2f73f6388aa.tar.gz
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
Diffstat (limited to 'docs')
-rw-r--r--docs/users_guide/phases.rst11
1 files changed, 11 insertions, 0 deletions
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