[#y5ca63f1]http://www-cs-faculty.stanford.edu/~knuth/programs.htmlからBDD15をダウンロード。bdd15.wという不思議な拡張子になっている。[#z2645e25].wファイルはcwebという、texのソースとcのコードを一緒に書くシステムを利用したファイル。cwebをコンパイルして、bdd15.wをbdd15.texとbdd15.cに分離しなければならない。cwebはhttp://www-cs-faculty.stanford.edu/~knuth/cweb.htmlにある。cweb.tar.gzで解凍。ディレクトリが作られないタイプのtarallなのでそのまま解凍するとカレントにファイルが飛散して大変。[#adcaf573]texのファイルの置き場などをかえていく。システムファイルを汚染したくない場合は、適宜home以下のディレクトリに設定を変えておく。macでの自分の設定。installしなくても良い。あれば、以下の設定は不要かも。[#u234b225]作られたコマンドでまずは、bdd15.wからtex関係のファイルを分離する。bdd15.dviこれで、bdd15のドキュメントがpdfで手に入る。GraphBaseのライブラリを静的にリンクしてやる必要がある。GraphBaseのコンパイルhttp://www.cs.sunysb.edu/~algorith/implement/graphbase/implement.shtml上記サイトから手に入る。例によって、手に入れたsgb.tar.gzはディレクトリを掘ってからそこに解凍。このライブラリもcwebを使って書かれているのでcwebのインストールは済ませておく。Makefileを適当に書き換えて、ライブラリなどのインストール先を調整。/Users/ryu/local/lib/cweb上記はmacの例。$HOME/usrと$HOME/localが混ざっているのはご愛嬌。これで、bdd15のコンパイルに必要なライブラリとヘッダーが手に入った。あとはそれぞれの場所とリンクすべきライブラリを指定してコンパイルするだけ。bdd15.cできあがり。パッケージがあれば簡単。cwebxはcwebの互換プログラム+cオプションでオリジナル互換モード。