मैंने डिफ़ॉल्ट इंस्टॉलर से अपने सिस्टम में Coq इंस्टॉल किया। फिर मैंने अपने मौजूदा emacs में प्रूफ जनरल जोड़ा। लेकिन समस्या यह है कि जब मैं emacs में एक कमांड चलाने की कोशिश करता हूं तो मुझे emacs से निम्नलिखित मिलते हैं,
प्रोग्राम के लिए खोज ऐसी कोई फ़ाइल या निर्देशिका coqtop नहीं है
मेरा मानना है कि कुछ कॉन्फ़िगरेशन त्रुटियां हैं।
अपने विचारों के लिए तत्पर हैं।
जवाबों:
मुझे अभी पता चला है कि मुझे emacs पथ के लिए coqtop पथ शामिल करना होगा। या आप अपने सिस्टम पथ में हो सकता है। उस स्थिति में आपको शेल से emacs मंगाना होगा।
ओपी के मामले से अलग लेकिन एक समान मुद्दा: त्रुटि संदेश Searching for program: no such file or directory, coqtop यदि आपने coq स्थापित नहीं किया है तो भी हो सकता है। फिर coqtop आपके सिस्टम से कमांड गायब होगी।
निदान करने के लिए, भागो which coqtop। यदि परिणाम रिक्त है, तो यह आपके पथ पर स्थापित नहीं है या नहीं है।
मैक पर, मैंने इस समस्या को कोक के साथ स्थापित करके हल किया homebrew का उपयोग करते हुए brew install coq
Searching for program no such file or directory coqtop। इनमें से कई मामलों में, यह उत्तर उपयोगी है।
(require '....)। जब तक पुस्तकालय आपके लोड पथ में है, और तब तक जब तक उसका कथन है(provide '...), तो यह आमतौर पर लोड मुद्दों को हल करने के लिए पर्याप्त है।