| changeset 1430 | 754fa90c8b27 |
| parent 1387 | 435965ca8b63 |
| child 1456 | e723c1dd6faa |
| 1429:7e00c406d346 | 1430:754fa90c8b27 |
|---|---|
72 def GetHeader(): |
72 def GetHeader(): |
73 filename = path.join(path.split(__file__)[0],"beremiz.h") |
73 filename = path.join(path.split(__file__)[0],"beremiz.h") |
74 return open(filename).read() |
74 return open(filename).read() |
75 |
75 |
76 def GetCode(name): |
76 def GetCode(name): |
77 filename = path.join(path.split(__file__)[0],name + ".c") |
77 filename = path.join(path.split(__file__)[0],name) |
78 return open(filename).read() |
78 return open(filename).read() |
79 |
79 |