problem to build ecos from source for pid target

[Olivier BOLDARINO]

Hi,

I'm beginner with using ecos.
I want to use ecos on ARM target. 

Then, I try to install ecos 1.3.1. by following instructions described on ecos 
web site: 
- i have downloaded and unzip ecos 1.3.1 source,
- i have downloaded and install the development tools (binutils 2.13, gcc 3.2, 
gbd and insigth 5.3),
- i have set up the ecos environment (update ECOS_REPOSITORY and PATH),
- i have configured ecos from source (as described in document "Getting 
Started with eCos"): configuration for arm pid and creation of the 
corresponding build tree,

and when i try to build ecos with run the command "make", the following 
problem occurs during the compilation:

ecos/packages/kernel/v1_3_1/src/sync/flag.cxx:62: argument par défaut donné 
pour le paramètre 1 de «Cyg_Flag::Cyg_Flag(unsigned int =  0)»
/work/install/include/cyg/kernel/flag.hxx:102: après la déclaration précédente 
dans «Cyg_Flag::Cyg_Flag(unsigned int = 0)»
ecos/packages/kernel/v1_3_1/src/sync/flag.cxx:125: argument par défaut donné 
pour le paramètre 1 de «void Cyg_Flag::maskbits(unsigned int = 0)»
/work/install/include/cyg/kernel/flag.hxx:110: après la déclaration précédente 
dans «void Cyg_Flag::maskbits(unsigned int = 0)»
ecos/packages/kernel/v1_3_1/src/sync/flag.cxx:149: argument par défaut donné 
pour le paramètre 1 de «void Cyg_Flag::setbits(unsigned int = -1)»
/ecos/work/install/include/cyg/kernel/flag.hxx:106: après la déclaration 
précédente dans «void Cyg_Flag::setbits(unsigned int = -1)»
make[1]: *** [src/sync/flag.o.d] Erreur 1
make[1]: Quitte le r -bépertoire `/work/kernel/v1_3_1' -A
make: *** [build] Erreur 2

has somebody already encountred this kind of problem? how to solve it?

regards,

Olivier Boldarino