Build script also produces the web resources tree.

1 files changed, 26 insertions, 0 deletions

diff --git a/scripts/build_web_resources.py b/scripts/build_web_resources.py
index 604d9d9..9a4ccec 100644
--- a/scripts/build_web_resources.py
+++ b/scripts/build_web_resources.py
@@ -17,6 +17,7 @@ import os
 import traceback
 import sys
 import json
+import shutil
 
 # insert the parent directory, so the problem scripts find their modules
 sys.path.insert(0, os.sep.join(os.path.dirname(__file__).split(os.sep)[:-1]))
@@ -118,6 +119,25 @@ def process_hint_type(hint_type):
         result[identifier] = hint.hint_type
     return result
 
+resource_tree = {}  # a directory tree where branches are paths and leaves are filenames, it is rooted at the web data directory
+def copy_web_resources(package, dst_dir_fragments):
+    src_path = os.path.join(problems_path, os.sep.join(package.split('.')))
+    dst_path = output_path
+    node = resource_tree
+    for fragment in dst_dir_fragments:
+        dst_path = os.path.join(dst_path, fragment)
+        subnode = node.get(fragment)
+        if subnode is None:
+            subnode = {}
+            node[fragment] = subnode
+        node = subnode
+    for filename in os.listdir(src_path):
+        if not filename.startswith('.') and not filename.endswith('.py'):
+            full_filename = os.path.join(src_path, filename)
+            if os.path.isfile(full_filename):
+                shutil.copy(full_filename, dst_path)
+                node[filename] = True
+
 cur.execute('select id, name, identifier from language')
 row = cur.fetchone()
 while row:
@@ -172,6 +192,7 @@ while row:
             lang_index['groups'] = problem_groups_list
             lang_index['translations'] = load_translation_data(lang_identifier, language_props)
             previous_group_id = None
+            copy_web_resources(lang_identifier, [lang_identifier])
 
         # process problem group data, it all goes into the language directory language.json
         group_id = row[2]
@@ -194,6 +215,7 @@ while row:
             group_data['problems'] = problems_list
             group_data['translations'] = load_translation_data(group_package, group_props)
             problem_groups_list.append(group_data)
+            copy_web_resources(group_package, [lang_identifier, group_identifier])
 
         # process problem data, from common.py goes into the language directory language.json, others go into problem subdirectory's problem.json
         problem_id = row[0]
@@ -226,7 +248,11 @@ while row:
             os.mkdir(problem_output_path)
         with open(os.path.join(problem_output_path, 'problem.json'), 'w') as f:
             json.dump(problem_data, f, indent=2)
+        copy_web_resources(problem_package, [lang_identifier, group_identifier, problem_identifier])
     finally:
         row = cur.fetchone()
 
 dump_language_defs()  # dump the last language index
+# dump the tree of resources
+with open(os.path.join(output_path, 'resources.json'), 'w') as f:
+    json.dump(resource_tree, f, indent=2)