On 20/07/2021 13:31, Hugo V.C. wrote:
Does it mean that currently I can only use this library from a Spark program? Is not this scares me as I only need to encrypt/decrypt in a very simple way so I can try lo learn the basics of Spark to just do the job, but just want to be sure I have understood correctly what I have in my hands. So, no way to import the library in a C program?
Yeah... it's directly callable from Ada (of which SPARK is a subset) right now. A C binding is reasonably easy, but you need to know Ada well to do it - see Annex B of the Ada RM for the details. That's assuming you're using the _same_ GCC compiler to compile both the C and SPARK components - if that's true, the compiler will do most of the work with sorting out the right parameter passing mechanisms and so on. - Rod