diff options
| author | midipix <writeonce@midipix.org> | 2016-05-09 12:06:40 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2016-05-09 21:52:09 -0400 |
| commit | bf8bd3071f2420afff84120801b0c914c7070d3c (patch) | |
| tree | b074c08cd5a3feb1caf58cbce1b6249145e741b0 /configure | |
| parent | eb1dc5158729c2d9a13a69ea9cc67e34719b2676 (diff) | |
| download | slibtool-bf8bd3071f2420afff84120801b0c914c7070d3c.tar.bz2 slibtool-bf8bd3071f2420afff84120801b0c914c7070d3c.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-x | configure | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -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' ;; |