targets/__init__.py
changeset 1460 b7e610672eed
parent 1457 ff7cfce737ca
child 1571 486f94a8032c
--- a/targets/__init__.py	Fri Apr 03 17:08:13 2015 +0200
+++ b/targets/__init__.py	Mon Jun 15 10:19:52 2015 +0200
@@ -38,7 +38,10 @@
 
 targets = dict([(name, {"xsd":path.join(_base_path, name, "XSD"), 
                         "class":_GetLocalTargetClassFactory(name),
-                        "code": path.join(path.split(__file__)[0],name,"plc_%s_main.c"%name)})
+                        "code": { fname: path.join(_base_path, name, fname) 
+                           for fname in listdir(path.join(_base_path, name))
+                             if fname.startswith("plc_%s_main"%name) and
+                               fname.endswith(".c")}})
                 for name in listdir(_base_path) 
                     if path.isdir(path.join(_base_path, name)) 
                        and not name.startswith("__")])
@@ -67,7 +70,9 @@
     return targetchoices
 
 def GetTargetCode(targetname):
-    return open(targets[targetname]["code"]).read()
+    codedesc = targets[targetname]["code"]
+    code = "\n".join([open(fpath).read() for fname, fpath in sorted(codedesc.items())])
+    return code
 
 def GetHeader():
     filename = path.join(path.split(__file__)[0],"beremiz.h")