summaryrefslogtreecommitdiffstats
path: root/build-aux/osx/build/updater/patches/gedit-plugins-disable-terminal.patch
blob: e1d29287eaa9e1e3bd37cb9096d97918c9c185e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
--- a/configure.ac	2011-10-16 22:03:19.000000000 +0200
+++ b/configure.ac	2012-01-15 13:57:54.000000000 +0100
@@ -246,6 +246,27 @@
 	fi
 fi
 
+# ================================================================
+# Terminal (vte)
+# ================================================================
+plugin_defined terminal
+
+if test "$?" = 1
+then
+    AC_CHECK_LIB([vte], [vte_terminal_new], [have_vte=yes], [have_vte=no])
+
+	if test "x$have_vte" = "xno"; then
+		plugin_defined_explicit terminal
+		if test "$?" = 1
+		then
+			AC_MSG_ERROR([vte could not be found, needed for terminal plugin])
+		else
+			AC_MSG_WARN([vte could not be found, terminal plugin will be disabled])
+			undef_plugin terminal "vte not found"
+		fi
+	fi
+fi
+
 if test -z "$disabled_plugins"
 then
 	disabled_plugins="none"