मैं अपने मैक पर यूनिक्स सॉफ़्टवेयर स्थापित करने के लिए होमब्रे का उपयोग करना पसंद करता हूं, और सराहना करता हूं कि यह पायथन जैसी कई प्रतियों को स्थापित करने का प्रयास नहीं करता है। कुछ पैकेज हैं जो मैंने पहले ही मैन्युअल रूप से स्थापित किए हैं, हालांकि, और मैं नहीं चाहता कि होमब्रॉव उनकी खुद की प्रतियां स्थापित करें।
मेरी वर्तमान स्थिति में, मैंने मानक इंस्टॉलर का उपयोग करके ओमेक्एल स्थापित किया। अब मैं Coq को Homebrew के माध्यम से स्थापित करना चाहता हूं। मुझे लगता है brew deps coqकि यह OCaml पर निर्भर करता है के माध्यम से देखते हैं । मुझे पता है कि मैं इसे इस बार OCaml को इंस्टॉल करना छोड़ सकता हूं brew install --ignore-dependencies coq। हालाँकि, मुझे ऐसा करने की ज़रूरत नहीं है कि हर बार जब मैं एक होमब्रेव पैकेज स्थापित करूँ जो OCaml की आवश्यकता हो।
मैं Homebrew को कैसे दिखावा कर सकता हूं कि उसने सॉफ़्टवेयर स्थापित किया है जिसे मैंने अन्य माध्यमों से इंस्टॉल किया है, ताकि वह डुप्लिकेट कॉपी स्थापित करने का प्रयास न करे?