Quel include pour Amplinterface ?

[bneveu]

Je n'arrive pas à compiler un fichier qui appelle AmplInterface

AmplInterface interface (argv[1]);

sans ajouter d'include, j'ai l'erreur
error: ‘AmplInterface’ was not declared in this scope

ajouter
#include "ibex_AmplInterface.h" ne marche pas.
ibex_AmplInterface.h: No such file or directory

Pourtant je pense que j'ai le bon PKG_CONFIG_PATH
echo $PKG_CONFIG_PATH
../../../install/share/pkgconfig/:/home/neveub/ibex/ibex-affine/install/share/pkgconfig/:/home/neveub/ibex/ibex-ampl/install/share/pkgconfig/
le répertoire /home/neveub/ibex/ibex-ampl/install/share/pkgconfig/ contient bien ibex-ampl.pc