make world

Ports のオプションを初期化 / 変更 / 再設定をする

FreeBSD Ports

現在、設定されているオプションの確認

% make showconfig

現在、設定されているオプションの破棄

% sudo make rmconfig

オプションの再設定

% sudo make config

オプションを変更して、最初のインストールを失敗した場合

オプションを変更して、初めて ports をインストールをする時に、インストールに失敗した場合、

% sudo make rmconfig

では、オプションの設定を初期化できない。そのため、/var/db/ports/ 以下の Ports のオプションの設定が記録されているファイルを削除することで、初期化できる。

設定したオプションの内容は /var/db/ports ディレクトリに Ports 毎にディレクトリが存在し、そのPorts 毎のディレクトリ内の options というファイルに格納されています。
ですので、このファイルの削除でも構いません、実際、make rmconfig でもこのファイルの削除ですから。
http://oshiete1.goo.ne.jp/qa2612770.html

参考