godot/scene/resources/default_theme/make_header.py

import os;
import glob;
import string;


#Generate include files

f=open("theme_data.h","wb")

f.write("// THIS FILE HAS BEEN AUTOGENERATED, DONT EDIT!!\n");

f.write("\n\n");

#Generate png image block

pixmaps = glob.glob("*.png");

pixmaps.sort();

f.write("\n\n\n");

for x in pixmaps:

	var_str=x[:-4]+"_png";

	f.write("static const unsigned char "+ var_str +"[]={\n");

	pngf=open(x,"rb");

	b=pngf.read(1);
	while(len(b)==1):
		f.write(hex(ord(b)))
		b=pngf.read(1);
		if (len(b)==1):
			f.write(",")

	f.write("\n};\n\n\n");
	pngf.close();

#Generate shaders block

shaders = glob.glob("*.gsl")

shaders.sort();

f.write("\n\n\n");

for x in shaders:

	var_str=x[:-4]+"_shader_code";

	f.write("static const char *"+ var_str +"=\n");

	sf=open(x,"rb");


	b=sf.readline();
	while(b!=""):
		if (b.endswith("\r\n")):
			b=b[:-2]
		if (b.endswith("\n")):
			b=b[:-1]
		f.write("			\""+b)
		b=sf.readline();
		if (b!=""):
			f.write("\"\n")

	f.write("\";\n\n\n");
	sf.close();

f.close();