Lubię używać Homebrew do instalowania oprogramowania Unix na moim Macu i doceniam, że nie próbuje on instalować wielu kopii rzeczy, takich jak Python. Istnieją jednak pewne pakiety, które już zainstalowałem ręcznie i nie chcę, aby Homebrew instalował ich własne kopie.
W mojej obecnej sytuacji zainstalowałem OCaml przy użyciu standardowego instalatora. Teraz chcę zainstalować Coq przez Homebrew. Widzę przez brew deps coq
że zależy od OCaml. Wiem, że mogę mu powiedzieć, aby pominął instalację OCaml tym razem brew install --ignore-dependencies coq
. Jednak wolałbym nie robić tego za każdym razem, gdy instaluję pakiet Homebrew, który wymaga OCaml.
Jak sprawić, by Homebrew udawał, że zainstalował oprogramowanie, które zainstalowałem za pomocą innych środków, aby nie próbował instalować duplikatu kopii?