ポートからインストールしようとしたら、（ちなみにphp5-extention）
インストールのうちの「オプション画面」がでたのですが、
そののちあるオプションがインストールに失敗してしまいました。
で、make cleanしたのですが、再度makeしたら、失敗したオプション
しか「オプション画面」にでませんでした。
どうやったら初期状態に戻せて再インストールできるのでしょうか？