私はMacにUnixソフトウェアをインストールするためにHomebrewを使用するのが好きで、Pythonのようなものの複数のコピーをインストールしようとしないことを感謝しています。ただし、既に手動でインストールしたパッケージがいくつかあり、Homebrewにそれらの独自のコピーをインストールさせたくありません。
現在の状況では、標準インストーラーを使用してOCamlをインストールしました。ここで、Homebrew経由でCoqをインストールします。brew deps coq
OCamlに依存していることがわかります。今回はOCamlのインストールをスキップするように伝えることができますbrew install --ignore-dependencies coq
。ただし、OCamlを必要とするHomebrewパッケージをインストールするたびにこれを行う必要はありません。
Homebrewが他の手段でインストールしたソフトウェアをインストールしたように見せて、重複コピーをインストールしようとしないようにするにはどうすればよいですか?