| author | Mario de Sousa <msousa@fe.up.pt> |
| Sat, 02 Jun 2018 11:56:01 +0100 | |
| changeset 2479 | 7f08b03a5d92 |
| parent 1387 | 435965ca8b63 |
| child 3723 | 58c74d098f09 |
| permissions | -rwxr-xr-x |
|
1387
435965ca8b63
Re-introduced toolchain_makefile.py. This time, it comes with a 'Generic' target, and a 'genericmake' example
Edouard Tisserant
parents:
diff
changeset
|
1 |
|
|
435965ca8b63
Re-introduced toolchain_makefile.py. This time, it comes with a 'Generic' target, and a 'genericmake' example
Edouard Tisserant
parents:
diff
changeset
|
2 |
<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"/> |
|
435965ca8b63
Re-introduced toolchain_makefile.py. This time, it comes with a 'Generic' target, and a 'genericmake' example
Edouard Tisserant
parents:
diff
changeset
|
3 |