Importing C with Spark

General
1

Can it be done? The docs are 4 lines and says:

This section describes features for mixed-language programming in SPARK, covering facilities offered by Ada’s Annex B.

Package Interfaces can be used in SPARK, including its intrinsic “Shift” and “Rotate” functions.

Other packages are not directly supported.

2

I don’t know SPARK, but the reference manual seems to indicate both Convention and Import are supported, so my guess is that wording implies that what languages are supported depends on the vendor.

1 Like
3

I did a quick test and it seems you can.

1 Like
4

This has been changing recently, I believe, as more customers are using SPARK and C together. And as you discovered, it does work, even if it isn’t “directly supported” :wink:

3 Likes