From bdae0da152e4740e6665a7a65a4383e653172d95 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Wed, 28 Nov 2007 05:14:33 +0000
Subject: [PATCH] add proper back in; its only dependency is on libhttpd++

---
 planetlab.mk | 15 ++++++---------
 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/planetlab.mk b/planetlab.mk
index 1643166b..9e216533 100644
--- a/planetlab.mk
+++ b/planetlab.mk
@@ -111,12 +111,9 @@ ALL += libhttpd++
 #
 proper-MODULES := proper
 proper-SPEC := proper.spec
-proper-RPMBUILD := sudo bash ./rpmbuild.sh
-# proper uses scripts in util-python for building
-proper-DEPENDDEVELS := libhttpd++ util-python
-# disabled temporarily (or ?)
-# need to check that these two define a -devel package
-#ALL += proper
+#proper-RPMBUILD := sudo bash ./rpmbuild.sh
+proper-DEPENDDEVELS := libhttpd++
+ALL += proper
 
 #
 # codemux: Port 80 demux
@@ -175,9 +172,9 @@ ALL += iproute
 #
 # [marc]    deprecate with proper
 #
-util-python-MODULES := util-python
-util-python-SPEC := util-python.spec
-ALL += util-python
+#util-python-MODULES := util-python
+#util-python-SPEC := util-python.spec
+#ALL += util-python
 
 #
 # vsys
-- 
2.43.0