Gosto de usar o Homebrew para instalar o software Unix no meu Mac e aprecio o fato de ele não tentar instalar várias cópias de coisas como Python. No entanto, existem alguns pacotes que eu já instalei manualmente e não quero que o Homebrew instale suas próprias cópias deles.
Na minha situação atual, instalei o OCaml usando o instalador padrão. Agora eu quero instalar o Coq via Homebrew. Vejo via brew deps coq
que depende do OCaml. Eu sei que posso dizer para pular a instalação do OCaml dessa vez brew install --ignore-dependencies coq
. No entanto, prefiro não ter que fazer isso toda vez que instalo um pacote Homebrew que requer OCaml.
Como posso fazer o Homebrew fingir que instalou o software que eu instalei por outros meios, para não tentar instalar uma cópia duplicada?