svgui/pyjs/build.py
changeset 1763 bcc07ff2362c
parent 1758 845ca626db09
child 1764 d5df428640ff
equal deleted inserted replaced
1762:fcc406143e5b 1763:bcc07ff2362c
   424             mod_code_ = mod_code[platform][mod_name]
   424             mod_code_ = mod_code[platform][mod_name]
   425 
   425 
   426             mod_name = pyjs.strip_py(mod_name)
   426             mod_name = pyjs.strip_py(mod_name)
   427 
   427 
   428             override_name = "%s.%s" % (platform.lower(), mod_name)
   428             override_name = "%s.%s" % (platform.lower(), mod_name)
   429             if pover[platform].has_key(override_name):
   429             if override_name in pover[platform]:
   430                 mod_cache_name = "%s.cache.js" % (override_name)
   430                 mod_cache_name = "%s.cache.js" % (override_name)
   431             else:
   431             else:
   432                 mod_cache_name = "%s.cache.js" % (mod_name)
   432                 mod_cache_name = "%s.cache.js" % (mod_name)
   433 
   433 
   434             print "Creating: " + mod_cache_name
   434             print "Creating: " + mod_cache_name
   598         res[k] = mods
   598         res[k] = mods
   599     return res
   599     return res
   600 
   600 
   601 
   601 
   602 def has_nodeps(mod, deps):
   602 def has_nodeps(mod, deps):
   603     if not deps.has_key(mod) or not deps[mod]:
   603     if not mod in deps or not deps[mod]:
   604         return True
   604         return True
   605     return False
   605     return False
   606 
   606 
   607 
   607 
   608 def nodeps_list(mod_list, deps):
   608 def nodeps_list(mod_list, deps):