Mac에 Unix 소프트웨어를 설치하기 위해 Homebrew를 사용하는 것이 좋으며 Python과 같은 여러 사본을 설치하려고 시도하지 않는다는 점에 감사합니다. 그래도 이미 수동으로 설치 한 패키지가 있지만 Homebrew가 자체 사본을 설치하지 않기를 바랍니다.
현재 상황에서는 표준 설치 프로그램을 사용하여 OCaml을 설치했습니다. 이제 Homebrew를 통해 Coq를 설치하고 싶습니다. brew deps coq
OCaml에 의존한다는 것을 알았습니다 . 이번에는 OCaml 설치를 건너 뛰라고 말할 수 있음을 알고 있습니다 brew install --ignore-dependencies coq
. 그러나 OCaml이 필요한 Homebrew 패키지를 설치할 때마다 그렇게 할 필요는 없습니다.
Homebrew가 다른 수단을 통해 설치 한 소프트웨어를 설치하여 복제본을 설치하지 않도록하려면 어떻게해야합니까?