هذا هو الأمر mkcamlp5 الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
camlp5 - طابعة مسبقة الصنع جميلة لطابعة ocaml
؛ mkcamlp5 - إنشاء ملف camlp5 مخصص
mkcamlp5.opt - إنشاء camlp5 مخصص (كود أصلي)
ocpp5 - المعالج المسبق العالمي
موجز
camlp5 [خيارات التحميل] [-] [خيارات أخرى]
com.camlp5o [خيارات التحميل] [-] [خيارات أخرى]
comlp5r [خيارات التحميل] [-] [خيارات أخرى]
comlp5sch [خيارات التحميل] [-] [خيارات أخرى]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 ملف [خيارات التحميل]
camlp5o.opt [--] [ خيارات أخرى ]
camlp5r.opt [--] [ خيارات أخرى ]
الوصف
camlp5 هي طابعة ما قبل المعالج جميلة لـ OCaml ، وتحليل ملف المصدر والطباعة
بعض النتائج على الناتج القياسي.
camlp5o ، comlp5r و comlp5sch هي إصدارات من camlp5 مع بعض الملفات التي تم تحميلها بالفعل (انظر
بالإضافة إلى ذلك).
camlp5o.cma ، camlp5r.cma و camlp5sch.cma هي الملفات التي سيتم تحميلها في ocaml toplevel لاستخدامها
آلات camlp5
mkcamlp5 و mkcamlp5.opt يقوم بإنشاء ملفات تنفيذية لـ camlp5 بنفس خيارات ملفات
ocamlmktop. انظر كذلك.
ocpp5 هو معالج أولي عالمي ، يعالج أي نوع من الملفات المصدر ، وينشئ نفس الشيء
النص مع الاقتباسات الممكنة موسعة.
camlp5o.opt و camlp5r.opt هي إصدارات من camlp5o و camlp5r تم تجميعها بواسطة المستخدم الأصلي-
مترجم التعليمات البرمجية ocamlopt. إنها أسرع ولكنها غير قابلة للتوسيع. وهي غير متوفرة في
جميع منشآت camlp5.
حمل OPTIONS
تحدد خيارات التحميل إجراءات التحليل والطباعة المسجلة في ملفات كائن OCaml
(تنتهي بـ .cmo أو .cma). يُصرح باستخدام العديد من هذه الخيارات. يجب عليهم
تسبق الخيارات الأخرى.
اختياري -- قد تنهي خيارات التحميل.
-I دليل
أضف دليل في مسار البحث عن الملفات التي تم تحميلها. ما لم يكن الخيار -nolib هو
مستخدمًا ، يتم إلحاق دليل مكتبة camlp5 بالمسار. تحذير: لا يوجد
البحث التلقائي في الدليل الحالي: أضف "-I". من أجل هذا.
-أين اطبع اسم دليل مكتبة camlp5 واخرج.
-نوليب لا يوجد بحث تلقائي عن ملفات الكائنات في دليل مكتبة camlp5.
ملف الكائن
يتم تحميل الملف في camlp5 core.
أخرى OPTIONS
الخيارات الأخرى هي:
ملف عالج ملف كملف واجهة إذا كان ينتهي بـ .mli وكملف تنفيذ
إذا كان ينتهي بـ .ml.
-intf ملف
عالج ملف كملف واجهة مهما كان امتداده.
-impl ملف
عالج ملف كملف تنفيذي مهما كان امتداده.
-غير آمن
إنشاء وصول غير آمن إلى المصفوفات والسلاسل.
-نواصرت
لا تقم بترجمة عمليات التحقق من التأكيد.
-إفراط
مزيد من التفصيل في تحليل الأخطاء.
-QD ملف
تفريغ ملف في حالة وجود خطأ نحوي نتيجة لتوسيع عرض الأسعار.
-o خارج الملف
اطبع النتيجة في ملف خارجي بدلاً من الإخراج القياسي. يتم فتح الملف باستخدام
open_out_bin (انظر انتشار مكتبة OCaml).
-v اطبع رقم الإصدار واخرج.
-مساعدة اطبع الخيارات المتاحة واخرج. تتضمن هذه المطبوعة الخيارات الممكنة
المضافة بواسطة ملفات الكائن المحملة.
يمكن توسيع الخيارات الأخرى بواسطة ملفات الكائنات المحملة. تضيف الملفات المقدمة الامتداد
الخيارات التالية:
-l طول الخط
تمت الإضافة بواسطة pr_o.cmo و pr_r.cmo: اضبط طول الخط (الافتراضي 78).
-النهاية سلسلة
تمت الإضافة بواسطة pr_o.cmo و pr_r.cmo: اطبع هذه السلسلة بين العبارات بدلاً من
التعليقات.
- no_ss تمت الإضافة بواسطة pr_o.cmo: لا تطبع فاصلة منقوطة مزدوجة
-D الايدنت
تمت الإضافة بواسطة pa_macro.cmo: حدد المعرف.
-U الايدنت
تمت الإضافة بواسطة pa_macro.cmo: undefine id.
قدمت FILES
يتم تثبيت هذه الملفات في الدليل / usr / lib / ocaml / camlp5.
تحليل الملفات:
pa_r.cmo: بناء الجملة المنقح
pa_rp.cmo: التدفقات والمحللون
pa_lexer.cmo: المعجمون
pa_o.cmo: بناء جملة عادي
pa_op.cmo: التدفقات والموزعين
pa_oop.cmo: التدفقات والمحللون (بدون تحسين الكود)
pa_scheme.cmo: بناء جملة المخطط
pa_extend.cmo: ملحق نحوي
pa_extfold.cmo: امتداد pa_extend مع FOLD0 و FOLD1
pa_extfun.cmo: ملحق بناء الجملة للوظائف القابلة للتوسيع
pa_extprint.cmo: ملحقات بناء الجملة للطابعات القابلة للتوسيع
pa_pprintf.cmo: ملحق بناء الجملة لبيان pprintf
pa_fstream.cmo: امتداد بناء الجملة للتدفقات الوظيفية
pa_macro.cmo: أضف وحدات ماكرو (ifdef ، حدد) كما في C.
pa_lefteval.cmo: تقييم المعلمات من اليسار إلى اليمين
pa_pragma.cmo: التوجيه # براغما
طباعة الملفات:
pr_r.cmo: بناء جملة منقح بدون كائنات وتسميات
pr_ro.cmo: بناء الجملة المنقح للكائنات والتسميات
pr_rp.cmo: حاول إعادة بناء بناء جملة التدفقات والموزعين
pr_o.cmo: بناء جملة عادي
pr_op.cmo: حاول إعادة بناء بنية التدفقات والموزعين
pr_scheme.cmo: بناء جملة النظام
pr_schemep.cmo: حاول إعادة بناء صيغة التدفقات والموزعين
pr_extend.cmo: حاول إعادة بناء عبارات EXTEND
pr_extfun.cmo: حاول إعادة بناء عبارات extfun
pr_extprint.cmo: حاول إعادة إنشاء عبارات EXTEND_PRINTER
pr_dump.cmo: تفريغ شجرة بناء الجملة لمترجم ocaml
pr_depend.cmo: تبعيات الملف
pr_null.cmo: لا يوجد إخراج
موسعات الاقتباس:
q_MLast.cmo: عقد شجرة بناء الجملة (في الصيغة المنقحة)
q_ast.cmo: عقد شجرة بناء الجملة في بناء الجملة الكامل للمستخدم
q_phony.cmo: الاحتفاظ بالاقتباسات لطباعة جميلة
الامر com.camlp5o هو اختصار لـ:
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo
الامر comlp5r هو اختصار لـ:
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo
الامر comlp5sch هو اختصار لـ:
camlp5 pa_scheme.cmo pr_dump.cmo
الملف camlp5o.cma يمكن تحميلها في المستوى العلوي لبدء تشغيل camlp5 باستخدام بناء جملة OCaml.
الملف camlp5r.cma يمكن تحميلها في المستوى العلوي لبدء camlp5 بصيغة منقحة.
الملف camlp5sch.cma يمكن تحميلها في المستوى العلوي لبدء camlp5 باستخدام صيغة المخطط.
MKCAMLP5
mkcamlp5 و mkcamlp5.opt يقوم بإنشاء ملفات تنفيذية لـ camlp5 بنفس خيارات ملفات
ocamlmktop. النسخة mkcamlp5.opt يمكنه إنشاء ملفات تنفيذية للكود الأصلي ، بشكل أسرع ولكن لا
توسع.
بالنسبة لـ mkcamlp5 ، يجب إضافة الواجهات التي يجب أن تكون مرئية بشكل صريح في سطر الأوامر كملف
ملفات ".cmi". على سبيل المثال ، كيفية إضافة وحدة OCaml "str":
mkcamlp5 مخصص str.cmi str.cma -cclib -lstr -o camlp5str
البيئة متغير
يتم أيضًا استشارة متغير البيئة التالي:
CAMLP5PARAM
قم بتعيين قواعد قواعد تحليل معلمات الخوارزمية. يجب أن يكون هذا المتغير تسلسل
مواصفات المعلمة. مواصفات المعلمة هي حرف اختياريًا
متبوعًا بـ = وقيمة. هناك أربع معلمات محتملة:
b (تراجع)
تعيين خوارزمية التراجع كافتراضي.
t (أثر)
رموز التتبع (المحطات الطرفية وغير الطرفية) أثناء التحليل مع الرجوع إلى الخلف.
y (تتبع المماطلة)
في التراجع ، تتبع التقدم في تدفق الإدخال (عدد الرموز المميزة غير المجمدة)
والمماطلة المحتملة (عدد الاختبارات المميزة).
l (أقصى حد للمماطلة)
تعيين الحد الأقصى لقيمة المماطلة.
استخدم mkcamlp5 عبر الإنترنت باستخدام خدمات onworks.net
