targets/XSD_toolchain_makefile
author Edouard Tisserant
Wed, 24 Jan 2018 14:48:49 +0100
changeset 1905 87c908079bc6
parent 1387 435965ca8b63
child 3723 58c74d098f09
permissions -rwxr-xr-x
Changed way to deal with extensions arguments (-e) so that path and filename are stored independently and accessible for extensions themselves.

          <xsd:attribute name="Command" type="xsd:string" use="optional" default="make -C %(buildpath)s all BEREMIZSRC=%(src)s BEREMIZCFLAGS=%(cflags)s MD5=%(md5)s USE_BEREMIZ=1 FROM_BEREMIZ=1"/>