targets/Xenomai/__init__.py
changeset 642 cd7ccbbbf471
parent 635 fcdb60cacb2c
child 717 1c23952dbde1
equal deleted inserted replaced
641:b4eae24d05bf 642:cd7ccbbbf471
     1 from .. import toolchain_gcc
     1 from ..toolchain_gcc import toolchain_gcc
     2 from wxPopen import ProcessLogger
       
     3 
     2 
     4 class Xenomai_target(toolchain_gcc):
     3 class Xenomai_target(toolchain_gcc):
     5     extension = ".so"
     4     extension = ".so"
     6     def getXenoConfig(self, flagsname):
     5     def getXenoConfig(self, flagsname):
     7         """ Get xeno-config from target parameters """
     6         """ Get xeno-config from target parameters """
     8         xeno_config=self.PluginsRootInstance.GetTarget().getcontent()["value"].getXenoConfig()
     7         xeno_config=self.PluginsRootInstance.GetTarget().getcontent()["value"].getXenoConfig()
     9         if xeno_config:
     8         if xeno_config:
       
     9             from wxPopen import ProcessLogger
    10             status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger,
    10             status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger,
    11                                                        xeno_config + " --skin=native --"+flagsname,
    11                                                        xeno_config + " --skin=native --"+flagsname,
    12                                                        no_stdout=True).spin()
    12                                                        no_stdout=True).spin()
    13             if status:
    13             if status:
    14                 self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname)
    14                 self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname)