diff options
| author | alainfrisch <alain@frisch.fr> | 2016-07-13 11:04:16 +0200 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2016-07-19 14:28:51 +0200 |
| commit | 012e1ef878cc2aa0ffc759858dc7ced36fa97f6a (patch) | |
| tree | 310c3ceea38149b72f76d6aaf04059d3d1f9cf14 /config | |
| parent | 507507829e9639374ede5a2dade1bb6d6b98ad49 (diff) | |
| download | ocaml-012e1ef878cc2aa0ffc759858dc7ced36fa97f6a.tar.gz | |
"./configure -safe-string" to force safe-string mode
When configured with -safe-string, the OCaml tools will default to the
safe-string mode and ignore -unsafe-string command-line arguments. This
is intended to serve two purposes:
- Facilitate the detection of packages that are not ready
for -safe-string ready. (Perhaps with some OPAM switch?)
- Enable some optimizations that assume that all linked units are
compiled with -safe-string.
Note: currently, there is no check that units compiled with an OCaml
configured without -safe-string are not linked in.
Diffstat (limited to 'config')
| -rw-r--r-- | config/Makefile.mingw | 1 | ||||
| -rw-r--r-- | config/Makefile.mingw64 | 1 | ||||
| -rw-r--r-- | config/Makefile.msvc | 1 | ||||
| -rw-r--r-- | config/Makefile.msvc64 | 1 |
4 files changed, 4 insertions, 0 deletions
diff --git a/config/Makefile.mingw b/config/Makefile.mingw index beac6a4b78..3f321e2d9e 100644 --- a/config/Makefile.mingw +++ b/config/Makefile.mingw @@ -86,6 +86,7 @@ ASM_CFI_SUPPORTED=false UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false +SAFE_STRING=false ########## Configuration for the bytecode compiler diff --git a/config/Makefile.mingw64 b/config/Makefile.mingw64 index af9332c8ca..3ec8b432e3 100644 --- a/config/Makefile.mingw64 +++ b/config/Makefile.mingw64 @@ -86,6 +86,7 @@ ASM_CFI_SUPPORTED=false UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false +SAFE_STRING=false ########## Configuration for the bytecode compiler diff --git a/config/Makefile.msvc b/config/Makefile.msvc index 32fd1a510c..bc84ff721b 100644 --- a/config/Makefile.msvc +++ b/config/Makefile.msvc @@ -80,6 +80,7 @@ ASM_CFI_SUPPORTED=false UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false +SAFE_STRING=false ########## Configuration for the bytecode compiler diff --git a/config/Makefile.msvc64 b/config/Makefile.msvc64 index 147d05f28f..bc965b3287 100644 --- a/config/Makefile.msvc64 +++ b/config/Makefile.msvc64 @@ -79,6 +79,7 @@ ASM_CFI_SUPPORTED=false UNIXLIB=win32unix GRAPHLIB=win32graph FLAMBDA=false +SAFE_STRING=false ########## Configuration for the bytecode compiler |