blob: bd980f10221764530fed8727e13ad602257a5760 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
|
