[gedit] build: add option --disable-user-help to speed the build
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] build: add option --disable-user-help to speed the build
- Date: Sun, 12 Jul 2015 13:49:38 +0000 (UTC)
commit 5c4157460b0fc8633e17c9d0161cc413f57abffc
Author: Sébastien Wilmet <swilmet gnome org>
Date: Sun Jul 12 15:43:07 2015 +0200
build: add option --disable-user-help to speed the build
It's a hack, as the comment explains... I'm not sure the non-recursive
make was a good idea.... Hacking on a plugin was really painful, since
the 'make install' is necessary, but it's not possible to install only
the modified plugin, no, instead, it installs everything, including the
user help containing a huge amount of files...
configure.ac | 19 +++++++++++++++++--
help/Makefile.am | 4 ++++
2 files changed, 21 insertions(+), 2 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 6ee9986..3441c86 100644
--- a/configure.ac
+++ b/configure.ac
@@ -359,6 +359,23 @@ else
fi
dnl ================================================================
+dnl User help
+dnl ================================================================
+
+YELP_HELP_INIT
+
+# Hack: since non-recursive make is used, it can be useful to disable the user
+# help since it takes a lot of time to build and install. On the other hand
+# with recursive make it's usually possible to build and install only what we
+# need...
+AC_ARG_ENABLE([user_help],
+ AS_HELP_STRING([--disable-user-help],[Disable the user help to speed the build (default:
enabled)]),
+ [enable_user_help=$enableval],
+ [enable_user_help=yes])
+
+AM_CONDITIONAL(ENABLE_USER_HELP, test x"$enable_user_help" = "xyes")
+
+dnl ================================================================
dnl GObject Introspection
dnl ================================================================
@@ -420,8 +437,6 @@ LIBGD_INIT([tagged-entry static])
GLIB_GSETTINGS
-YELP_HELP_INIT
-
# Vala
VAPIGEN_CHECK([0.25.1])
diff --git a/help/Makefile.am b/help/Makefile.am
index cb6c6c1..a33f72c 100644
--- a/help/Makefile.am
+++ b/help/Makefile.am
@@ -1,3 +1,5 @@
+if ENABLE_USER_HELP
+
@YELP_HELP_RULES@
HELP_ID = gedit
@@ -54,4 +56,6 @@ HELP_FILES = \
HELP_LINGUAS = ar bg ca cs da de el es eu fi fr gl hu id it ja ko lv oc pt_BR ro ru sl sv te th uk zh_CN
zh_HK zh_TW
+endif
+
-include $(top_srcdir)/git.mk
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]