6 Commits

Author SHA1 Message Date
Gilles Peskine 2bc58125fe Add missing dependencies on generated headers
Without those dependencies, the headers don't get generated.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2026-02-05 22:23:52 +01:00
Gilles Peskine b6c23e6e01 Remove psasim generated files
The files are now generated during the build. Stop having them in version
control.

As formerly in Mbed TLS, `make clean` doesn't remove
configuration-independent target-independent generated files, but the new
target `make neat` does.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2026-02-05 13:58:22 +01:00
Gilles Peskine 9dca598383 Add rules to generate wrappers during the psasim build
We don't need to check those generated files into version control.

This fixes the problem that the generated files have precise knowledge of
the functions that exist on whatever branch of TF-PSA-Crypto is consuming
the framework.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2026-02-05 13:58:22 +01:00
Gilles Peskine c5c6dda693 Read include paths from the TF-PSA-Crypto makefile
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2026-01-27 18:25:25 +01:00
Minos Galanakis 7f6ad7c9b8 psasim: Update location in Makefile and all-core.sh
Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>
2026-01-08 17:45:54 +00:00
Minos Galanakis d9823616cf Moved tests/psa-client-server to framework.
Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>
2026-01-08 17:15:35 +00:00