| author | Mario de Sousa <msousa@fe.up.pt> |
| Mon, 21 Dec 2020 22:26:36 +0000 | |
| changeset 2714 | 0b636dc947a2 |
| parent 1387 | 435965ca8b63 |
| child 3723 | 58c74d098f09 |
| permissions | -rw-r--r-- |
|
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 |