ocamlopt - Trực tuyến trên đám mây

CHƯƠNG TRÌNH:

TÊN

ocamlopt - Trình biên dịch mã gốc OCaml

SYNOPSIS

tiếng kêu [ lựa chọn ] tên tập tin ...

ocamlopt.opt (các tùy chọn tương tự)

MÔ TẢ

Trình biên dịch mã gốc hiệu suất cao OCaml tiếng kêu(1) biên dịch các tệp nguồn OCaml thành
các tệp đối tượng mã gốc và liên kết các tệp đối tượng này để tạo ra các tệp thực thi độc lập.

tiếng kêu(1) lệnh có giao diện dòng lệnh rất gần với giao diện dòng lệnh ocamlc(1). Nó
chấp nhận các loại đối số giống nhau và xử lý chúng theo tuần tự:

Các đối số kết thúc bằng .mli được coi là tệp nguồn cho các giao diện đơn vị biên dịch.
Các giao diện chỉ định các tên được xuất bởi các đơn vị biên dịch: chúng khai báo các tên giá trị với
kiểu của chúng, xác định kiểu dữ liệu công khai, khai báo kiểu dữ liệu trừu tượng, v.v. Từ
hồ sơ x.mli, tiếng kêu(1) trình biên dịch tạo ra một giao diện được biên dịch trong tệp x.cmi. Các
giao diện được tạo ra giống với giao diện được tạo bởi trình biên dịch bytecode ocamlc(1).

Các đối số kết thúc bằng .ml được coi là tệp nguồn để triển khai đơn vị biên dịch.
Việc triển khai cung cấp các định nghĩa cho các tên được xuất bởi đơn vị và cũng chứa
biểu thức được đánh giá cho các tác dụng phụ của chúng. Từ tệp x.ml, tiếng kêu(1)
trình biên dịch tạo ra hai tệp: x.o, chứa mã đối tượng gốc và x.cmx, chứa
thông tin bổ sung để liên kết và tối ưu hóa các khách hàng của đơn vị. Biên dịch
việc triển khai phải luôn được đề cập đến dưới tên x.cmx (khi được cung cấp tệp .o,
tiếng kêu(1) giả sử rằng nó chứa mã được biên dịch từ C, không phải từ OCaml).

Việc triển khai được kiểm tra dựa trên tệp giao diện x.mli (nếu nó tồn tại) như được mô tả
trong sách hướng dẫn cho ocamlc(1).

Các đối số kết thúc bằng .cmx được coi là mã đối tượng được biên dịch. Các tệp này được liên kết
cùng với các tệp đối tượng thu được bằng cách biên dịch các đối số .ml (nếu có) và
thư viện chuẩn OCaml, để tạo ra một chương trình thực thi mã gốc. Thứ tự trong
mà các đối số .cmx và .ml được trình bày trên dòng lệnh có liên quan: biên dịch
các đơn vị được khởi tạo theo thứ tự đó tại thời điểm chạy và lỗi thời gian liên kết khi sử dụng
thành phần của một đơn vị trước khi khởi tạo nó. Do đó, một xtệp .cmx phải đến
trước tất cả các tệp .cmx tham chiếu đến đơn vị x.

Các đối số kết thúc bằng .cmxa được coi là thư viện của mã đối tượng. Một gói thư viện như vậy
trong hai tập tin lib.cmxa và lib.aa tập hợp các tệp đối tượng (tệp .cmx / .o). Thư viện được xây dựng
với tiếng kêu -a (xem mô tả của -a tùy chọn bên dưới). Các tệp đối tượng chứa
trong thư viện được liên kết dưới dạng tệp .cmx thông thường (xem ở trên), theo thứ tự được chỉ định khi
thư viện đã được xây dựng. Sự khác biệt duy nhất là nếu một tệp đối tượng chứa trong một
thư viện không được tham chiếu ở bất kỳ đâu trong chương trình, sau đó nó không được liên kết trong.

Các đối số kết thúc bằng .c được chuyển đến trình biên dịch C, trình biên dịch này sẽ tạo ra tệp đối tượng .o.
Tệp đối tượng này được liên kết với chương trình.

Các đối số kết thúc bằng .o hoặc .a được giả định là các tệp và thư viện đối tượng C. họ đang
liên kết với chương trình.

Đầu ra của giai đoạn liên kết là một tệp thực thi Unix thông thường. Nó không cần
ocamlrun(1) để chạy.

ocamlopt.opt là cùng một trình biên dịch như tiếng kêu, nhưng được biên dịch với chính nó thay vì với
trình biên dịch bytecode ocamlc(1). Do đó, nó hoạt động giống hệt như tiếng kêu, nhưng biên dịch
nhanh hơn. ocamlopt.opt không có sẵn trong tất cả các cài đặt của OCaml.

LỰA CHỌN

Các tùy chọn dòng lệnh sau được nhận dạng bởi tiếng kêu(1).

-a Xây dựng một thư viện (tệp .cmxa / .a) với các tệp đối tượng (tệp .cmx / .o) được cung cấp trên
dòng lệnh, thay vì liên kết chúng thành một tệp thực thi. Tên của
thư viện phải được thiết lập với -o tùy chọn.

If -cclib or -copt các tùy chọn được chuyển trên dòng lệnh, các tùy chọn này
được lưu trữ trong thư viện .cmxa. Sau đó, liên kết với thư viện này
tự động thêm lại -cclib và -copt các tùy chọn như thể chúng đã được cung cấp
trên dòng lệnh, trừ khi -noautolink tùy chọn được đưa ra. Ngoài ra, một
chuỗi con $ CAMLORIGIN bên trong -copt các tùy chọn sẽ được thay thế bằng đường dẫn đầy đủ đến
thư viện .cma, ngoại trừ tên tệp.

-tên
Hiển thị tên tệp tuyệt đối trong thông báo lỗi.

-chú thích Kết xuất thông tin chi tiết về quá trình biên dịch (loại, liên kết, lệnh gọi đuôi, v.v.).
Thông tin cho tệp src.ml được đưa vào tệp src.annot. Trong trường hợp của một loại
lỗi, kết xuất tất cả thông tin được suy ra bởi trình kiểm tra kiểu trước khi xảy ra lỗi. Các
src.annot tệp có thể được sử dụng với các lệnh emacs được cung cấp trong emacs / caml-styles.el đến
các kiểu hiển thị và các chú thích khác một cách tương tác.

-bin-chú thích
Kết xuất thông tin chi tiết về quá trình biên dịch (các loại, liên kết, lệnh gọi đuôi, v.v.)
ở định dạng nhị phân. Thông tin cho tệp src.ml được đưa vào tệp src.cmt. Trong
trường hợp lỗi kiểu, hãy kết xuất tất cả thông tin được suy ra bởi trình kiểm tra kiểu trước đó
lỗi. Các tệp chú thích do -bin-chú thích chứa nhiều thông tin hơn
và nhỏ gọn hơn nhiều so với các tệp do -chú thích.

-c Chỉ biên dịch. Bỏ qua giai đoạn liên kết của quá trình biên dịch. Các tệp mã nguồn là
được chuyển thành các tệp đã biên dịch, nhưng không có tệp thực thi nào được tạo ra. Tùy chọn này là
hữu ích để biên dịch các mô-đun riêng biệt.

-cc ccomp
Sử dụng ccomp khi trình liên kết C được gọi để xây dựng tệp thực thi cuối cùng và khi C
trình biên dịch để biên dịch các tệp nguồn .c.

-cclib -ltên thư viện
Vượt qua -ltên thư viện tùy chọn cho trình liên kết. Điều này làm cho thư viện C đã cho là
liên kết với chương trình.

-copt tùy chọn
Chuyển tùy chọn đã cho đến trình biên dịch và trình liên kết C. Ví dụ, -copt -Ldir
khiến trình liên kết C tìm kiếm các thư viện C trong thư mục dir.

-gọn nhẹ
Tối ưu hóa mã được tạo cho không gian hơn là cho thời gian. Điều này dẫn đến
nhưng các chương trình hơi chậm hơn. Mặc định là tối ưu hóa tốc độ.

-config
In số phiên bản của tiếng kêu(1) và một bản tóm tắt chi tiết về
cấu hình, sau đó thoát.

-cho-gói đường dẫn mô-đun
Tạo tệp đối tượng (tệp .cmx và .o) mà sau này có thể được đưa vào dưới dạng tệp phụ
mô-đun (với đường dẫn truy cập đã cho) của một đơn vị biên dịch được xây dựng bằng -đóng gói.
Ví dụ, tiếng kêu -cho-gói P -c A.ml sẽ tạo ra các tệp a.cmx và ao
sau này có thể được sử dụng với tiếng kêu -đóng gói -o p.cmx a.cmx.

-g Thêm thông tin gỡ lỗi trong khi biên dịch và liên kết. Tùy chọn này là bắt buộc trong
để tạo ra các dấu vết ngăn xếp khi chương trình kết thúc trên một
ngoại lệ (xem ocamlrun(1)).

-i Nguyên nhân khiến trình biên dịch in tất cả các tên đã xác định (với các kiểu được suy luận của chúng hoặc
định nghĩa) khi biên dịch một triển khai (tệp .ml). Không có tệp đã biên dịch (.cmo
và các tệp .cmi) được tạo ra. Điều này có thể hữu ích để kiểm tra các loại được suy ra bởi
trình biên dịch. Ngoài ra, vì đầu ra tuân theo cú pháp của các giao diện, nó có thể giúp
bằng cách viết một giao diện rõ ràng (tệp .mli) cho một tệp: chỉ cần chuyển hướng tiêu chuẩn
đầu ra của trình biên dịch thành tệp .mli và chỉnh sửa tệp đó để xóa tất cả
khai báo tên chưa khai báo.

-I thư mục
Thêm thư mục đã cho vào danh sách thư mục được tìm kiếm cho giao diện biên dịch
tệp (.cmi), tệp mã đối tượng đã biên dịch (.cmx) và thư viện (.cmxa). Theo mặc định,
thư mục hiện tại được tìm kiếm đầu tiên, sau đó là thư mục thư viện chuẩn.
Các thư mục được thêm với I được tìm kiếm sau thư mục hiện tại, theo thứ tự trong
mà chúng đã được cung cấp trên dòng lệnh, nhưng trước thư viện tiêu chuẩn
danh mục. Xem thêm tùy chọn -nostdlib.

Nếu thư mục nhất định bắt đầu bằng +, nó được coi là liên quan đến thư viện tiêu chuẩn
danh mục. Ví dụ, -I + trình biên dịch-libs thêm thư mục con trình biên dịch-libs of
thư viện chuẩn cho đường dẫn tìm kiếm.

-ngụ ý tên tập tin
Biên dịch tệp tên tập tin dưới dạng tệp triển khai, ngay cả khi phần mở rộng của nó không phải là
.ml.

-nội tuyến n
Đặt mức độ tích cực của nội tuyến thành n, Nơi n là một số nguyên dương. Xác định
-nội tuyến 0 ngăn không cho tất cả các chức năng được nội tuyến, ngoại trừ những chức năng có nội dung
nhỏ hơn trang web cuộc gọi. Do đó, nội tuyến không gây ra kích thước mã mở rộng. Các
tính hiếu chiến mặc định, -nội tuyến 1, cho phép các hàm lớn hơn một chút được nội tuyến,
dẫn đến việc mở rộng kích thước mã một chút. Giá trị cao hơn cho -nội tuyến tùy chọn
khiến các hàm lớn hơn và lớn hơn trở thành ứng cử viên cho nội tuyến, nhưng có thể dẫn đến
trong một sự gia tăng nghiêm trọng về kích thước mã.

-intf tên tập tin
Biên dịch tệp tên tập tin dưới dạng tệp giao diện, ngay cả khi phần mở rộng của nó không phải là .mli.

hậu tố -intf chuỗi
Nhận dạng tên tệp kết thúc bằng chuỗi dưới dạng tệp giao diện (thay vì mặc định
.mli).

-giữ-locs
Giữ các chuỗi tài liệu trong tệp .cmi đã tạo.

-giữ-locs
Giữ các vị trí trong tệp .cmi đã tạo.

-nhãn
Nhãn không bị bỏ qua trong các loại, nhãn có thể được sử dụng trong các ứng dụng và được dán nhãn
các tham số có thể được đưa ra theo bất kỳ thứ tự nào. Đây là mặc định.

-linkall
Buộc liên kết tất cả các mô-đun có trong thư viện. Nếu cờ này không
đã cho, các mô-đun không được tham chiếu không được liên kết trong. Khi xây dựng một thư viện (-a lá cờ),
thiết lập -linkall cờ buộc tất cả các liên kết tiếp theo của các chương trình liên quan đến
thư viện để liên kết tất cả các mô-đun có trong thư viện.

-no-bí danh-deps
Không ghi lại các phụ thuộc cho bí danh mô-đun.

-no-app-chức năng
Hủy kích hoạt hành vi ứng dụng của các chức năng. Với tùy chọn này, mỗi chức năng
ứng dụng tạo ra các kiểu mới trong kết quả của nó và áp dụng cùng một bộ chức năng hai lần
đến cùng một đối số dẫn đến hai cấu trúc không tương thích.

-không khẳng định
Không biên dịch kiểm tra xác nhận. Lưu ý rằng hình thức đặc biệt khẳng định sai luôn luôn là
được biên dịch bởi vì nó được đánh máy đặc biệt. Cờ này không có hiệu lực khi liên kết
các tệp đã được biên dịch.

-noautolink
Khi liên kết các thư viện .cmxa, hãy bỏ qua -cclib và -copt các tùy chọn có khả năng
có trong các thư viện (nếu các tùy chọn này được đưa ra khi xây dựng
thư viện). Điều này có thể hữu ích nếu một thư viện chứa các thông số kỹ thuật không chính xác của C
thư viện hoặc tùy chọn C; trong trường hợp này, trong quá trình liên kết, hãy đặt -noautolink và vượt qua
chính xác thư viện C và các tùy chọn trên dòng lệnh.

-nodynlink
Cho phép trình biên dịch sử dụng một số tối ưu hóa chỉ hợp lệ cho mã
không bao giờ bị hủy liên kết.

-nostdlib
Không tự động thêm thư mục thư viện chuẩn danh sách các thư mục
đã tìm kiếm các tệp giao diện đã biên dịch (.cmi), các tệp mã đối tượng đã biên dịch (.cmx),
và thư viện (.cmxa). Xem thêm tùy chọn -I.

-không nhãn hiệu
Bỏ qua các nhãn không tùy chọn trong các loại. Không thể sử dụng nhãn trong các ứng dụng và
thứ tự tham số trở nên nghiêm ngặt.

-o tập tin thực thi
Chỉ định tên của tệp đầu ra do trình liên kết tạo ra. Tên đầu ra mặc định
là a.out, phù hợp với truyền thống Unix. Nếu -a tùy chọn được đưa ra, chỉ định
tên của thư viện được sản xuất. Nếu -đóng gói tùy chọn được đưa ra, chỉ định tên của
tệp đối tượng đóng gói được tạo ra. Nếu -đầu ra-obj tùy chọn được đưa ra, chỉ định
tên của tệp đầu ra được tạo. Nếu -chia sẻ tùy chọn được đưa ra, chỉ định tên
của tệp plugin được tạo. Điều này cũng có thể được sử dụng khi biên dịch một giao diện hoặc
tệp triển khai, không có liên kết, trong trường hợp đó, nó đặt tên của cmi hoặc
tệp cmo, và cũng đặt tên mô-đun thành tên tệp lên đến dấu chấm đầu tiên.

-mở mô-đun
Mở mô-đun đã cho trước khi xử lý giao diện hoặc tệp triển khai. Nếu như
một số -mở các tùy chọn được đưa ra, chúng được xử lý theo thứ tự, giống như
tuyên bố mở! mô-đun 1;; ... mở ra! mô-đunN ;; đã được thêm vào đầu mỗi tệp.

-đầu ra-obj
Nguyên nhân khiến trình liên kết tạo tệp đối tượng C thay vì tệp thực thi. Đây là
hữu ích để bọc mã OCaml dưới dạng thư viện C, có thể gọi từ bất kỳ chương trình C nào. Tên của
tệp đối tượng đầu ra phải được đặt với -o Lựa chọn. Tùy chọn này cũng có thể
được sử dụng để tạo thư viện động / chia sẻ đã biên dịch (phần mở rộng .so).

-p Tạo thêm mã để viết thông tin hồ sơ khi chương trình được thực thi. Các
thông tin hồ sơ sau đó có thể được kiểm tra bằng chương trình phân tích gprof(1). Các
-p tùy chọn phải được cung cấp cả lúc biên dịch và lúc liên kết. Đối tượng liên kết
các tệp không được biên dịch với -p là có thể, nhưng dẫn đến việc lập hồ sơ kém chính xác hơn.

Xem gprof(1) trang người đàn ông để biết thêm thông tin về các hồ sơ.

Hỗ trợ đầy đủ cho gprof(1) chỉ khả dụng cho một số nền tảng nhất định (hiện tại: Intel
x86 / Linux và Alpha / Digital Unix). Trên các nền tảng khác, -p tùy chọn sẽ kết quả
trong một cấu hình kém chính xác hơn (không có thông tin về biểu đồ cuộc gọi, chỉ có một cấu hình thời gian).

-đóng gói Xây dựng tệp đối tượng (tệp .cmx và .o) và giao diện biên dịch liên quan của nó
(.cmi) kết hợp các tệp đối tượng .cmx được cung cấp trên dòng lệnh, làm cho chúng
xuất hiện dưới dạng mô-đun con của tệp .cmx đầu ra. Tên của tệp .cmx đầu ra
phải được đưa ra với -o Lựa chọn. Ví dụ,
tiếng kêu -đóng gói -o p.cmx A.cmx B.cmx C.cmx tạo các tệp đã biên dịch P.cmx, Po và
P.cmi mô tả một đơn vị biên dịch có ba mô-đun con A, B và C,
tương ứng với nội dung của các tệp đối tượng A.cmx, B.cmx và C.cmx. Này
nội dung có thể được tham chiếu như PA, PB và PC trong phần còn lại của chương trình.

Các tệp đối tượng .cmx đang được kết hợp phải được biên dịch với
-cho-gói Lựa chọn. Trong ví dụ trên, A.cmx, B.cmx và C.cmx phải là
biên dịch với tiếng kêu -cho-gói P.

Nhiều cấp độ đóng gói có thể đạt được bằng cách kết hợp -đóng gói với -cho-gói. Thấy
OCaml người dùng nhãn hiệu, chương "Biên dịch mã bản địa" để biết thêm chi tiết.

-pp lệnh
Nguyên nhân khiến trình biên dịch gọi giá trị đã cho lệnh như một bộ xử lý trước cho mỗi nguồn
tập tin. Đầu ra của lệnh được chuyển hướng đến một tệp trung gian, là
đã biên dịch. Nếu không có lỗi biên dịch, tệp trung gian sẽ bị xóa
sau đó

-ppx lệnh
Sau khi phân tích cú pháp, viết cây cú pháp trừu tượng thông qua bộ tiền xử lý lệnh. Các
mô-đun Ast_mapper(3) triển khai giao diện bên ngoài của bộ tiền xử lý.

-hiệu trưởng
Kiểm tra đường dẫn thông tin trong khi kiểm tra loại, để đảm bảo rằng tất cả các loại
bắt nguồn từ một cách chính yếu. Tất cả các chương trình được chấp nhận trong -hiệu trưởng chế độ cũng
được chấp nhận ở chế độ mặc định với các kiểu tương đương, nhưng chữ ký nhị phân khác nhau.

-các kiểu
Cho phép các kiểu đệ quy tùy ý trong quá trình kiểm tra kiểu. Theo mặc định, chỉ đệ quy
các kiểu mà đệ quy đi qua một kiểu đối tượng được hỗ trợ. Lưu ý rằng một lần
bạn đã tạo giao diện sử dụng cờ này, bạn phải sử dụng lại nó cho tất cả
sự phụ thuộc.

-runtime-biến thể hậu tố
Thêm hậu tố đến tên của thư viện thời gian chạy sẽ được chương trình sử dụng. Nếu như
OCaml đã được định cấu hình với tùy chọn -với-gỡ lỗi-thời gian chạy, sau đó d hậu tố là
được hỗ trợ và cung cấp phiên bản gỡ lỗi của thời gian chạy.

-S Giữ mã lắp ráp được tạo ra trong quá trình biên dịch. Mã lắp ráp cho
tập tin nguồn x.ml được lưu trong tệp x.NS.

-chuỗi an toàn
Thực thi sự tách biệt giữa các loại chuỗi và byte, do đó làm cho các chuỗi được đọc-
chỉ một. Điều này sẽ trở thành mặc định trong phiên bản OCaml trong tương lai.

-chia sẻ
Xây dựng một plugin (thường là .cmxs) có thể được tải động với liên kết
mô-đun. Tên của plugin phải được đặt với -o Lựa chọn. Một plugin có thể bao gồm
một số mô-đun và thư viện OCaml và các đối tượng gốc bổ sung (tệp .o, .a).
Việc xây dựng các plugin gốc chỉ được hỗ trợ cho một số hệ điều hành. Dưới một số
hệ thống (hiện tại, chỉ Linux AMD 64), tất cả mã OCaml được liên kết trong một plugin phải
đã được biên dịch mà không có -nodynlink lá cờ. Một số ràng buộc cũng có thể áp dụng
theo cách các đối tượng gốc bổ sung đã được biên dịch (trong Linux AMD 64, chúng
chỉ được chứa mã độc lập với vị trí).

-short-path
Khi một loại hiển thị trong một số đường dẫn mô-đun, hãy sử dụng đường dẫn ngắn nhất khi
in tên của loại trong các giao diện suy luận và các thông báo lỗi và cảnh báo.

-strict-trình tự
Phần bên trái của dãy phải có đơn vị loại.

-chủ đề
Biên dịch hoặc liên kết các chương trình đa luồng, kết hợp với các luồng hệ thống
thư viện được mô tả trong OCaml người dùng nhãn hiệu.

-không an toàn
Tắt tính năng kiểm tra ràng buộc đối với các quyền truy cập vào mảng và chuỗi ( v. (i)vàs. [i]
cấu trúc). Các chương trình được biên dịch với -không an toàn do đó nhanh hơn, nhưng không an toàn:
bất cứ điều gì có thể xảy ra nếu chương trình truy cập vào một mảng hoặc chuỗi bên ngoài
giới hạn. Ngoài ra, hãy tắt kiểm tra số chia XNUMX trong phép chia số nguyên và
các hoạt động mô đun. Với -không an toàn, một phép chia số nguyên (hoặc môđun) cho XNUMX có thể
tạm dừng chương trình hoặc tiếp tục với một kết quả không xác định thay vì tăng
Chia cho số không ngoại lệ.

-unsafe-chuỗi
Xác định các loại chuỗi và byte, do đó làm cho các chuỗi có thể ghi được. Vì lý do
tương thích ngược, đây là cài đặt mặc định tại thời điểm này, nhưng đây
sẽ thay đổi trong một phiên bản OCaml trong tương lai.

-v In số phiên bản của trình biên dịch và vị trí của thư viện chuẩn
thư mục, sau đó thoát.

-bèo thuyền
In tất cả các lệnh bên ngoài trước khi chúng được thực thi, đặc biệt là các lệnh gọi
trình hợp dịch, trình biên dịch C và trình liên kết.

-phiên bản or -vnum
In số phiên bản của trình biên dịch ở dạng ngắn (ví dụ: "3.11.0"), sau đó thoát.

-w danh sách cảnh báo
Bật, tắt hoặc đánh dấu là nghiêm trọng đối với các cảnh báo được chỉ định bởi đối số
danh sách cảnh báo. Thấy ocamlc(1) cho cú pháp của danh sách cảnh báo.

-có lỗi danh sách cảnh báo
Đánh dấu là nghiêm trọng đối với các cảnh báo được chỉ định trong đối số danh sách cảnh báo. Trình biên dịch
sẽ dừng lại khi có lỗi khi một trong các cảnh báo này được phát ra. Các danh sách cảnh báo
có cùng nghĩa với -w tùy chọn: a + dấu (hoặc một ký tự viết hoa)
các cảnh báo tương ứng là nguy hiểm, a - dấu (hoặc một chữ thường) biến chúng
quay lại cảnh báo không gây tử vong và @ ký cả hai cho phép và đánh dấu là nghiêm trọng
cảnh báo tương ứng.

Lưu ý: không khuyến khích sử dụng -có lỗi tùy chọn trong mã sản xuất,
vì nó gần như chắc chắn sẽ ngăn việc biên dịch chương trình của bạn với các phiên bản sau
của OCaml khi họ thêm các cảnh báo mới hoặc sửa đổi các cảnh báo hiện có.

Cài đặt mặc định là -có lỗi -a (tất cả các cảnh báo đều không gây tử vong).

-mẹ-giúp đỡ
Hiển thị mô tả của tất cả các số cảnh báo có sẵn.

-ở đâu In vị trí của thư viện chuẩn, sau đó thoát.

- hồ sơ Quy trình hồ sơ dưới dạng tên tệp, ngay cả khi nó bắt đầu bằng ký tự gạch ngang (-).

-Cứu giúp or --Cứu giúp
Hiển thị tóm tắt sử dụng ngắn và thoát.

LỰA CHỌN CHO CÁC IA32 KIẾN TRÚC

Trình tạo mã IA32 (Intel Pentium, AMD Athlon) hỗ trợ bổ sung sau
tùy chọn:

-ffast-toán
Sử dụng hướng dẫn IA32 để tính các hàm lượng giác và hàm mũ,
thay vì gọi các thường trình thư viện tương ứng. Các chức năng bị ảnh hưởng là:
Atan, atan2, xe đẩy, đăng nhập, nhật ký10, tội, câu hỏi và tan. Mã kết quả chạy nhanh hơn,
nhưng phạm vi của các đối số được hỗ trợ và độ chính xác của kết quả có thể là
giảm. Đặc biệt, các phép toán lượng giác xe đẩy, tội, tan có phạm vi của họ
giảm xuống [-2 ^ 64, 2 ^ 64].

LỰA CHỌN CHO CÁC AMD64 KIẾN TRÚC

Trình tạo mã AMD64 (phiên bản 64-bit của Intel Pentium và AMD Athlon) hỗ trợ
các tùy chọn bổ sung sau:

-fPIC Tạo mã máy độc lập vị trí. Đây là mặc định.

-fno-PIC
Tạo mã máy phụ thuộc vào vị trí.

LỰA CHỌN CHO CÁC SPARC KIẾN TRÚC

Trình tạo mã Sparc hỗ trợ các tùy chọn bổ sung sau:

-march = v8
Tạo mã SPARC phiên bản 8.

-march = v9
Tạo mã SPARC phiên bản 9.

Mặc định là tạo mã cho SPARC phiên bản 7, chạy trên tất cả các bộ xử lý SPARC.

LỰA CHỌN CHO CÁC ARM KIẾN TRÚC

Trình tạo mã ARM hỗ trợ các tùy chọn bổ sung sau:

-farch=armv4|armv5|armv5te|armv6|armv6t2|armv7
Chọn kiến ​​trúc mục tiêu ARM

-ffpu = soft | vfpv2 | vfpv3-d16 | vfpv3
Chọn phần cứng dấu phẩy động

-fPIC Tạo mã máy độc lập vị trí.

-fno-PIC
Tạo mã máy phụ thuộc vào vị trí. Đây là mặc định.

-ftthumb
Bật tạo mã Thumb / Thumb-2

-fno-ngón tay cái
Tắt tạo mã Thumb / Thumb-2

Các giá trị mặc định cho kiến ​​trúc đích, phần cứng dấu phẩy động và cách sử dụng ngón tay cái là
được chọn tại thời điểm định cấu hình khi xây dựng tiếng kêu chinh no. Cấu hình này có thể
kiểm tra bằng cách sử dụng tiếng kêu -config. Kiến trúc mục tiêu phụ thuộc vào cài đặt "mô hình",
trong khi phần cứng dấu chấm động và hỗ trợ ngón tay cái được xác định từ cài đặt ABI trong
"hệ thống" ( linux_eabiorlinux_eabihf).

Sử dụng ocamlopt trực tuyến bằng các dịch vụ onworks.net