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 /Makefile | |
| 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 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -430,6 +430,7 @@ utils/config.ml: utils/config.mlp config/Makefile -e 's|%%HOST%%|$(HOST)|' \ -e 's|%%TARGET%%|$(TARGET)|' \ -e 's|%%FLAMBDA%%|$(FLAMBDA)|' \ + -e 's|%%SAFE_STRING%%|$(SAFE_STRING)|' \ utils/config.mlp > utils/config.ml partialclean:: |