diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-03-29 12:26:50 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-25 10:19:29 -0400 |
| commit | 9420d26b4b9dd42238d3ec2a92abe0552d37775e (patch) | |
| tree | 83ab1953b68e9a6bf17dfcdefe66894411d1a197 /docs | |
| parent | cb71226f9537e542c6eadb90d8006e525c941605 (diff) | |
| download | haskell-9420d26b4b9dd42238d3ec2a92abe0552d37775e.tar.gz | |
Drop libtool path from settings file
GHC no longers uses libtool for linking and therefore this is no longer
necessary.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/phases.rst | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst index c931268bbd..fdb08a4209 100644 --- a/docs/users_guide/phases.rst +++ b/docs/users_guide/phases.rst @@ -123,13 +123,6 @@ given compilation phase: GHC installation. See ``-fno-embed-manifest`` in :ref:`options-linker`. -.. ghc-flag:: -pgmlibtool ⟨cmd⟩ - :shortdesc: Use ⟨cmd⟩ as the command for libtool (with :ghc-flag:`-staticlib` only). - :type: dynamic - :category: phase-programs - - Use ⟨cmd⟩ as the libtool command (when using :ghc-flag:`-staticlib` only). - .. ghc-flag:: -pgmi ⟨cmd⟩ :shortdesc: Use ⟨cmd⟩ as the external interpreter command. :type: dynamic |