mirror of
https://github.com/wolfSSL/wolfssl.git
synced 2026-07-05 18:30:48 +02:00
Juliusz Sosinowicz
40d3befa61
Add Ada bindings for SHA-256, RSA sign/verify, and AES-CBC from wolfCrypt. Use XMALLOC/XFREE for dynamic allocation and add GNATprove ownership annotations to enable static leak detection. Refactor the Ada wrapper into a base package (wolfssl.ads) and a child package (wolfssl-full_runtime) to separate code that depends on Interfaces.C.Strings and GNAT.Sockets from zero-footprint-compatible code. Add standalone examples for SHA-256 hashing, RSA signature verification, and AES encryption under wrapper/Ada/examples/. Add AUnit test suites for SHA-256, RSA, and AES bindings under wrapper/Ada/tests/ with Valgrind suppressions and Alire integration. Move TLS client/server examples into wrapper/Ada/examples/src/ and update build files (default.gpr, examples.gpr, include.am) accordingly. Update CI (ada.yml) to build default.gpr, run AUnit tests, run the client-server examples, and run GNATprove. Co-authored-by: Joakim Strandberg <joakim@mequinox.se>
48 lines
2.2 KiB
Plaintext
48 lines
2.2 KiB
Plaintext
# vim:ft=automake
|
|
# included from Top Level Makefile.am
|
|
# All paths should be given relative to the root
|
|
|
|
EXTRA_DIST+= wrapper/Ada/README.md
|
|
EXTRA_DIST+= wrapper/Ada/ada_binding.c
|
|
EXTRA_DIST+= wrapper/Ada/alire.toml
|
|
EXTRA_DIST+= wrapper/Ada/default.gpr
|
|
EXTRA_DIST+= wrapper/Ada/restricted.adc
|
|
EXTRA_DIST+= wrapper/Ada/user_settings.h
|
|
EXTRA_DIST+= wrapper/Ada/wolfssl-full_runtime.adb
|
|
EXTRA_DIST+= wrapper/Ada/wolfssl-full_runtime.ads
|
|
EXTRA_DIST+= wrapper/Ada/wolfssl.adb
|
|
EXTRA_DIST+= wrapper/Ada/wolfssl.ads
|
|
EXTRA_DIST+= wrapper/Ada/wolfssl.gpr
|
|
EXTRA_DIST+= wrapper/Ada/examples/.gitignore
|
|
EXTRA_DIST+= wrapper/Ada/examples/alire.toml
|
|
EXTRA_DIST+= wrapper/Ada/examples/examples.gpr
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/aes_verify_main.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/rsa_verify_main.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/sha256_main.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/spark_sockets.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/spark_sockets.ads
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/spark_terminal.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/spark_terminal.ads
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/tls_client.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/tls_client.ads
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/tls_client_main.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/tls_server.adb
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/tls_server.ads
|
|
EXTRA_DIST+= wrapper/Ada/examples/src/tls_server_main.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/.gitignore
|
|
EXTRA_DIST+= wrapper/Ada/tests/README.md
|
|
EXTRA_DIST+= wrapper/Ada/tests/alire.toml
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/aes_bindings_tests.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/aes_bindings_tests.ads
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/rsa_verify_bindings_tests.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/rsa_verify_bindings_tests.ads
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/sha256_bindings_tests.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/sha256_bindings_tests.ads
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/support/test_support.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/support/test_support.ads
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/support/tests_root_suite.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/support/tests_root_suite.ads
|
|
EXTRA_DIST+= wrapper/Ada/tests/src/tests.adb
|
|
EXTRA_DIST+= wrapper/Ada/tests/tests.gpr
|
|
EXTRA_DIST+= wrapper/Ada/tests/valgrind.supp
|