blob: a6ac99de6b9307d125739eab98feefe03f83fa53 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
(* TEST
include dynlink;
readonly_files = "abstract.mli abstract.ml static.ml client.ml main.ml";
subdirectories = "sub";
libraries = "";
shared-libraries;
{
setup-ocamlc.byte-build-env;
cwd = "sub";
cd;
module = "abstract.mli";
ocamlc.byte;
module = "abstract.ml";
ocamlc.byte;
cwd = "..";
cd;
module = "abstract.mli";
ocamlc.byte;
module = "abstract.ml";
ocamlc.byte;
module = "static.ml";
ocamlc.byte;
module = "client.ml";
ocamlc.byte;
module = "main.ml";
ocamlc.byte;
program = "${test_build_directory}/main";
libraries = "dynlink";
module = "";
all_modules = "abstract.cmo static.cmo main.cmo";
ocamlc.byte;
exit_status = "2";
run;
check-program-output;
}{
native-dynlink;
setup-ocamlopt.byte-build-env;
cwd = "sub";
cd;
module = "abstract.mli";
ocamlopt.byte;
program = "abstract.cmxs";
flags = "-shared";
module = "";
all_modules = "abstract.ml";
ocamlopt.byte;
cwd = "..";
cd;
flags = "";
module = "abstract.mli";
ocamlopt.byte;
module = "abstract.ml";
ocamlopt.byte;
module = "static.ml";
ocamlopt.byte;
{
program = "client.cmxs";
flags = "-shared";
module = "";
all_modules = "client.ml";
ocamlopt.byte;
}{
module = "main.ml";
ocamlopt.byte;
program = "${test_build_directory}/main_native";
libraries = "dynlink";
module = "";
all_modules = "abstract.cmx static.cmx main.cmx";
ocamlopt.byte;
exit_status = "2";
run;
check-program-output;
}
}
*)
(* PR#4229 *)
let () =
let suffix =
match Sys.backend_type with
| Native -> "cmxs"
| Bytecode -> "cmo"
| Other _ -> assert false
in
try
(* Dynlink.init (); *) (* this function has been removed from the API *)
Dynlink.loadfile ("client."^suffix); (* utilise abstract.suffix *)
Dynlink.loadfile ("sub/abstract."^suffix);
Dynlink.loadfile ("client."^suffix) (* utilise sub/abstract.suffix *)
with
| Dynlink.Error (Dynlink.Module_already_loaded "Abstract") -> exit 2
|
