summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml')
-rw-r--r--ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml17
1 files changed, 17 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml b/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml
new file mode 100644
index 0000000000..bd980f1022
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/lib-dynlink-bytecode/main.ml
@@ -0,0 +1,17 @@
+ Dynlink.init ();
+ Dynlink.allow_unsafe_modules true;
+ for i = 1 to Array.length Sys.argv - 1 do
+ let name = Sys.argv.(i) in
+ Printf.printf "Loading %s\n" name; flush stdout;
+ try
+ if name.[0] = '-'
+ then Dynlink.loadfile_private
+ (String.sub name 1 (String.length name - 1))
+ else Dynlink.loadfile name
+ with
+ | Dynlink.Error err ->
+ Printf.printf "Dynlink error: %s\n"
+ (Dynlink.error_message err)
+ | exn ->
+ Printf.printf "Error: %s\n" (Printexc.to_string exn)
+ done