Merge pull request ocaml#20171 from kit-ty-kate/lablgtk-domains

lablgtk is not compatible with ocaml-multicore
ivg · Dec 8, 2021 · ae38ef4 · ae38ef4
2 parents dfe234b + 44fc9b9
commit ae38ef4
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/packages/lablgtk/lablgtk.2.18.10/opam b/packages/lablgtk/lablgtk.2.18.10/opam
@@ -24,6 +24,9 @@ depopts: [
   "conf-glade"
   "lablgl"
 ]
+conflicts: [
+  "base-domains"
+]
 patches: ["lablgldir.patch"]
 post-messages: [
   "This package requires gtk+ 2.0 development packages installed on your system"

diff --git a/packages/lablgtk/lablgtk.2.18.11/opam b/packages/lablgtk/lablgtk.2.18.11/opam
@@ -23,6 +23,9 @@ depopts: [
   "conf-glade"
   "lablgl"
 ]
+conflicts: [
+  "base-domains"
+]
 patches: ["lablgldir.patch"]
 post-messages: [
   "This package requires gtk+ 2.0 development packages installed on your system"

diff --git a/packages/lablgtk3/lablgtk3.3.1.0/opam b/packages/lablgtk3/lablgtk3.3.1.0/opam
@@ -21,6 +21,9 @@ depends: [
   "cairo2"    {         >= "0.6"    }
   "conf-gtk3" { build & >= "18"     }
 ]
+conflicts: [
+  "base-domains"
+]
 
 build: [
   [ "dune" "build" "-p" name "-j" jobs ]

diff --git a/packages/lablgtk3/lablgtk3.3.1.1/opam b/packages/lablgtk3/lablgtk3.3.1.1/opam
@@ -21,6 +21,9 @@ depends: [
   "cairo2"    {         >= "0.6"    }
   "conf-gtk3" { build & >= "18"     }
 ]
+conflicts: [
+  "base-domains"
+]
 
 build: [
   [ "dune" "build" "-p" name "-j"  jobs ]