buildUncompressed.py
Go to the documentation of this file.
00001 #!/usr/bin/env python
00002 
00003 import sys
00004 sys.path.append("../tools")
00005 
00006 import jsmin, mergejs
00007 
00008 sourceDirectory = "../lib"
00009 configFilename = "full.cfg"
00010 outputFilename = "OpenLayers.js"
00011 
00012 if len(sys.argv) > 1:
00013     configFilename = sys.argv[1] + ".cfg"
00014 if len(sys.argv) > 2:
00015     outputFilename = sys.argv[2]
00016 
00017 print "Merging libraries."
00018 merged = mergejs.run(sourceDirectory, None, configFilename)
00019 print "Adding license file."
00020 merged = file("license.txt").read() + merged
00021 
00022 print "Writing to %s." % outputFilename
00023 file(outputFilename, "w").write(merged)
00024 
00025 print "Done."


websocket_gui
Author(s): Benoit Lescot and Stéphane Magnenat
autogenerated on Sat Dec 28 2013 17:46:48