Platform

The default platform is pc. If you want to change :

Changing Platform

In order to change platform just use the configure script P_NAME being the platform name 

./configure --plat=P_NAME

--cc and --arch being the default GCC and x86.

More Help

Execute the help command for ./configure command using this:

./configure --help

results matching ""

    No results matching ""