targets/Xenomai/__init__.py
author Edouard Tisserant
Sat, 19 Nov 2011 21:52:34 +0100
changeset 642 cd7ccbbbf471
parent 635 fcdb60cacb2c
child 717 1c23952dbde1
permissions -rwxr-xr-x
various cleanups in /targets
from ..toolchain_gcc import toolchain_gcc

class Xenomai_target(toolchain_gcc):
    extension = ".so"
    def getXenoConfig(self, flagsname):
        """ Get xeno-config from target parameters """
        xeno_config=self.PluginsRootInstance.GetTarget().getcontent()["value"].getXenoConfig()
        if xeno_config:
            from wxPopen import ProcessLogger
            status, result, err_result = ProcessLogger(self.PluginsRootInstance.logger,
                                                       xeno_config + " --skin=native --"+flagsname,
                                                       no_stdout=True).spin()
            if status:
                self.PluginsRootInstance.logger.write_error(_("Unable to get Xenomai's %s \n")%flagsname)
            return [result.strip()]
        return []
    
    def getBuilderLDFLAGS(self):
        xeno_ldflags = self.getXenoConfig("ldflags")
        return toolchain_gcc.getBuilderLDFLAGS(self) + xeno_ldflags + ["-shared"]

    def getBuilderCFLAGS(self):
        xeno_cflags = self.getXenoConfig("cflags")
        return toolchain_gcc.getBuilderCFLAGS(self) + xeno_cflags + ["-fPIC"]