1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure
index bbb5abf8..4c62a956 100755
--- a/configure
+++ b/configure
@@ -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"