blob: 2d1d663895dfca229c8a924a355bf06650e44078 (
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
|
diff --git a/bin/gwrepl/mk_data.ml b/bin/gwrepl/mk_data.ml
index b2a808b65..e497a238c 100644
--- a/bin/gwrepl/mk_data.ml
+++ b/bin/gwrepl/mk_data.ml
@@ -46,7 +46,7 @@
Printf.fprintf out "\n#endif\n"
let () =
- let opam_swich_prefix = Sys.getenv "OPAM_SWITCH_PREFIX" in
+ let opam_swich_prefix = "/usr" in
let opam_swich_prefix_lib = opam_swich_prefix // "lib" in
let dune_root, root, (directories0, files0) =
@@ -185,7 +185,7 @@
"ocaml" // "stublibs" // "dllcamlstr.so";
"ocaml" // "stublibs" // "dllunix.so";
];
- if_sosa_zarith out (fun () -> aux ("stublibs" // "dllzarith.so")));
+ if_sosa_zarith out (fun () -> aux ("ocaml" // "stublibs" // "dllzarith.so")));
Printf.fprintf out {||];;|};
let b = Buffer.create 1024 in
let aux =
diff --git a/test/dune.in b/test/dune.in
index ef891bbce..ac2a2b9e1 100644
--- a/test/dune.in
+++ b/test/dune.in
@@ -7,7 +7,7 @@
(executable
(name test)
- (libraries %%%SOSA_PKG%%% dummy_gwdb geneweb geneweb_def_show oUnit stdlib-shims)
+ (libraries %%%SOSA_PKG%%% dummy_gwdb geneweb geneweb_def_show ounit2 stdlib-shims)
(preprocess (pps ppx_deriving.show))
(modules
test
|
GitWeb
