code-composer - Texas Instruments の DSP C6713 用 Miracl のコンパイル

Question

Code Composer Studio V3.1 を使用して Miracl ライブラリをコンパイルしようとしていました。対象のDSPはテキサスインスツルメンツ製のC6713です。また、ファイル csl6713.lib、dsk6713bsl.lib、rts6700.lib、および c6713dsk.cmd をプロジェクトに追加しました。C のファイルは config.c です。プロジェクトは問題なくコンパイルおよび実行されますが、取得したファイル miracl.lst は空です。