我喜欢使用Homebrew在Mac上安装Unix软件,并欣赏它不会尝试安装Python之类的多个副本。不过,有些软件包我已经手动安装了,我不希望Homebrew安装它们自己的副本。
在当前情况下,我使用标准安装程序安装了OCaml。现在,我想通过Homebrew安装Coq。我通过brew deps coq
它看到它取决于OCaml。我知道我可以通过告诉它这次跳过安装OCaml brew install --ignore-dependencies coq
。但是,我宁愿每次安装需要OCaml的Homebrew软件包时都不必这样做。
如何使Homebrew假装它通过其他方式安装了我安装的软件,以便它不尝试安装重复副本?