| #
0bbd796c |
|
15-Jan-2019 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Remove --fsupport-init flag support
This flag was mostly redundant as it is used by default and there are
no longer any motivating uses for not providing init support.
|
| #
8c7bbd88 |
|
30-Aug-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
templates: consistent messages for generated-file warnings
|
| #
29d7fd28 |
|
26-Jul-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Connect CakeML environment to potential CakeML connector
Changes the 'run' function that is invoked depending on whether the component has a
control thread or not. This is required due to CakeML being single threaded and so
only one of the control thread or the connector can be the CakeML entry point.
|
| #
4b2a8503 |
|
02-Jul-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Define CakeML environment
Provides CakeML environment that allows a component to specify all of its required and
optional functions as CakeML functions.
Extends AppendCAmkESComponentTarget, and so by extension DeclareCAmkESComponent, to support
specifying CakeML sources as well as the needed heap/stack size that are needed for the component.
|