jeltz
/
heptagon
1
0
Fork 0
Code Issues Pull Requests Releases Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
async
master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
heptagon/examples/extern_C
History
Gwenaël Delaval 0a65ffc8e2 Update of example Extern_C 9 years ago
..
README Update of example Extern_C 9 years ago
imports.ept Updated the example 14 years ago
mathext.c Update of example Extern_C 9 years ago
mathext.epi Updated the example 14 years ago
mathext.h Update of example Extern_C 9 years ago

README 

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 -target c imports.ept
   gcc -c -I /usr/local/lib/heptagon/c -I . mathext.c imports_c/*.c