Code Generation target settings missing for static library

[ChrisL]

I have some CPU-intensive code that I'd like to refactor into a static library so that I can easily share it in multiple projects. This code needs to be compiled in ARM mode with floating point support (i.e., "Compile for thumb" needs to be off), and with various other optimizations turned on, etc. When I create a static library target, though, all of these options which normally appear in the "GCC 4.2 - Code Generation" section of the target info build settings are nowhere to be found.

I need to be able to set these options directly for the library. I've already confirmed that setting the options for the dependent project will not carry over the library -- the library is still built with "Compile for thumb" on, even if the dependent project is not.

Most of the times I've seen missing options like this, I've been able to resolve the problem by fiddling with the base SDK and architecture options, but no such luck here. Has anyone experienced this before? Is there an easy way to get these options to reappear?