diff options
Diffstat (limited to 'bindings/ocaml/executionengine/llvm_executionengine.mli')
-rw-r--r-- | bindings/ocaml/executionengine/llvm_executionengine.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bindings/ocaml/executionengine/llvm_executionengine.mli b/bindings/ocaml/executionengine/llvm_executionengine.mli index 16f0893..74a6062 100644 --- a/bindings/ocaml/executionengine/llvm_executionengine.mli +++ b/bindings/ocaml/executionengine/llvm_executionengine.mli @@ -151,4 +151,6 @@ module ExecutionEngine: sig val data_layout : t -> Llvm_target.DataLayout.t end +(** [initialize_native_target ()] initializes the native target corresponding + to the host. Returns [true] if initialization is {b not} done. *) val initialize_native_target : unit -> bool |