CUDDパッケージ 手習い

• CUDDのパッケージをとって来よう
  • ホームパージ
  • 圧縮ファイル
• Windowsでmakeやgccを動かすためにCygwinを入れよう
  • Cygwinを入れるとLINUXコマンドがWindowsのコマンドプロンプトで動くようになる！のですね(こちらやこちら)
    • Cygwinを入れるのもずいぶん久しぶりですが、ずいぶん楽になっている…(クリックするだけ)
    • Cygwinのサイトからsetup.exeをダウンロードしてクリックするだけ
    • パスは通しましょう(場合によっては再起動も必要でした…)
  • もちろん、Cygwinを立ち上げて、「LINUX風」に使うこともできるわけですが
• Cygwinのデフォルトではmakeコマンドも取れないし、gccも取れてこなかったので、それらを追加するべく、再度、setup.exeを実行。オプションとして取ってくるべきは
  • make,gcc
    • 途中で選択オプションを聞いてくるので、Devを展開して、makeとgcc (c用、c++用、fortran用)を選択する
      • 参考サイト1
      • 参考サイト2
      • 参考サイト3
• さて、CUDDのコンパイル
  • コマンドプロンプトで、CUDDを解凍したフォルダに移動して

make

• • するだけ、だが…
    • コマンドプロンプトでmakeやgccコマンドが動くのは、Windowsの環境設定で、パスに以下が追加されているから

C:\cygwin\bin

• • この段階で、makeファイルと、cpu_stats.cとを書き換える
    • こちらを参考にだまされたと思って、そこだけを…と思ったが、Wndowsは、とか書いてあるところもあるので、コメントアウトしたりして、それをもう、べたっと全部貼ってしまおう
      • こちら
  • cpu_stats.cはダウンロードしたCUDDのutilフォルダの中にあるので、言われた通りにやった(２箇所の書き換えが指示されていた)、
  • 冒頭７行目の

#if defined(_IBMR2)

• • を

# if 0

• • にして、

util_print_cpu_stats(FILE *fp)
{

• • の下の

#ifdef BSD

• • を削除して

#if 0

• • とした。だが、これでmakeコマンドは回ったようだ…(まだひとまず、回ったようなので、このファイルもべた貼りしておくこちら)
• 実際コマンドプロンプトでCygwinで入れたコマンドを実行するというのは

make[1]: Entering directory `/cygdrive/c/Users/ryamada/cudd-2.5.0/nanotrav'

• とあるように、仮想ドライブ"/cygdrive/"以下にCドライブ以下が指定されて、そこを対象にコマンドが働く、というような構成になっているようだ