From ee8ef0433e36bf354a717bd4af679a0a5af2e6be Mon Sep 17 00:00:00 2001 From: chai Date: Thu, 20 Dec 2018 18:34:50 +0800 Subject: =?UTF-8?q?*=E4=BF=AE=E6=94=B9=E6=96=87=E4=BB=B6=E7=BB=93=E6=9E=84?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/lua/resources/embed.py | 56 ---------------------------------------------- 1 file changed, 56 deletions(-) delete mode 100644 src/lua/resources/embed.py (limited to 'src/lua/resources/embed.py') diff --git a/src/lua/resources/embed.py b/src/lua/resources/embed.py deleted file mode 100644 index 7eb825d..0000000 --- a/src/lua/resources/embed.py +++ /dev/null @@ -1,56 +0,0 @@ -import os, sys, random, re - -def fmt(fmt, dic): - for k in dic: - fmt = fmt.replace("{%s}" % k, str(dic[k])) - return fmt - - -def makeArray(data): - i = [0] - def fn(x): - x = str(ord(x)) + "," - if i[0] + len(x) > 78: - i[0] = len(x) - x = '\n' + x - else: - i[0] += len(x) - return x - return '{' + "".join(map(fn, data)).rstrip(",") + '}' - - -def safename(filename): - return re.sub("[^a-z0-9]", "_", os.path.basename(filename).lower()) - - -def process(filenames): - if type(filenames) is str: - filenames = [filenames] - - strings = [] - - for filename in filenames: - data = open(filename, "rb").read() - strings.append( - fmt("/* {filename} */\n" +\ - "static const char {name}[] = \n{array};", - { - "filename" : os.path.basename(filename), - "name" : safename(filename), - "array" : makeArray(data), - })) - - return "/* Automatically generated; do not edit */\n\n" +\ - "\n\n".join(strings) - - -def main(): - if len(sys.argv) < 2: - print "usage: embed FILENAMES" - sys.exit(1) - - print process(sys.argv[1:]) - - -if __name__ == "__main__": - main() \ No newline at end of file -- cgit v1.1-26-g67d0