ibex_Setting.h: No such file or directory

[aabbas-brook]

Hi Evryone,

First, thank you for the work that you have done here.

I would like to test your library for a project. When I install it, all seems to be ok. Tests works also well. But when I try to use it, with minimal example you gave, The following error message is displayed :

ibex_Setting.h: No such file or directory and in fact there is no ibex_setting which can be found in installation folder.

Am I doing something wrong ?

Thank you in advance,

[raphaelchenouard]

Hi,
Can you give here the compilation command you use?

Can you share the result of:
pkg-config --cflags ibex

If it works, I recommend that you use pkg-config to get all the necessary includes for your compiler.