Мені подобається використовувати Homebrew для встановлення програмного забезпечення Unix на моєму Mac, і я ціную, що він не намагається встановити кілька копій таких речей, як Python. Однак деякі пакети, які я вже встановив вручну, я не хочу, щоб Homebrew встановлював свої власні копії.
У моїй теперішній ситуації я встановив OCaml за допомогою стандартного інсталятора. Тепер я хочу встановити Coq через Homebrew. Я бачу, brew deps coqщо це залежить від OCaml. Я знаю, що можу сказати, щоб цього разу пропустити встановлення OCaml через brew install --ignore-dependencies coq. Однак я б не хотів цього робити щоразу, коли встановлюю пакет Homebrew, для якого потрібен OCaml.
Як я можу змусити Homebrew робити вигляд, що він встановив програмне забезпечення, яке я встановив за допомогою інших засобів, щоб він не намагався встановити копію копії?