使用rts2800_fpu32_fast_supplement.lib对CCS6的设置找不到相关设置

我看了下controlSUITE里FPUfastRTS里的文档，文档的设置方法是CCS 4.x的，而我的是CCS 6.
设置界面挺不一样，当我设置到link order的时候就找不到该去哪设置了。
文档里里是这样说明的：

但是我在CCS 6里没有找到相关的设置。


而且可以通过查看.map检查是否rts2800_fpu32_fast_supplement.lib链接在rts2800_fpu32.lib的前面。
然后我编写了一个简单的程序：
/* * main.c */#include "math.h"#include "C28x_FPU_FastRTS.h"#define PI 3.14159float32 input,output;void main(void) [                input = 0.25*PI;        output = sin(input);        while(1)                ;]查看.map文件是这样显示的：

说明并没有用到rts2800_fpu32_fast_supplement
我该怎么做呢？