ব্রু সহ কোকাইড (বা এ জাতীয়) কীভাবে ইনস্টল করবেন

Question

আমি আমার ম্যাক (ম্যাভেরিক্স) এ কোক ইনস্টল করতে অনেক সমস্যায় পড়েছিলাম এবং এটি আসলে কোকাইডটি ইনস্টল করেনি ...

দুর্ভাগ্যক্রমে 'ব্রিউ অপশন কোক'-এর কোনও ফলাফল নেই সুতরাং সঠিকভাবে কোকাইড কীভাবে ইনস্টল করতে হয় তা আমি জানি না।

যদি এটি খুব জটিল হয় তবে তা ঠিক আছে, আমি কোনও বিকল্প সমাধানকে স্বাগত জানাব (যেমন একটি উত্সাহ পাঠ্য প্লাগইন বা এর মতো)।

ধন্যবাদ।

Comments

আপনি বিতরণ বাইনারি ব্যবহার করার চেষ্টা করেছেন ?

— Edouard

হ্যাঁ, দুর্ভাগ্যক্রমে এটি ওএস এক্স ম্যাভেরিক্সে কাজ করে না (এটি একটি পরিচিত বাগ হিসাবে দেখা যাচ্ছে), এজন্যই আরও একটি সাম্প্রতিক সংস্করণ (যার সাথে ত্রুটি সংশোধন করা হয়েছে) পেতে আমাকে --devel তৈরি করতে হয়েছিল। এজন্য আমি আলাদাভাবে কোকাইড পেতে চাই (কিছু সঠিক রাখার জন্য)।

— থিও উইন্টারহাল্টার

Answer 1

একই বাগ (বিদ্যমান প্রকাশিত বাইনারিতে) এখানে রিপোর্ট করা হয়েছে:

http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=3155

এবং মন্তব্যে সাম্প্রতিক বিল্ডগুলির একটি লিঙ্ক দেওয়া হয়েছে:

http://www.pps.univ-paris-diderot.fr/~pboutill/coq-night/v8.4/

আমি স্থিতিশীলতা সম্পর্কে জানি না, তবে 8.4pl4 ম্যাভারিক্সে কাজ করছে বলে মনে হচ্ছে। আমি README নির্দেশাবলী অনুসরণ করে নিম্নলিখিত তৈরি করতে / ইনস্টল করতে সক্ষম হয়েছি (এছাড়াও ইতিমধ্যে OCaml এবং অন্যান্য সরঞ্জামগুলির ইনস্টল প্রয়োজন হতে পারে, যা আমার কাছে ইতিমধ্যে ঘটেছে)) সম্পর্কিত কোকাইডটিও সমস্যা ছাড়াই কাজ করছে বলে মনে হয়।

আমি একটি পাকা কাক ব্যবহারকারী নই, সুতরাং এই প্রকাশিত সংস্করণে যদি কোনও কার্যকারিতা বা স্থিতিশীলতার বিবেচনা থাকে তবে সেগুলি আমার মাথা থেকে অনেক দূরে চলে যাবে।