casa-mp-base

--- Mailman/Defaults.py.in.orig 2009-12-22 12:00:43.000000000 -0600

+++ Mailman/Defaults.py.in  2010-07-10 05:33:52.000000000 -0500

@@ -1240,6 +1240,12 @@

 if EXEC_PREFIX == '${prefix}':

     EXEC_PREFIX = PREFIX

+# Allow for execution under a DESTDIR build area

+if os.environ.has_key('DESTDIR'):

+    PREFIX      = os.environ['DESTDIR'] + PREFIX

+    EXEC_PREFIX = os.environ['DESTDIR'] + EXEC_PREFIX

+    VAR_PREFIX  = os.environ['DESTDIR'] + VAR_PREFIX

+

 # CGI extension, change using configure script

 CGIEXT = '@CGIEXT@'