diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-03-23 15:22:13 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-03-23 15:22:13 +0000 |
| commit | 46a196c01d2251a47972fadb82c7a8bc475d6341 (patch) | |
| tree | 8c35de11d875b7af9eaa12b4b8b1e71ece38a240 | |
| parent | 05fbe3cbdeb2297e044e8f4b42335959dd4e19a1 (diff) | |
Use flexdll's -stack option, also for Cygwin.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -320,7 +320,7 @@ case "$bytecc,$host" in bytecccompopts="-fno-defer-pop $gcc_warnings -U_WIN32" dllccompopts="-U_WIN32 -DCAML_DLL" if test $withsharedlibs = yes; then - flexlink="flexlink -chain cygwin -merge-manifest" + flexlink="flexlink -chain cygwin -merge-manifest -stack 16777216" flexdir=`$flexlink -where | dos2unix` if test -z "$flexdir"; then echo "flexlink not found: native shared libraries won't be available" |