From 9e57b3897929b08c705b0d34c7a0e45f89f88980 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 25 Apr 2019 11:53:28 +0200
Subject: [PATCH] [opam] deactivate dependency on lablgtk3 with macos
---
opam/opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/opam/opam b/opam/opam
index e5bb63baad4..d1fcb121ee0 100644
--- a/opam/opam
+++ b/opam/opam
@@ -90,7 +90,7 @@ depends: [
"zarith"
"conf-autoconf" { build }
( ( "lablgtk" { >= "2.18.2" } & "conf-gnomecanvas" )
- | ( "lablgtk3" { >= "3.0.beta4" } & "lablgtk3-sourceview3"))
+ | ( "lablgtk3" { >= "3.0.beta4" & os!="macos" } & "lablgtk3-sourceview3" ))
"conf-gtksourceview"
( "alt-ergo-free" | "alt-ergo" )
"conf-graphviz" { post }
--
GitLab