| author | Edouard Tisserant <edouard.tisserant@gmail.com> |
| Mon, 23 May 2022 18:10:13 +0200 | |
| changeset 3493 | ff25207ec303 |
| 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 |