オプション設定画面(青い画面)が出てくるportsパッケージで、インストールに失敗したときに再設定する方法

結論

/var/db/ports/パッケージ名 のディレクトリを削除。（念のためバックアップ推奨）

経緯

php5-extentionsをportinstallしようとしたらimagick.soがどーたらこーたらというエラーが出てインストールが途中中止された。もういちどportinstallしようとしたら設定画面が出なくて困った。

ネットで調べてもどうにも見つからないので識者にお伺いをたててみたところ、/var/db/ports の中にパッケージごとの設定ファイルがあるからそれを消せば多分OKという助言を頂き、/var/db/ports/php5-extentionsを/tmpディレクトリに移動して、無事再設定&インストールできました。