From 0f4e208964044a98d511d3b082c3b5942d3b3c0a Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 4 Dec 2019 15:54:45 +0100
Subject: [PATCH] [opam] fix lablgtk dependencies
---
opam/opam | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/opam/opam b/opam/opam
index ba38988466d..af8665a5f06 100644
--- a/opam/opam
+++ b/opam/opam
@@ -94,9 +94,9 @@ depends: [
"ocamlfind" # needed beyond build stage, used by -load-module
"zarith"
"conf-autoconf" { build }
- ( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" )
- | ( "lablgtk3" { >= "3.0.beta4" & os!="macos" } & "lablgtk3-sourceview3" ))
- "conf-gtksourceview"
+ ( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" & "conf-gtksourceview" )
+ | ( "lablgtk3" { >= "3.0.beta4" & os!="macos" }
+ & "lablgtk3-sourceview3" & "conf-gtksourceview3" ) )
( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
"yojson"
--
GitLab