Skip to content
Snippets Groups Projects
Commit cb0ad7a7 authored by Mikhail Glushenkov's avatar Mikhail Glushenkov
Browse files

Default 'library-for-ghci' to True on Windows.

Temporary workaround. Fixes #1589.
parent 34565053
No related branches found
No related tags found
No related merge requests found
...@@ -335,7 +335,12 @@ defaultConfigFlags progConf = emptyConfigFlags { ...@@ -335,7 +335,12 @@ defaultConfigFlags progConf = emptyConfigFlags {
configDistPref = Flag defaultDistPref, configDistPref = Flag defaultDistPref,
configVerbosity = Flag normal, configVerbosity = Flag normal,
configUserInstall = Flag False, --TODO: reverse this configUserInstall = Flag False, --TODO: reverse this
#if defined(mingw32_HOST_OS)
-- See #1589.
configGHCiLib = Flag True,
#else
configGHCiLib = Flag False, configGHCiLib = Flag False,
#endif
configSplitObjs = Flag False, -- takes longer, so turn off by default configSplitObjs = Flag False, -- takes longer, so turn off by default
configStripExes = Flag True, configStripExes = Flag True,
configTests = Flag False, configTests = Flag False,
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment