File destdir-0.7.patch of Package python-pyjamas

--- pyjamas-0.7/bootstrap.py.orig	2010-04-25 15:13:48.000000000 +0200
+++ pyjamas-0.7/bootstrap.py	2010-07-13 23:20:58.000000000 +0200
@@ -8,6 +8,8 @@ version = '0.7~+pre2'
 import os
 import sys
 
+DESTDIR = os.environ.get('DESTDIR', '')
+
 pyjsbuild = """#!%(exec)s
 
 pyjsversion = r'%(ver)s'
@@ -96,11 +98,14 @@ def make_cmd(prefix, pth, pyjsversion, p
         cmd_name = cmdname
 
     p = os.path.join(prefix, "bin")
+    if DESTDIR:
+        p = DESTDIR + p
     if not os.path.exists(p):
         os.makedirs(p)
 
-    cmd = os.path.join("bin", cmd_name)
-    cmd = os.path.join(prefix, cmd)
+    cmd = os.path.join(prefix, "bin", cmd_name)
+    if DESTDIR:
+        cmd = DESTDIR + cmd
 
     if os.path.exists(cmd):
         if     sys.platform == 'win32' \