diff options
author | Mark Shinwell <mshinwell@gmail.com> | 2019-03-13 10:46:37 +0000 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-13 11:46:37 +0100 |
commit | 36c163248d77e7df0803c1e9893ad01948846081 (patch) | |
tree | bf7776ff60eadb76b9ef6b1f6360d7c24beb48e6 /man | |
parent | f5ab75bd63164d6354620878d6f860b0d93697dd (diff) | |
download | ocaml-36c163248d77e7df0803c1e9893ad01948846081.tar.gz |
Remove support for compiler plugins (#2276)
After consultation on the core developers' list I am proposing this patch to remove support for compiler plugins.
The main motivations for removing compiler plugins are:
- They are a potential security risk.
- They increase the complexity of the build system and make maintenance of the Dynlink libraries more difficult (although actually, this complexity could probably be reduced after #2268 is merged).
- Many applications of plugins should be able to be expressed by building custom compiler drivers that link against compilerlibs.
* Remove compiler plugins and hooks
* Add new function Dynlink.unsafe_get_global_symbol but keep it outside the documented API.
* Remove otherlibs/dynlink/nodynlink.ml
* Update Changes
Diffstat (limited to 'man')
-rw-r--r-- | man/ocamlc.m | 9 | ||||
-rw-r--r-- | man/ocamldep.m | 17 | ||||
-rw-r--r-- | man/ocamlopt.m | 9 |
3 files changed, 0 insertions, 35 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index 030ebf6b0b..c0ee88be27 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -582,15 +582,6 @@ contents of the object files a.cmo, b.cmo and c.cmo. These contents can be referenced as P.A, P.B and P.C in the remainder of the program. .TP -.BI \-plugin \ plugin -Dynamically load the code of the given -.I plugin -(a .cmo, .cma or .cmxs file) in the compiler. The plugin must exist in -the same kind of code as the compiler (ocamlc.byte must load bytecode -plugins, while ocamlc.opt must load native code plugins), and -extension adaptation is done automatically for .cma files (to .cmxs files -if the compiler is compiled in native code). -.TP .BI \-pp \ command Cause the compiler to call the given .I command diff --git a/man/ocamldep.m b/man/ocamldep.m index 98d1b27316..dea9b93e39 100644 --- a/man/ocamldep.m +++ b/man/ocamldep.m @@ -155,23 +155,6 @@ Assume that module is opened before parsing each of the following files. .TP -.BI \-plugin \ plugin -Dynamically load the code of the given -.I plugin -(a .cmo, .cma or .cmxs file) in -.BR ocamldep (1). -The plugin must exist in -the same kind of code as the tool ( -.BR ocamldep.byte -must load bytecode -plugins, while -.BR ocamldep.opt -must load native code plugins), and -extension adaptation is done automatically for .cma files (to .cmxs files -if -.BR ocamldep (1) -is compiled in native code). -.TP .BI \-pp \ command Cause .BR ocamldep (1) diff --git a/man/ocamlopt.m b/man/ocamlopt.m index 9ba40a237f..71b6515265 100644 --- a/man/ocamlopt.m +++ b/man/ocamlopt.m @@ -533,15 +533,6 @@ See .IR "The OCaml user's manual" , chapter "Native-code compilation" for more details. .TP -.BI \-plugin \ plugin -Dynamically load the code of the given -.I plugin -(a .cmo, .cma or .cmxs file) in the compiler. The plugin must exist in -the same kind of code as the compiler (ocamlopt.byte must load bytecode -plugins, while ocamlopt.opt must load native code plugins), and -extension adaptation is done automatically for .cma files (to .cmxs files -if the compiler is compiled in native code). -.TP .BI \-pp \ command Cause the compiler to call the given .I command |