build system: configure, project: added --disable-frontend support.

This patch also provides 'app' as a user-friendly synonym for 'frontend'.

1 files changed, 14 insertions, 0 deletions

diff --git a/configure b/configure
index e4f31a8..c7248ef 100755
--- a/configure
+++ b/configure
@@ -178,6 +178,7 @@ common_defaults()
 	# config
 	[ -z "$mb_all_static" ]		&& mb_all_static='no'
 	[ -z "$mb_all_shared" ]		&& mb_all_shared='no'
+	[ -z "$mb_disable_frontend" ]	&& mb_disable_frontend='no'
 	[ -z "$mb_disable_static" ]	&& mb_disable_static='no'
 	[ -z "$mb_disable_shared" ]	&& mb_disable_shared='no'
 
@@ -416,6 +417,7 @@ config_copy()
 											\
 			-e 's^@all_static@^'"$mb_all_static"'^g'			\
 			-e 's^@all_shared@^'"$mb_all_shared"'^g'			\
+			-e 's^@disable_frontend@^'"$mb_disable_frontend"'^g'		\
 			-e 's^@disable_static@^'"$mb_disable_static"'^g'		\
 			-e 's^@disable_shared@^'"$mb_disable_shared"'^g'		\
 		$mb_project_dir/Makefile.in > $mb_pwd/Makefile
@@ -537,6 +539,18 @@ for arg ; do
 		--all-shared)
 			mb_all_shared='yes'
 			;;
+		--disable-frontend)
+			mb_disable_frontend='yes'
+			;;
+		--disable-app)
+			mb_disable_frontend='yes'
+			;;
+		--enable-frontend)
+			mb_disable_frontend='no'
+			;;
+		--enable-app)
+			mb_disable_frontend='no'
+			;;
 		--disable-static)
 			mb_disable_static='yes'
 			;;