this repo has no description
Merge pull request #27283 from silene/why3+stackify
Mark Why3 + Stackify as incompatible with OCaml < 4.12.
authored by
Shon Feder
and committed by
GitHub
f953005b
da383c86
+14
-8
+4
-2
packages/why3/why3.1.7.0/opam
+4
-2
packages/why3/why3.1.7.0/opam
···
42
42
"--enable-zip" {camlzip:installed}
43
43
"--disable-hypothesis-selection" {!ocamlgraph:installed}
44
44
"--enable-hypothesis-selection" {ocamlgraph:installed}
45
-
"--disable-stackify" {!ocamlgraph:installed}
46
-
"--enable-stackify" {ocamlgraph:installed}
45
+
"--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}
46
+
"--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}
47
47
"--disable-ide"]
48
48
[make "-j%{jobs}%" "all" "opt" "byte"]
49
49
[make "doc" "stdlibdoc" "apidoc"] {with-doc}
···
71
71
"ppx_sexp_conv" {build}
72
72
"mlmpfr"
73
73
]
74
+
75
+
available: os != "win32" | os-distribution = "cygwinports"
74
76
75
77
conflicts: [
76
78
"why3-base"
+4
-2
packages/why3/why3.1.7.1/opam
+4
-2
packages/why3/why3.1.7.1/opam
···
42
42
"--enable-zip" {camlzip:installed}
43
43
"--disable-hypothesis-selection" {!ocamlgraph:installed}
44
44
"--enable-hypothesis-selection" {ocamlgraph:installed}
45
-
"--disable-stackify" {!ocamlgraph:installed}
46
-
"--enable-stackify" {ocamlgraph:installed}
45
+
"--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}
46
+
"--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}
47
47
"--disable-ide"]
48
48
[make "-j%{jobs}%" "all" "opt" "byte"]
49
49
[make "doc" "stdlibdoc" "apidoc"] {with-doc}
···
71
71
"ppx_sexp_conv" {build}
72
72
"mlmpfr"
73
73
]
74
+
75
+
available: os != "win32" | os-distribution = "cygwinports"
74
76
75
77
conflicts: [
76
78
"why3-base"
+4
-2
packages/why3/why3.1.7.2/opam
+4
-2
packages/why3/why3.1.7.2/opam
···
42
42
"--enable-zip" {camlzip:installed}
43
43
"--disable-hypothesis-selection" {!ocamlgraph:installed}
44
44
"--enable-hypothesis-selection" {ocamlgraph:installed}
45
-
"--disable-stackify" {!ocamlgraph:installed}
46
-
"--enable-stackify" {ocamlgraph:installed}
45
+
"--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}
46
+
"--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}
47
47
"--disable-ide"]
48
48
[make "-j%{jobs}%" "all" "byte"]
49
49
[make "doc" "stdlibdoc" "apidoc"] {with-doc}
···
71
71
"ppx_sexp_conv" {build}
72
72
"mlmpfr"
73
73
]
74
+
75
+
available: os != "win32" | os-distribution = "cygwinports"
74
76
75
77
conflicts: [
76
78
"why3-base"
+2
-2
packages/why3/why3.1.8.0/opam
+2
-2
packages/why3/why3.1.8.0/opam
···
38
38
"--enable-zip" {camlzip:installed}
39
39
"--disable-hypothesis-selection" {!ocamlgraph:installed}
40
40
"--enable-hypothesis-selection" {ocamlgraph:installed}
41
-
"--disable-stackify" {!ocamlgraph:installed}
42
-
"--enable-stackify" {ocamlgraph:installed}
41
+
"--disable-stackify" {!ocamlgraph:installed | ocaml:version < "4.12"}
42
+
"--enable-stackify" {ocamlgraph:installed & ocaml:version >= "4.12"}
43
43
"--disable-ide"]
44
44
[make "-j%{jobs}%" "all" "byte"]
45
45
[make "doc" "stdlibdoc" "apidoc"] {with-doc}