Commit 497ea77 1 parent 61252c2 commit 497ea77 Copy full SHA for 497ea77
File tree 1 file changed +21
-5
lines changed
1 file changed +21
-5
lines changed Original file line number Diff line number Diff line change 1
- ;; Tests of the Dynarray library - added in 5.2
1
+ (* -*- tuareg -*- *)
2
2
3
+ (* We generate an appropriate dune stanza to avoid Dynarray tests build failures
4
+ on 5.0 and 5.1 with the opam-less CI GitHub action setup *)
5
+
6
+ let at_least_52 = Sys.(ocaml_release.major,ocaml_release.minor) >= (5,2)
7
+
8
+ let dune =
9
+ if at_least_52
10
+ then Printf.sprintf {|
3
11
(test
4
12
(name lin_tests)
5
13
(modules lin_tests)
6
14
(package multicoretests)
7
15
(libraries qcheck-lin.domain)
8
- (action (run %{test} --verbose))
9
- (enabled_if (>= %{ocaml_version} 5.2))
16
+ (action (run %%{test} --verbose))
10
17
)
11
18
12
19
(test
13
20
(name stm_tests)
14
21
(modules stm_tests)
15
22
(package multicoretests)
16
23
(libraries qcheck-stm.sequential qcheck-stm.domain)
17
- (action (run %{test} --verbose))
18
- (enabled_if (>= %{ocaml_version} 5.2))
24
+ (action (run %%{test} --verbose))
19
25
)
26
+ |}
27
+ else
28
+ Printf.sprintf {|
29
+ (rule
30
+ (alias runtest)
31
+ (package multicoretests)
32
+ (action (echo "Dynarray tests disabled as Dynarray is not available\n")))
33
+ |}
34
+
35
+ let () = Jbuild_plugin.V1.send dune
You can’t perform that action at this time.
0 commit comments