diff options
author | Jérémie Dimino <jeremie@dimino.org> | 2019-03-11 18:38:16 +0000 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-03-11 19:38:16 +0100 |
commit | 705054b3461a085981d746844dcd1c26efcdb154 (patch) | |
tree | 0bb7fc10d642b000b0c29647761adf9c5887972c /man/ocamlc.m | |
parent | f9e64906a5e1629e872da78cca16e296418f8b09 (diff) | |
download | ocaml-705054b3461a085981d746844dcd1c26efcdb154.tar.gz |
Delete the vmthreads library (#2289)
* Delete the deprecated vmthreads library
It was deprecated in 4.08.
* Remove the byte/native argument of init_path
It is no longer necessary.
* Error out when passing --{enable,disable}-vmthreads to ./configure
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
Diffstat (limited to 'man/ocamlc.m')
-rw-r--r-- | man/ocamlc.m | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/man/ocamlc.m b/man/ocamlc.m index c3744fdaf3..030ebf6b0b 100644 --- a/man/ocamlc.m +++ b/man/ocamlc.m @@ -703,11 +703,6 @@ invocations of the C compiler and linker in .B \-custom mode. Useful to debug C library problems. .TP -.B \-vmthread -Deprecated since OCaml 4.08.0. Compile or link multithreaded programs, -in combination with the VM-level threads library described in -.IR The\ OCaml\ user's\ manual . -.TP .BR \-vnum \ or\ \-version Print the version number of the compiler in short form (e.g. "3.11.0"), then exit. |