ocamlopt - عبر الإنترنت في السحابة

برنامج:

اسم

ocamlopt - مترجم الكود الأصلي OCaml

موجز

أوكاملوبت [ الخيارات ] اسم الملف

ocamlopt.opt (نفس الخيارات)

الوصف

مترجم الكود الأصلي OCaml عالي الأداء أوكاملوبت(1) يجمع ملفات مصدر OCaml إلى
ملفات كائن التعليمات البرمجية الأصلية وربط ملفات الكائنات هذه لإنتاج ملفات تنفيذية مستقلة.

ال أوكاملوبت(1) يحتوي الأمر على واجهة سطر أوامر قريبة جدًا من واجهة أوكاملك(1). هو - هي
يقبل نفس أنواع الحجج ويعالجها بالتسلسل:

تعتبر الوسائط التي تنتهي بـ .mli ملفات مصدر لواجهات وحدة الترجمة.
تحدد الواجهات الأسماء المصدرة بواسطة وحدات الترجمة: تعلن أسماء القيم باستخدام
أنواعها ، وتحديد أنواع البيانات العامة ، والإعلان عن أنواع البيانات المجردة ، وما إلى ذلك. من
ملف x.mli و أوكاملوبت(1) ينتج المترجم واجهة مجمعة في الملف x.cmi. ال
الواجهة المنتجة مطابقة لتلك التي ينتجها مترجم البايت كود أوكاملك(1).

تعتبر الوسائط التي تنتهي بـ .ml ملفات مصدر لعمليات تنفيذ وحدة الترجمة.
توفر التطبيقات تعريفات للأسماء التي تم تصديرها بواسطة الوحدة ، وتحتوي أيضًا على
التعبيرات لتقييم آثارها الجانبية. من الملف x.ml ، و أوكاملوبت(1)
ينتج المترجم ملفين: x.o ، التي تحتوي على رمز كائن أصلي ، و xcmx ، تحتوي على
معلومات إضافية لربط وتحسين عملاء الوحدة. المترجمة
يجب دائمًا الإشارة إلى التنفيذ تحت الاسم xcmx (عند إعطائك ملف .o ،
أوكاملوبت(1) يفترض أنه يحتوي على رمز تم تجميعه من C ، وليس من OCaml).

يتم فحص التنفيذ مقابل ملف الواجهة x.mli (إن وجد) كما هو موصوف
في دليل أوكاملك(1).

تعتبر الوسائط التي تنتهي بـ .cmx بمثابة رمز كائن مجمع. هذه الملفات مرتبطة
معًا ، جنبًا إلى جنب مع ملفات الكائنات التي تم الحصول عليها عن طريق تجميع وسيطات .ml (إن وجدت) ، و
مكتبة OCaml القياسية ، لإنتاج برنامج قابل للتنفيذ برمز أصلي. الترتيب في
وهي الوسيطات cmx و .ml التي يتم تقديمها في سطر الأوامر ذات الصلة: التحويل البرمجي
تتم تهيئة الوحدات بهذا الترتيب في وقت التشغيل ، ويعتبر استخدام ملف
مكون من وحدة قبل تهيئتها. ومن ثم ، فإن xيجب أن يأتي ملف .cmx
قبل كل ملفات .cmx التي تشير إلى الوحدة x.

تعتبر الوسيطات التي تنتهي بـ cmxa مكتبات من التعليمات البرمجية الهدف. حزم مكتبة كهذه
في ملفين ليبcmxa و ليبمجموعة من ملفات الكائنات (ملفات .cmx / .o). المكتبات تبنى
مع أوكاملوبت -a (انظر وصف -a الخيار أدناه). تحتوي ملفات الكائن
في المكتبة كملفات عادية .cmx (انظر أعلاه) ، بالترتيب المحدد عندما
تم بناء المكتبة. الاختلاف الوحيد هو أنه إذا كان ملف الكائن موجودًا في ملف
مكتبة لا يشار إليها في أي مكان في البرنامج ، ثم لم يتم ربطها بـ.

يتم تمرير الوسائط التي تنتهي بـ .c إلى مترجم C ، والذي يقوم بإنشاء ملف كائن .o.
ملف الكائن هذا مرتبط بالبرنامج.

من المفترض أن تكون الوسائط التي تنتهي بـ .o أو .a هي مكتبات وملفات كائن C. هم
مرتبط بالبرنامج.

ناتج مرحلة الربط عبارة عن ملف عادي قابل للتنفيذ لنظام التشغيل Unix. لا تحتاج
أوكاملرون(1) للتشغيل.

ocamlopt.opt هو نفس المترجم مثل أوكاملوبت، ولكن يتم تجميعها مع نفسها بدلاً من مع
المترجم بايت كود أوكاملك(1). وبالتالي ، يتصرف مثل بالضبط أوكاملوبت، ولكن يجمع
بسرعة. ocamlopt.opt غير متوفر في جميع منشآت OCaml.

OPTIONS

يتم التعرف على خيارات سطر الأوامر التالية بواسطة أوكاملوبت(1).

-a أنشئ مكتبة (ملف .cmxa / .a) بملفات الكائنات (ملفات .cmx / .o) الواردة في
سطر الأوامر ، بدلاً من ربطها بملف قابل للتنفيذ. اسم ال
يجب تعيين المكتبة بامتداد -o الخيار.

If -cclib or -ccopt يتم تمرير الخيارات في سطر الأوامر ، وهذه الخيارات هي
المخزنة في مكتبة .cmxa الناتجة. ثم ربط هذه المكتبة
يضيف تلقائيا مرة أخرى -cclib و -ccopt الخيارات كما لو تم توفيرها
في سطر الأوامر ، ما لم يكن -نووتولينك يتم إعطاء الخيار. بالإضافة إلى ذلك ، أ
سلسلة فرعية $ كاملوريجين داخل -ccopt سيتم استبدال الخيارات بالمسار الكامل إلى
مكتبة .cma ، باستثناء اسم الملف.

-absname
إظهار أسماء الملفات المطلقة في رسائل الخطأ.

-لا تفريغ المعلومات التفصيلية حول التجميع (أنواع ، روابط ، استدعاءات الذيل ، إلخ).
معلومات الملف SRCيتم وضع .ml في ملف SRC.annot. في حالة من النوع
خطأ ، قم بتفريغ جميع المعلومات التي استنتجها مدقق النوع قبل الخطأ. ال
SRCلا يمكن استخدام ملف مع أوامر emacs الواردة بتنسيق emacs / caml-types.el إلى
أنواع العرض والتعليقات التوضيحية الأخرى بشكل تفاعلي.

-بين-توضيحي
تفريغ المعلومات التفصيلية حول التجميع (الأنواع ، الارتباطات ، مكالمات الذيل ، إلخ)
في شكل ثنائي. معلومات الملف SRCيتم وضع .ml في ملف SRC.cmt. في
في حالة وجود خطأ في النوع ، قم بتفريغ جميع المعلومات التي استنتجها مدقق النوع من قبل
الخطأ. ملفات التعليقات التوضيحية التي تم إنتاجها بواسطة -بين-توضيحي تحتوي على مزيد من المعلومات
وتكون أكثر إحكاما من الملفات التي ينتجها -لا.

-c تجميع فقط. قم بإلغاء مرحلة الربط الخاصة بالتجميع. ملفات التعليمات البرمجية المصدر هي
تحولت إلى ملفات مجمعة ، ولكن لم يتم إنتاج أي ملف قابل للتنفيذ. هذا الخيار هو
مفيد لتجميع الوحدات بشكل منفصل.

-نسخة com.ccomp
استعمل com.ccomp كما دعا رابط C لبناء الملف القابل للتنفيذ النهائي وكما دعا C
مترجم لتجميع الملفات المصدر.

-cclib -lليبنام
مرر ال -lليبنام الخيار للرابط. هذا يتسبب في أن تكون مكتبة C المعطاة
مرتبط بالبرنامج.

-ccopt خيار
قم بتمرير الخيار المحدد إلى مترجم C و linker. على سبيل المثال، -ccopt -Lدير
يتسبب رابط C في البحث عن مكتبات C في الدليل دير.

-المدمج
قم بتحسين الشفرة المنتجة للمساحة بدلاً من الوقت. ينتج عن هذا أصغر
لكن البرامج أبطأ قليلاً. الافتراضي هو تحسين السرعة.

- التكوين
اطبع رقم إصدار أوكاملوبت(1) وملخص مفصل لها
التكوين ، ثم الخروج.

-لحزمة مسار الوحدة
قم بإنشاء ملف كائن (ملفات .cmx و. o) يمكن تضمينه لاحقًا كملف فرعي-
وحدة (مع مسار الوصول المحدد) لوحدة تجميع مبنية باستخدام -رزمة.
على سبيل المثال، أوكاملوبت -لحزمة P -c م سيؤدي ذلك إلى إنشاء ملفات a.cmx و ao التي
يمكن استخدامها لاحقًا مع أوكاملوبت -رزمة -o P.cmx أ. cmx.

-g أضف معلومات تصحيح الأخطاء أثناء التجميع والربط. هذا الخيار مطلوب في
من أجل إنتاج المكدس backtraces عندما ينتهي البرنامج عند عدم الاكتشاف
استثناء (انظر أوكاملرون(1)).

-i جعل المترجم يطبع جميع الأسماء المعرفة (بأنواعها المستنبطة أو أنواعها
التعريفات) عند تجميع تنفيذ (ملف .ml). لا توجد ملفات مجمعة (.cmo
وملفات .cmi). يمكن أن يكون هذا مفيدًا للتحقق من الأنواع التي يتم استنتاجها بواسطة
المترجم. أيضًا ، نظرًا لأن الإخراج يتبع بناء جملة الواجهات ، فيمكن أن يساعد
في كتابة واجهة صريحة (ملف .mli) لملف: فقط أعد توجيه المعيار
إخراج المترجم إلى ملف .mli ، وتحرير هذا الملف لإزالة جميع ملفات
التصريحات بالأسماء غير المصدرة.

-I دليل
أضف الدليل المحدد إلى قائمة الدلائل التي تم البحث عنها للواجهة المترجمة
الملفات (.cmi) وملفات التعليمات البرمجية للكائنات المترجمة (.cmx) والمكتبات (.cmxa). بشكل افتراضي،
يتم البحث في الدليل الحالي أولاً ، ثم دليل المكتبة القياسي.
الدلائل المضافة بـ -I يتم البحث عنها بعد الدليل الحالي ، بالترتيب في
التي تم إعطاؤها في سطر الأوامر ، ولكن قبل المكتبة القياسية
الدليل. انظر أيضا الخيار -نوستدليب.

إذا كان الدليل المحدد يبدأ بـ +، يتم أخذها بالنسبة للمكتبة القياسية
الدليل. على سبيل المثال، -I + مترجم ليبس يضيف الدليل الفرعي مترجم ليبس of
المكتبة القياسية لمسار البحث.

-impl اسم الملف
قم بتجميع الملف اسم الملف كملف تنفيذ ، حتى لو لم يكن امتداده
.ml.

-في النسق n
اضبط عدوانية التضمين لـ n، حيث n هو عدد صحيح موجب. التحديد
-في النسق 0 يمنع تضمين جميع الوظائف ، باستثناء تلك التي يكون جسمها
أصغر من موقع الاتصال. وبالتالي ، لا يتسبب التضمين في أي توسع في حجم الشفرة. ال
العدوانية الافتراضية ، -في النسق 1، يسمح بتضمين وظائف أكبر قليلاً ،
مما أدى إلى توسيع طفيف في حجم الشفرة. قيم أعلى لـ -في النسق خيار
تسبب وظائف أكبر وأكبر لتصبح مرشحة للتضمين ، ولكن يمكن أن ينتج عنها
في زيادة كبيرة في حجم الشفرة.

-intf اسم الملف
قم بتجميع الملف اسم الملف كملف واجهة ، حتى لو لم يكن امتداده .mli.

-intf- لاحقة سلسلة
التعرف على أسماء الملفات التي تنتهي بـ سلسلة كملفات واجهة (بدلاً من الافتراضي
.ملي).

-الحفاظ- locs
احتفظ بسلاسل الوثائق في ملفات .cmi التي تم إنشاؤها.

-الحفاظ- locs
احتفظ بالمواقع في ملفات .cmi التي تم إنشاؤها.

-ملصقات
لا يتم تجاهل الملصقات في الأنواع ، ويمكن استخدام الملصقات في التطبيقات ، ووضع العلامات عليها
يمكن إعطاء المعلمات بأي ترتيب. هذا هو الافتراضي.

-ينكل
إجبار جميع الوحدات النمطية الموجودة في المكتبات على الارتباط بها. إذا لم يتم ربط هذه العلامة
لا يتم ربط الوحدات النمطية غير المشار إليها. عند إنشاء مكتبة (-a علَم)،
وضع -ينكل يفرض العلم جميع الروابط اللاحقة للبرامج التي تتضمن ذلك
مكتبة لربط جميع الوحدات الموجودة في المكتبة.

-لا-اسم مستعار- deps
لا تسجل التبعيات للأسماء المستعارة للوحدة النمطية.

-لا-التطبيق- funct
يبطل السلوك التطبيقي للمنفذين. مع هذا الخيار ، كل ممارس
يولد التطبيق أنواعًا جديدة في نتائجه ويطبق نفس المميزات مرتين
لنفس الحجة ينتج عنها بنائين غير متوافقين.

-نواصرت
لا تقم بترجمة عمليات التحقق من التأكيد. لاحظ أن النموذج الخاص يجزم زائف دائما
تم تجميعه لأنه كتب بشكل خاص. هذا العلم ليس له أي تأثير عند الربط
الملفات المترجمة بالفعل.

-نووتولينك
عند ربط مكتبات .cmxa ، تجاهل -cclib و -ccopt خيارات محتملة
الموجودة في المكتبات (إذا تم تقديم هذه الخيارات عند إنشاء ملف
المكتبات). يمكن أن يكون هذا مفيدًا إذا كانت المكتبة تحتوي على مواصفات غير صحيحة لـ C
المكتبات أو خيارات C ؛ في هذه الحالة ، أثناء الربط ، مجموعة -نووتولينك وتمرير
تصحيح مكتبات C وخياراتها في سطر الأوامر.

-Nodynlink
اسمح للمترجم باستخدام بعض التحسينات الصالحة فقط للتعليمات البرمجية
ابدا دينلينك.

-نوستدليب
لا تقم تلقائيًا بإضافة دليل المكتبة القياسي إلى قائمة الدلائل
البحث عن ملفات الواجهة المترجمة (.cmi) ، ملفات التعليمات البرمجية للكائنات المجمعة (.cmx) ،
والمكتبات (.cmxa). انظر أيضا الخيار -I.

-نولابيلس
تجاهل التسميات غير الاختيارية في الأنواع. لا يمكن استخدام الملصقات في التطبيقات ، و
يصبح ترتيب المعلمة صارمًا.

-o ملف exec
حدد اسم ملف الإخراج الذي تم إنتاجه بواسطة الرابط. اسم الإخراج الافتراضي
هو خارج ، تمشيا مع تقليد يونكس. إذا كان -a يتم إعطاء الخيار وتحديد
أنتجت اسم المكتبة. إذا كان -رزمة يتم إعطاء الخيار ، حدد اسم
تم إنتاج ملف الكائن الذي تم حزمه. إذا كان -المخرجات- obj يتم إعطاء الخيار ، حدد
تم إنتاج اسم ملف الإخراج. إذا كان -مشاركة يتم إعطاء الخيار ، حدد الاسم
من ملف البرنامج المساعد تم إنتاجه. يمكن استخدام هذا أيضًا عند تجميع واجهة أو
ملف التنفيذ ، بدون ربط ، وفي هذه الحالة يقوم بتعيين اسم cmi أو
cmo ، ويقوم أيضًا بتعيين اسم الوحدة النمطية لاسم الملف حتى النقطة الأولى.

-افتح وحدة
يفتح الوحدة النمطية المحددة قبل معالجة الواجهة أو ملفات التنفيذ. لو
عدة -افتح يتم تقديم الخيارات ، تتم معالجتها بالترتيب ، تمامًا كما لو كان ملف
عبارات مفتوحة! وحدة 1؛؛ ... يفتح! وحدة N ؛؛ تمت إضافتها في أعلى كل ملف.

-المخرجات- obj
تسبب في الرابط لإنتاج ملف كائن C بدلاً من ملف قابل للتنفيذ. هذا هو
مفيد في التفاف كود OCaml كمكتبة C ، يمكن الاستدعاء من أي برنامج C. اسم ال
يجب تعيين ملف الكائن الناتج بامتداد -o خيار. يمكن أن يكون هذا الخيار أيضًا
تستخدم لإنتاج مكتبة مشتركة / ديناميكية مترجمة (امتداد .so).

-p قم بإنشاء رمز إضافي لكتابة معلومات الملف الشخصي عند تنفيذ البرنامج. ال
يمكن بعد ذلك فحص معلومات الملف الشخصي باستخدام برنامج التحليل GPROF(1). ال
-p يجب إعطاء الخيار في وقت الترجمة ووقت الارتباط. ربط الكائن
الملفات التي لم يتم تجميعها بامتداد -p ممكن ، ولكن ينتج عنه تحديد أقل دقة.

شاهد GPROF(1) صفحة دليل لمزيد من المعلومات حول الملفات الشخصية.

الدعم الكامل ل GPROF(1) متاح فقط لأنظمة أساسية معينة (حاليًا: Intel
x86 / Linux و Alpha / Digital Unix). على منصات أخرى ، فإن -p الخيار سينتج
في ملف تعريف أقل دقة (لا توجد معلومات مخطط استدعاء ، فقط ملف تعريف زمني).

-رزمة إنشاء ملف كائن (ملفات .cmx و. o) والواجهة المترجمة المرتبطة به
(.cmi) الذي يجمع ملفات كائن .cmx الواردة في سطر الأوامر ، مما يجعلها
تظهر كوحدات نمطية فرعية لملف الإخراج .cmx. اسم ملف الإخراج .cmx
يجب أن تعطى مع -o خيار. على سبيل المثال،
أوكاملوبت -رزمة -o P.cmx أ. cmx ب. cmx جيم سمكس ينشئ ملفات مجمعة P.cmx و Po و
يصف P.cmi وحدة تجميع بها ثلاث وحدات فرعية A و B و C ،
المطابق لمحتويات ملفات الكائن A.cmx و B.cmx و C.cmx. هؤلاء
يمكن الإشارة إلى المحتويات كـ PA و PB و PC في باقي البرنامج.

يجب أن تكون ملفات الكائنات .cmx التي يتم دمجها قد تم تصنيفها باستخدام ملف
-لحزمة خيار. في المثال أعلاه ، يجب أن يكون A.cmx و B.cmx و C.cmx كذلك
جمعت مع أوكاملوبت -لحزمة P.

يمكن تحقيق مستويات متعددة من التعبئة من خلال الجمع -رزمة مع -لحزمة. شاهد
ال لغة كامل الموضوعية المستخدم كتيب، الفصل "Native-code compilation" لمزيد من التفاصيل.

-ص أمر
جعل المترجم يستدعي المعطى أمر كمعالج لكل مصدر
ملف. ناتج أمر يتم إعادة توجيهه إلى ملف وسيط ، وهو
تجميع وانتاج. إذا لم تكن هناك أخطاء في التحويل البرمجي ، فسيتم حذف الملف الوسيط
بعد ذلك.

-ppx أمر
بعد التحليل ، قم بتمرير شجرة التركيب المجردة من خلال المعالج المسبق أمر.
وحدة Ast_mapper(3) تنفذ الواجهة الخارجية للمعالج المسبق.

-المالك
تحقق من مسار المعلومات أثناء فحص النوع ، للتأكد من أن جميع الأنواع كذلك
مشتق بطريقة رئيسية. جميع البرامج مقبولة في -المالك الوضع أيضا
مقبولة في الوضع الافتراضي مع أنواع مكافئة ، لكن توقيعات ثنائية مختلفة.

-صحيح
السماح بالأنواع العودية التعسفية أثناء فحص النوع. بشكل افتراضي ، متكرر فقط
يتم دعم الأنواع التي يمر بها العودية من خلال نوع كائن. لاحظ ذلك مرة واحدة
لقد قمت بإنشاء واجهة باستخدام هذه العلامة ، يجب عليك استخدامها مرة أخرى للجميع
التبعيات.

متغير وقت التشغيل لاحقة
إضافة لاحقة إلى اسم مكتبة وقت التشغيل التي سيستخدمها البرنامج. لو
تم تكوين OCaml مع خيار -مع-تصحيح-وقت التشغيل، ثم d اللاحقة هي
مدعوم ويعطي نسخة تصحيح من وقت التشغيل.

-S احتفظ برمز التجميع الذي تم إنتاجه أثناء التجميع. رمز التجميع الخاص بـ
ملف المصدر x.ml يتم حفظه في الملف x.س.

-السلسلة الآمنة
فرض الفصل بين الأنواع سلسلة و بايت، وبالتالي جعل السلاسل تقرأ-
فقط. سيصبح هذا هو الإعداد الافتراضي في إصدار مستقبلي من OCaml.

-مشاركة
أنشئ مكونًا إضافيًا (عادةً .cmxs) يمكن تحميله ديناميكيًا بامتداد دينلينك
وحدة. يجب تعيين اسم المكون الإضافي بامتداد -o خيار. يمكن أن يتضمن البرنامج المساعد
عدد من وحدات المكتبات والوحدات النمطية لـ OCaml ، وكائنات أصلية إضافية (ملفات .o ، .a).
بناء الإضافات الأصلية مدعوم فقط لبعض أنظمة التشغيل. تحت البعض
الأنظمة (حاليًا ، Linux AMD 64 فقط) ، يجب أن يكون كل كود OCaml المرتبط في البرنامج المساعد
تم تجميعها بدون -Nodynlink علَم. قد يتم تطبيق بعض القيود أيضًا
بالطريقة التي تم بها تجميع الكائنات الأصلية الإضافية (في نظام Linux AMD 64 ، فهي
يجب أن يحتوي فقط على رمز مستقل عن الموضع).

- مسارات قصيرة
عندما يكون نوع ما مرئيًا تحت عدة مسارات للوحدة النمطية ، استخدم أقصرها عندما
طباعة اسم النوع في الواجهات المستنبطة ورسائل الخطأ والتحذير.

-تسلسل صارم
يجب أن يحتوي الجزء الأيسر من التسلسل على وحدة كتابة.

-خيط
تجميع أو ربط البرامج متعددة مؤشرات الترابط ، في تركيبة مع مؤشرات ترابط النظام
مكتبة الموصوفة في ال لغة كامل الموضوعية المستخدم كتيب.

-غير آمن
قم بإيقاف تشغيل التحقق المنضم لوصول المصفوفة والسلسلة (ملف السادس)وs. [i]
يبني). البرامج المترجمة -غير آمن لذلك فهي أسرع ولكنها غير آمنة:
يمكن أن يحدث أي شيء إذا وصل البرنامج إلى مصفوفة أو سلسلة خارج نطاقه
الحدود. بالإضافة إلى ذلك ، قم بإيقاف تشغيل التحقق من وجود القاسم الصفري في القسمة الصحيحة و
عمليات المعامل. مع -غير آمن، يمكن قسمة عدد صحيح (أو معامل) على الصفر
أوقف البرنامج أو استمر بنتيجة غير محددة بدلاً من رفع ملف
القسمة على صفر استثناء.

-سلسلة غير آمنة
حدد الأنواع سلسلة و بايت، مما يجعل السلاسل قابلة للكتابة. لأسباب
التوافق مع الإصدارات السابقة ، هذا هو الإعداد الافتراضي في الوقت الحالي ، ولكن هذا
سيتغير في إصدار مستقبلي من OCaml.

-v اطبع رقم إصدار المترجم وموقع المكتبة القياسية
الدليل ، ثم الخروج.

-إفراط
اطبع جميع الأوامر الخارجية قبل تنفيذها ، ولا سيما استدعاءات
المجمع ، مترجم C ، والرابط.

-الإصدار or -vnum
اطبع رقم إصدار المترجم بشكل مختصر (مثل "3.11.0") ، ثم قم بإنهاء.

-w قائمة التحذير
قم بتمكين التحذيرات المحددة بواسطة الوسيطة أو تعطيلها أو وضع علامة عليها على أنها فادحة
قائمة التحذير. شاهد أوكاملك(1) لبناء جملة قائمة التحذير.

-خطأ تحذير قائمة التحذير
وضع علامة قاتلة على التحذيرات المحددة في الحجة قائمة التحذير. المترجم
ستتوقف مع ظهور خطأ عند إصدار أحد هذه التحذيرات. ال قائمة التحذير
له نفس المعنى بالنسبة لـ -w الخيار: أ + علامة (أو حرف كبير)
التحذيرات المقابلة على أنها قاتلة ، أ - علامة (أو حرف صغير) تحولهم
العودة إلى التحذيرات غير القاتلة ، و أ @ علامة على حد سواء تمكن وعلامات على أنها قاتلة
التحذيرات المقابلة.

ملاحظة: لا يوصى باستخدام ملف -خطأ تحذير خيار في كود الإنتاج ،
لأنه من شبه المؤكد أنه سيمنع تجميع البرنامج مع الإصدارات الأحدث
OCaml عند إضافة تحذيرات جديدة أو تعديل التحذيرات الحالية.

الإعداد الافتراضي هو -خطأ تحذير -a (جميع التحذيرات غير قاتلة).

-حذر- المساعدة
اعرض وصف جميع أرقام التحذير المتاحة.

-أين اطبع موقع المكتبة القياسية ، ثم اخرج.

- ملف طريقة عملنا ملف كاسم ملف ، حتى لو بدأ بحرف شرطة (-).

-مساعدة or --مساعدة
عرض ملخص قصير عن الاستخدام والخروج.

OPTIONS لأي ال IA32 عمــــارة و تصميــــم

يدعم منشئ كود IA32 (Intel Pentium ، AMD Athlon) الإضافات التالية
الخيار:

-فاست-الرياضيات
استخدم تعليمات IA32 لحساب الدوال المثلثية والأسية ،
بدلاً من استدعاء إجراءات المكتبة المقابلة. الوظائف المتأثرة هي:
ATAN, أتان2, كوس, سجل, log10, بدون, الجذر التربيعي و أسمر. يعمل الكود الناتج بشكل أسرع ،
ولكن يمكن أن يكون نطاق الحجج المدعومة ودقة النتيجة
مخفض. على وجه الخصوص ، العمليات المثلثية كوس, بدون, أسمر لها مداها
تم تقليله إلى [-2 ^ 64 ، 2 ^ 64].

OPTIONS لأي ال AMD64 عمــــارة و تصميــــم

يدعم مولد كود AMD64 (إصدارات 64 بت من Intel Pentium و AMD Athlon)
الخيارات الإضافية التالية:

-fPIC إنشاء رمز آلة مستقل عن الموضع. هذا هو الافتراضي.

-fno- الموافقة المسبقة عن علم
إنشاء رمز آلة يعتمد على الموضع.

OPTIONS لأي ال SPARC عمــــارة و تصميــــم

يدعم منشئ كود Sparc الخيارات الإضافية التالية:

- مسيرة = v8
قم بإنشاء كود الإصدار 8 من SPARC.

- مسيرة = v9
قم بإنشاء كود الإصدار 9 من SPARC.

الإعداد الافتراضي هو إنشاء رمز لـ SPARC الإصدار 7 ، والذي يعمل على جميع معالجات SPARC.

OPTIONS لأي ال ARM عمــــارة و تصميــــم

يدعم منشئ كود ARM الخيارات الإضافية التالية:

-farch=armv4|armv5|armv5te|armv6|armv6t2|armv7
حدد بنية الهدف ARM

-ffpu = soft | vfpv2 | vfpv3-d16 | vfpv3
حدد أجهزة النقطة العائمة

-fPIC إنشاء رمز آلة مستقل عن الموضع.

-fno- الموافقة المسبقة عن علم
إنشاء رمز آلة يعتمد على الموضع. هذا هو الافتراضي.

الإبهام
قم بتمكين إنشاء رمز Thumb / Thumb-2

- بصمة الإبهام
تعطيل إنشاء رمز الإبهام / الإبهام 2

القيم الافتراضية للبنية الهدف ، وأجهزة الفاصلة العائمة واستخدام الإبهام كانت
تم تحديده في وقت التكوين عند البناء أوكاملوبت بحد ذاتها. يمكن أن يكون هذا التكوين
فحصها باستخدام أوكاملوبت - التكوين. تعتمد بنية الهدف على إعداد "النموذج" ،
بينما يتم تحديد أجهزة النقطة العائمة ودعم الإبهام من إعداد ABI في
"نظام" ( لينكس ابيorlinux_eabihf).

استخدم ocamlopt عبر الإنترنت باستخدام خدمات onworks.net