Me gusta usar Homebrew para instalar el software Unix en mi Mac y aprecio que no intente instalar varias copias de cosas como Python. Sin embargo, hay algunos paquetes que ya he instalado manualmente, y no quiero que Homebrew instale sus propias copias de ellos.
En mi situación actual, instalé OCaml utilizando el instalador estándar. Ahora quiero instalar Coq a través de Homebrew. Veo a través de brew deps coq
que depende de OCaml. Sé que puedo decirle que omita la instalación de OCaml esta vez a través de brew install --ignore-dependencies coq
. Sin embargo, prefiero no tener que hacerlo cada vez que instalo un paquete Homebrew que requiere OCaml.
¿Cómo puedo hacer que Homebrew pretenda que instaló un software que instalé por otros medios, para que no intente instalar una copia duplicada?