summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-05-09 12:06:40 -0400
committermidipix <writeonce@midipix.org>2016-05-09 22:03:07 -0400
commit2ba640b914011cd4aaba5d3ad79d528d85be2513 (patch)
tree93fb98b7d3fdadd0d174737d0dedadacceaab162 /configure
parent6c3f495771157c6d8f293c48d848756988164bb3 (diff)
downloadapimagic-2ba640b914011cd4aaba5d3ad79d528d85be2513.tar.bz2
apimagic-2ba640b914011cd4aaba5d3ad79d528d85be2513.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'
;;