diff options
| author | Alessandro Gatti <a.gatti@frob.it> | 2024-09-22 12:51:18 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-09-23 11:47:18 +1000 |
| commit | 2b5feb9121a2fd6679c1ec0c6f4f2cb00b6e3616 (patch) | |
| tree | fd1b3741c291383545a319fc5611e3b7be2494d6 /tools/metrics.py | |
| parent | b08ddbba59b97d3546881038b60d2186b00a8e8d (diff) | |
lib/libffi: Update libffi to 3.4.6.
Libffi is updated to the latest stable version (v3.4.6) as the version
of libffi that was linked by the repository predates the introduction of
RISC-V processors (both 32 and 64 bits).
This is necessary as the packaged version of libffi used by the CI for
RISC-V 64 turned out to simply not work correctly, whilst a source-built
version of libffi worked just fine.
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions