spin4.2.8をインストールしようとしたが、xspinが「gccは arch -xを知らない」といって動かない



spin4.2.8だけならshから動くので、~/binにインストールした。

xspin(実際にはWishの中のAppMain.tcl)から呼び出すコマンドはspin4.2.5に戻した。

gccがMacintoshだけのオプション -archで、「-xを知らない」と言っているようだが、どこで直せばよいか分からない。
とりあえず、xspin428.tclの内容をできるだけMaintoshc用に修正して、/usr/local/bin/xspinに実行可能ファイルとして置いた。
このファイルをX11.appから実行すると、xspinは起動する。
ただし、上記理由で、現在はモデル検査は、以下のように表示して動かない。

<starting verification>
/Users/sahara/bin/spin -a -X pan_in
spin: preprocessing failed
spin: 1 error(s) - aborting
gcc: Invalid arch name : -x

シミュレーションも以下のように表示して、動かない。
spin preprocessing error

Posted: 水 - 1月 10, 2007 at 02:25 午後          


©