diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/8.12.1-notes.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst index bc8450417f..0117b537d9 100644 --- a/docs/users_guide/8.12.1-notes.rst +++ b/docs/users_guide/8.12.1-notes.rst @@ -244,6 +244,12 @@ Arrow notation Build system ~~~~~~~~~~~~ +Bootstrapping requirements +-------------------------- + +- GHC now requires a C compiler which supports + ``__atomic_op_n`` builtins. This raises the requirement for GCC to 4.7. + Included libraries ------------------ |