diff --git a/opam/opam b/opam/opam index dd9a22814ac9549d145b8d40c79de1590dc8192f..3dd15df5e212f1161e02cb8e900bdd8fa4d91fc5 100644 --- a/opam/opam +++ b/opam/opam @@ -86,9 +86,6 @@ tags: [ build: [ ["autoconf"] {pinned} ["./configure" "--prefix" prefix - "--disable-gui" { !conf-gtksourceview:installed | - ( !conf-gnomecanvas:installed & - !lablgtk3:installed) } "--mandir=%{man}%" ] [make "-j%{jobs}%"]