diff options
| author | Michael Elkins <melkins@tislabs.com> | 2011-03-03 01:05:26 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2011-03-03 01:05:26 +0000 |
| commit | 1bf351fbcf68a81cac1f8ce7c0e0e155eb6093cb (patch) | |
| tree | 62090db6f8f301fea7cf4e1b10c09b46086999cd /configure | |
| parent | 93328022a47ae7ac7a24b48d934ac430d99d8905 (diff) | |
add $SUBDIRS to $top/rpkid/Makefile.in and add portal-gui when django is detected by the configure script
svn path=/configure; revision=3710
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -601,6 +601,7 @@ PYWRAP_CMD PYWRAP OPENSSL_SO_GLOB OPENSSL_CONFIG_COMMAND +RPKID_SUBDIRS TOP_LEVEL_SUBDIRS PYTHON SORT @@ -4155,6 +4156,12 @@ test $build_python = yes && TOP_LEVEL_SUBDIRS="$TOP_LEVEL_SUBDIRS rpkid" +# Conditionally build subsets of the rpkid tools + RPKID_SUBDIRS="" +test $build_django = yes && RPKID_SUBDIRS="$RPKID_SUBDIRS portal-gui" + + + ac_config_files="$ac_config_files Makefile rcynic/Makefile rcynic/static-rsync/Makefile utils/Makefile utils/find_roa/Makefile utils/hashdir/Makefile utils/print_rpki_manifest/Makefile utils/print_roa/Makefile utils/uri/Makefile" |