From 1bf351fbcf68a81cac1f8ce7c0e0e155eb6093cb Mon Sep 17 00:00:00 2001
From: Michael Elkins <melkins@tislabs.com>
Date: Thu, 3 Mar 2011 01:05:26 +0000
Subject: add $SUBDIRS to $top/rpkid/Makefile.in and add portal-gui when django
 is detected by the configure script

svn path=/configure; revision=3710
---
 configure | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'configure')

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"
 
 
-- 
cgit v1.2.3