summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-05-09 12:06:40 -0400
committermidipix <writeonce@midipix.org>2016-11-10 23:35:48 -0500
commitad42d8701361e1e399db8eb9c0a0513242b3c9d0 (patch)
tree564e9ac44e8871fd6d2b91322ca8677432ba4a8d /configure
parenta403fe9a3f2cbae6a1c8b2b1a53ae8ebd51638a0 (diff)
downloadperk-ad42d8701361e1e399db8eb9c0a0513242b3c9d0.tar.bz2
perk-ad42d8701361e1e399db8eb9c0a0513242b3c9d0.tar.xz
build system: configure, project: added --disable-frontend support.
This patch also provides 'app' as a user-friendly synonym for 'frontend'.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure14
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'
;;