val ocamlopt_opt : string
The convention over the name of the executables inside the archive. All are native executables (.opt)
module Archive_metadata : sig ... end
type 'a create_arguments
= (?persistent_archive_dirpath:string ‑> 'a) Ocaml_dynloader.create_arguments
val create : (unit ‑> [ `this_needs_manual_cleaning_after of t ] Async.Deferred.Or_error.t) create_arguments
This is a special utilisation of the Generic Loader. It relies on a few assumptions,
such as a file called ocamlopt.opt is present in the archive, as well as some cmi
files, and uses a tmp compilation_directory. A call to this function will retrieve
the embedded part of the code, and extract it in the current corresponding directory.
The most common use and the default value for code_file
is `my_code
. Currently
this library works with native code only. Called in bytecode, this function will
raise. See the documentation of ocaml_dynloader for other flags, they are passed
internally to that module to create the internal dynloader (in _dir,
custom_warnings_spec, etc.).
/!\ By using this manual create, you take the responsibility to call clean t
when
you're done with all the compilation that you want to do with this compiler. Consider
using with_compiler
, Make
or load_ocaml_src_files
if this makes your life
simpler.
val with_compiler : (f:(t ‑> 'a Async.Deferred.Or_error.t) ‑> unit ‑> 'a Async.Deferred.Or_error.t) create_arguments
Call create, do something with the compiler, and then take care of calling clean. In case an exception or a shutdown happen and f never returns, an attempt to clean the compiler is still done via an at_shutdown execution.
val clean : t ‑> unit Async.Deferred.Or_error.t
This will delete the temporary directory created, and remove all the files, included
the files generated by the loader. This function should be used when the compiler has
been created using create
for advanced use of this module. For a simpler usage, look
at with_compiler
or the functor below.
module type S : sig ... end
This is a wrapper for the similar module in Ocaml_dynloader that takes care of cleaning the compiler afterwards.
module Side_effect : S with type t := unit
In some cases, we are not interested by the module, but rather because it uses a side effect registering mechanism.