Fix for bug 2283 (RVCT 4.0 support is missing from PDK 3.0.h)
Have multiple extension sections in the bld.inf, one for each version
of the compiler. The RVCT version building the tools will build the
runtime libraries for its version, but make sure we extract all the other
versions from zip archives. Also add the archive for RVCT4.
EXPORTS
SessionCreate__FRC6TDesC8iPC15TSecurityPolicyi @ 1 NONAME ; SessionCreate(TDesC8 const &, int, TSecurityPolicy const *, int)
SessionSendSync__FiiPvP14TRequestStatus @ 2 NONAME ; SessionSendSync(int, int, void *, TRequestStatus *)
SessionSend__FiiPvP14TRequestStatus @ 3 NONAME ; SessionSend(int, int, void *, TRequestStatus *)
SetSessionPtr__FiPCv @ 4 NONAME R3UNUSED ; SetSessionPtr(int, void const *)