diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2017-12-19 15:53:58 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-12-19 15:53:58 +0100 |
| commit | 410ba0b342d5c4ec4a77eba5993c0224b2c6112e (patch) | |
| tree | 222badc392e54237046df2c0463c24763da6712b /README.win32.adoc | |
| parent | 2cc67bb4e0995f3ce2f322f581a14593289b7983 (diff) | |
| download | ocaml-410ba0b342d5c4ec4a77eba5993c0224b2c6112e.tar.gz | |
Remove -static-libgcc link flag from mingw32 port (#1535)
* MPR#6411 revisited
Including -static-libgcc in all link instructions prevents C++ exceptions
from ever working. mmap.o is the only affected unit, since it needs
auxiliary functions to perform division of an __int64. A better fix is to
specify --static-libgcc only when building dllbigarray.dll and dllunix.dll
(since they both export versions of this primitive).
* Correct -static-libgcc error in README.win32.adoc
The instructions for the mingw64 port added in 600a93d amended the
sentence about -static-libgcc to include config/Makefile.mingw64. The
64-bit mingw port has never required or included this flag.
Diffstat (limited to 'README.win32.adoc')
| -rw-r--r-- | README.win32.adoc | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/README.win32.adoc b/README.win32.adoc index ccec496b2e..8d9d110bdb 100644 --- a/README.win32.adoc +++ b/README.win32.adoc @@ -294,12 +294,6 @@ bash or by adding Cygwin's bin directory (e.g. `C:\cygwin\bin`) to your `PATH`. * The replay debugger is partially supported (no reverse execution). -* The default `config/Makefile.mingw` and `config/Makefile.mingw64` pass - `-static-libgcc` to the linker. For more information on this topic: - - - http://gcc.gnu.org/onlinedocs/gcc-4.9.1/gcc/Link-Options.html#Link-Options - - http://caml.inria.fr/mantis/view.php?id=6411 - [[seflexdll]] == FlexDLL Although the core of FlexDLL is necessarily written in C, the `flexlink` program |