targets/Linux/__init__.py
author Laurent Bessard
Wed, 20 Feb 2013 19:35:48 +0100
changeset 933 6c320534627e
parent 642 cd7ccbbbf471
child 1279 0eb9f8af479f
permissions -rwxr-xr-x
Fixed bug with LastRefreshTimer
from ..toolchain_gcc import toolchain_gcc

class Linux_target(toolchain_gcc):
    extension = ".so"
    def getBuilderCFLAGS(self):
        return toolchain_gcc.getBuilderCFLAGS(self) + ["-fPIC"]
    def getBuilderLDFLAGS(self):
        return toolchain_gcc.getBuilderLDFLAGS(self) + ["-shared", "-lrt"]