File: test5_main.ml

package info (click to toggle)
ocaml 5.4.0-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 44,372 kB
  • sloc: ml: 370,196; ansic: 52,820; sh: 27,396; asm: 5,462; makefile: 3,679; python: 974; awk: 278; javascript: 273; perl: 59; fortran: 21; cs: 9
file content (74 lines) | stat: -rw-r--r-- 1,654 bytes parent folder | download | duplicates (4)
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
(* TEST
 include dynlink;
 readonly_files = "test5_plugin_a.ml test5_plugin_b.ml test5_second_plugin.ml";
 libraries = "";
 shared-libraries;
 {
   setup-ocamlc.byte-build-env;

   module = "test5_main.ml";
   ocamlc.byte;

   module = "test5_plugin_a.ml";
   ocamlc.byte;

   module = "test5_plugin_b.ml";
   ocamlc.byte;

   module = "test5_second_plugin.ml";
   ocamlc.byte;

   unset module;
   program = "test5_plugin.cma";
   flags = "-a";
   all_modules = "test5_plugin_a.cmo test5_plugin_b.cmo";
   ocamlc.byte;

   program = "${test_build_directory}/test5.byte";
   unset flags;
   libraries = "dynlink";
   all_modules = "test5_main.cmo";
   ocamlc.byte;
   run;
 }{
   native-dynlink;
   setup-ocamlopt.byte-build-env;

   module = "test5_main.ml";
   ocamlopt.byte;

   module = "test5_plugin_a.ml";
   ocamlopt.byte;

   module = "test5_plugin_b.ml";
   ocamlopt.byte;

   unset module;
   program = "test5_plugin.cmxs";
   flags = "-shared";
   all_modules = "test5_plugin_a.cmx test5_plugin_b.cmx";
   ocamlopt.byte;

   program = "test5_second_plugin.cmxs";
   flags = "-shared";
   all_modules = "test5_second_plugin.ml";
   ocamlopt.byte;

   program = "${test_build_directory}/test5.exe";
   unset flags;
   libraries = "dynlink";
   all_modules = "test5_main.cmx";
   ocamlopt.byte;
   run;
 }
*)

(* Check that when one shared library loads another shared library then
   modules of the second shared library can refer to modules of the
   first shared library, as long as they have already been loaded. *)

let () =
  if Dynlink.is_native then
    Dynlink.loadfile "test5_plugin.cmxs"
  else
    Dynlink.loadfile "test5_plugin.cma"