From 810b9f331b7014c589e8c94d10b368ca7cdabc71 Mon Sep 17 00:00:00 2001
From: Boris Yakobowski <boris.yakobowski@cea.fr>
Date: Thu, 30 Mar 2017 14:53:50 +0200
Subject: [PATCH] [Makefile] gui should be enabled by default

---
 configure.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index 116392012ce..42f15428f07 100644
--- a/configure.in
+++ b/configure.in
@@ -647,7 +647,7 @@ plugin_require(from_analysis,callgraph)
 # gui
 #####
 
-check_plugin(gui,src/plugins/gui,[support for gui],no)
+check_plugin(gui,src/plugins/gui,[support for gui],yes)
 
 plugin_require_external(gui,lablgtk)
 plugin_require_external(gui,gnomecanvas)
-- 
GitLab