heptagon/examples/extern_C
2013-01-25 15:41:34 +01:00
..
imports.ept Updated the example 2010-07-27 11:32:58 +02:00
mathext.c Bug correction in extern_C example 2013-01-25 15:41:34 +01:00
mathext.epi Updated the example 2010-07-27 11:32:58 +02:00
mathext.h Updated the example 2010-07-27 11:32:58 +02:00
README Updated the example 2010-07-27 11:32:58 +02:00

This example show how to import an external function written in C in an Heptagon program.

- The .epi file contains the signature of the function in Heptagon.
- Only functions with no side effects can be safely imported.
- The imported function must have the same calling convention as generated code (inputs given by value, outputs in a f_out structure).
- The generated code will include "mathext.h", that should define the step function

To make it work:
   heptc mathext.epi
   heptc imports.ept
   gcc -std=c99 -I . mathext.c imports_c/*.c -o imports