Merge branch 'feature/andre/opam-do-not-disable-gui' into 'master'

[opam] do not force disable GUI

See merge request frama-c/frama-c!2732

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}%"]