Me gusta usar Homebrew para instalar el software Unix en mi Mac, y aprecio que no intente instalar múltiples copias de cosas como Python. Sin embargo, hay algunos paquetes que ya instalé manualmente, y no quiero que Homebrew instale sus propias copias.
En mi situación actual, instalé OCaml usando el instalador estándar. Ahora quiero instalar Coq a través de Homebrew. Veo 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 hacer eso cada vez que instalo un paquete Homebrew que requiere OCaml.
¿Cómo puedo hacer que Homebrew finja que instaló el software que instalé por otros medios, para que no intente instalar una copia duplicada?