From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Fri, 10 Nov 2006 06:35:50 +0000 (+0000)
Subject: - require php-devel to build custom xmlrpc.so extension
X-Git-Tag: planetlab-4_0-rc1~79
X-Git-Url: http://git.onelab.eu/?p=myplc.git;a=commitdiff_plain;h=bc56c19ae9cc138f8fd7252e15fb4e1d867179b0

- require php-devel to build custom xmlrpc.so extension
---

diff --git a/plc_devel_config.xml b/plc_devel_config.xml
index e441601..c9a7d52 100644
--- a/plc_devel_config.xml
+++ b/plc_devel_config.xml
@@ -6,7 +6,7 @@ Default PLC build environment configuration file
 Mark Huang <mlhuang@cs.princeton.edu>
 Copyright (C) 2006 The Trustees of Princeton University
 
-$Id: plc_devel_config.xml,v 1.4 2006/10/29 04:03:11 mlhuang Exp $
+$Id: plc_devel_config.xml,v 1.5 2006/11/09 15:46:48 mlhuang Exp $
 -->
 
 <!DOCTYPE configuration PUBLIC "-//PlanetLab Central//DTD PLC configuration//EN" "plc_config.dtd">
@@ -149,6 +149,7 @@ $Id: plc_devel_config.xml,v 1.4 2006/10/29 04:03:11 mlhuang Exp $
 	<!-- new_plc_api -->
 	<packagereq type="mandatory">docbook-utils-pdf</packagereq>
 	<packagereq type="mandatory">postgresql-devel</packagereq>
+	<packagereq type="mandatory">php-devel</packagereq>
       </packagelist>
     </group>