Verilog(snapshotsのverilog-20090923)をビルドする方法です。HDLのソースが必要です。猫科研究所パックa004をインストールする以下の解説は、オフィシャルなMSYSではなくて、猫科研究所さんの猫科研究所パックa004を対象としています。よって、最初に猫科研究所パックa004のインストール(詳細はmsys_felidlabo_a004.7zに含まれるreadme_felidlabo.txtに記載)を行ってください。ちなみに、gccバージョンの選択は4.4.1/3.4.5のどちらでもかまいません。Verilogがビルドできることを確認済みです。makeでいろいろする(猫科研究所パックの)MSYSのプロンプトを開き、build_icarusにカレントディレクトリを移して、あとはbuild_icarus/makefileのコメントに従って作業を行ってください。onの#をはずすという作業を行ってから、上記のmake手順を実行してください。プロキシ"で検索するかして調べてください。動かしてみる(猫科研究所パックの)MSYSのプロンプトを開き、下記のコマンドを打ち込みます。あとにUsageが表示されていれば、インストールは成功しています。