targets/Xenomai/__init__.py
changeset 329 22e65b8e20f4
parent 321 5a4e6278a18b
child 361 331d698e1118
equal deleted inserted replaced
328:c23daa6996c2 329:22e65b8e20f4
     3 
     3 
     4 class Xenomai_target(toolchain_gcc):
     4 class Xenomai_target(toolchain_gcc):
     5     extension = ".so"
     5     extension = ".so"
     6     def getXenoConfig(self):
     6     def getXenoConfig(self):
     7         """ Get xeno-config from target parameters """
     7         """ Get xeno-config from target parameters """
     8         return self.PuginsRootInstance.BeremizRoot.getTargetType().getcontent()["value"].getXenoConfig()
     8         return self.PluginsRootInstance.BeremizRoot.getTargetType().getcontent()["value"].getXenoConfig()
     9     
     9     
    10     def getBuilderLDFLAGS(self):
    10     def getBuilderLDFLAGS(self):
    11         # get xeno-config from target parameters
    11         # get xeno-config from target parameters
    12         xeno_config = self.getXenoConfig()
    12         xeno_config = self.getXenoConfig()
    13 
    13