تنزيل camfort - تنزيل رمز مصدر camfort

camfort

فئات أخرى

Version 1.2.0

تنزيل

التشوه

Madfort هي أداة إعادة إنشاء والتحقق لبرامج Fortran العلمية. وهي تدعم حاليًا Fortran 66 و 77 و 90 و 95 و 2003 (إلى حد ما) مع مختلف الامتدادات القديمة.

وهو مشروع بحثي تم تطويره في جامعة كامبريدج وجامعة كنت.

الحصول على

طريقة التثبيت الموصى بها بواسطة OS:

Windows: حزم مصنوعة مسبقًا (تتضمن تبعيات) في الإصدارات: تنزيل تلك التي تبدأ من camfort-bundle-windows
Mac: عبر Homebrew: brew install camfort/camfort/camfort
Linux: الثنائيات المسبقة في الإصدارات. انظر ويكي: بناء لكيفية تثبيت تبعيات المكتبة لنظام التشغيل الخاص بك.

نحن نقدم الثنائيات المسبقة لنظام التشغيل Windows و Mac و Linux. بالنسبة لنظام التشغيل Windows ، نقدم أيضًا المحفوظات التي تجمع Madfort قابلة للتنفيذ مع جميع تبعياتها.

يتوفر الممثل أيضًا من خلال Homebrew (Formula):

 brew install camfort/camfort/camfort

يتوفر نسخة أقدم (~ 2019) من Madfort على Docker في Camfort/Camfort.

تتوفر صورة Docker الجديدة للمطورين (لا تزال تعمل في العمل) في ghcr.io/camfort/camfort:dev . الاحتجاج المقترح هو:

Podman: podman run --volume $(pwd):/host --workdir /host ghcr.io/camfort/camfort:dev <CamFort arguments>

الاستخدام

Madfort هي أداة سطر الأوامر ، لذا احتجزتها من موجه القشرة أو الأوامر المفضلة لديك. معلومات الاستخدام التفصيلية متوفرة على الويكي.

مبنى

(إذا كنت تريد بناءًا حديثًا ولا ترغب في الجلوس من خلال عملية التجميع ، فقد ترغب بدلاً من ذلك في التحقق من علامة تبويب الإجراءات وتنزيل البناء ذي الصلة لنظامك من تشغيل سير العمل الأخير.)

يغطي هذا القسم فقط البناء لفترة وجيزة. انظر ويكي: بناء للحصول على التفاصيل الكاملة.

يدعم CAMFOR GHC 8.4 من خلال GHC 8.10 ، ويبني مع كل من المكدس والكابال. نختبر بانتظام على الأقل الحد الأدنى والحد الأقصى المدعوم من GHCs. الإصدارات قبل/الأحدث من تلك قد يكون لها مشاكل. (نرحب بإصلاحات من شأنها أن ندعم مجموعة واسعة من المترجمين!)

من المحتمل أن تحتاج إلى ما لا يقل عن 3 أعمدة من الذاكرة وبعض الصبر لبناء التشوه.

يعتمد التمشير على المكتبات الأجنبية التالية:

فلينت> = 2.5
لاباك
بلاس
Z3> = 4.5 (قابلة للتنفيذ)

يجب أن يتم تصميمها لنظامك ، ولكن طريقة التثبيت تختلف. يتم توفير أدلة خاصة بالنظام على الويكي. (بدلاً من ذلك ، يمكنك التحقق من سير عمل إجراءات GitHub.) على Ubuntu:

 apt install libflint-dev liblapack-dev libopenblas-dev z3

ثم stack build المكدس ، أو cabal build للكابال.

إكمال علامة التبويب (باش)

لتمكين الإكمال التلقائي لـ Bash for Madfort ، أضف ما يلي إلى ملف .bashrc أو .bash_profile :

 eval "$(camfort --bash-completion-script=$(which camfort))"

المساهمة

نحن نقدر أي أخطاء تواجهها ونطلب منك أن ترسلها كمشكلة.

يتم تقدير طلبات السحب ، ولكن يرجى الاتصال بنا أولاً إذا كان تغييرًا كبيرًا. تأكد من تشغيل جناح الاختبار قبل الإرسال.

إذا كان لديك رمز علمي ترغب في تحليله ، فسنكون سعداء بإضافته إلى Camfort Corpus. هذا يساعدنا على إيجاد طرق مفيدة لتوسيع التمشير وكذلك ضمان أن يكون قويًا.