blob: fd48914a6ff35295beaf54afc3289082fb2fea50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
let load s =
Printf.printf "Loading %s\n%!" s;
try
Dynlink.loadfile s
with Dynlink.Error e ->
print_endline (Dynlink.error_message e)
let () =
print_endline "Main is running.";
Dynlink.init ();
Dynlink.allow_unsafe_modules true;
let s1,s2 =
if Dynlink.is_native then
"../../../otherlibs/bigarray/bigarray.cmxs",
"plugin.cmxs"
else
"../../../otherlibs/bigarray/bigarray.cma",
"plugin.cmo"
in
load s1;
load s2;
print_endline "OK."
|