OCAMLOPT(1) General Commands Manual OCAMLOPT(1) (NAME) ocamlopt - OCaml (SYNOPSIS) ocamlopt [] ... ocamlopt.opt [] ... (DESCRIPTION) OCaml ocamlopt(1) OCaml . ocamlopt(1) ocamlc(1) . : o .mli . : . x.mli ocamlopt(1) x.cmi . ocamlc(1) . o .ml . . x.ml ocamlopt(1) : x.o x.cmx . x.cmx ( .o ocamlopt(1) C OCaml). x.mli ( ) ocamlc(1) . o .cmx . .ml ( ) OCaml . .cmx .ml : . x.cmx .cmx x . o .cmxa . ( .cmx/.o) lib.cmxa lib.a . ocamlopt -a ( -a ). .cmx ( ) . . o .c C .o . . o .o .a C . . . ocamlrun(1) . : ocamlopt.byte ( ocamlc(1) ) ocamlopt.opt ( ocamlopt(1) ). ocamlopt.opt OCaml . ocamlopt ocamlopt.opt ocamlopt.byte. ocamlopt(1) : -a ( .cmxa/.a) ( .cmx/.o) . -o . -cclib -ccopt .cmxa . -cclib -ccopt -noautolink . $CAMLORIGIN -ccopt .cma . -absname . -no-absname . -annot OCaml 4.11 . -bin-annot . -bin-annot ( ) . src.ml src.cmt . . -bin-annot -annot . -c . (linking) . . . -cc ccomp ccomp C C .c. -cclib -llibname -llibname . C . -ccopt option C. -ccopt -Ldir C dir C . -color mode ( ). : auto ( tty ANSI) always never . -color "OCAML_COLOR" . auto/always/never . -color "OCAML_COLOR" "NO_COLOR" . auto "TERM" "dumb" isatty(stderr) . -error-style mode . : short contextual "short" . contextual . -error-style "OCAML_ERROR_STYLE" . short/contextual . -compact . . . -config ocamlopt(1) . -config-var -config . . -depend ocamldep-args ocamldep . -for-pack module-path ( .cmx .o) ( ) -pack . ocamlopt -for-pack P -c A.ml a.cmx a.o ocamlopt -pack -o P.cmx a.cmx . -g . (stack backtrace) (: ocamlrun(1)). -no-g (). -i ( ) ( .ml). ( .cmo .cmi) . . ( .mli) : .mli . -i-variance . (private) ( ) . -cmi-file filename ( .mli .cmi ). -I directory (.cmi) (.cmx) (.cmxa). . -I . -nostdlib . + . -I +compiler-libs compiler-libs ..TP -impl filename filename .ml . -inline n (inlining) n n . -inline 0 . . -inline 1 . -inline . -insn-sched (backend) . -intf filename filename (interface) .mli . -intf-suffix string string ( .mli). -keep-docs .cmi . -keep-locs .cmi . -labels . . -linkall . . ( -a) -linkall . ( -c) -linkall . -linscan (linear scan) . . . -match-context-rows (pattern matching) . . . -no-alias-deps . -no-app-funct (applicative) . . -noassert (assertion) . assert false . . -noautolink .cmxa -cclib -ccopt ( ) . C C -noautolink C . -nodynlink (dynlink) . -no-insn-sched (backend) . -nostdlib (.cmi) (.cmx) (.cmxa) . -I . -nolabels . . -o filename ( -c) ( -a) ( -pack) ( -shared) C ( -output-obj -output-complete-obj). a.out camlprog.exe . ( -c) cmi cmx filename . -opaque .mli -opaque . .ml .cmx . -open module . -open open! module1;; ... open! moduleN;; . -output-obj C . OCaml C C . -o . / ( .so) . -output-complete-obj -output-obj (runtime) (autolink) . -pack ( .cmx .o) (.cmi) .cmx .cmx . .cmx -o . ocamlopt -pack -o P.cmx A.cmx B.cmx C.cmx P.cmx P.o P.cmi A B C A.cmx B.cmx C.cmx . P.A P.B P.C . .cmx -for-pack . A.cmx B.cmx C.cmx ocamlopt -for-pack P . -pack -for-pack . The OCaml user's manual "Native-code compilation" ..TP -pp command command . command . . -ppx command (parsing) (AST) command (pipe ). Ast_mapper(3) . -principal (type-checking) (principal) . -principal . -no-principal (principality) . . -rectypes . (object type) . . -no-rectypes . . -runtime-variant suffix suffix (runtime library) . OCaml -with-debug-runtime d . -S . x.ml x.s . -safe-string string bytes . . -safer-matching (pattern-matching) . (exhaustive) . GADT . -save-ir-after pass (IR) (pass) . : scheduling. -set-runtime-default setting=value . : standard_library_default . . -shared ( .cmxs) Dynlink . -o . OCaml ( .o .a) . (native) . ( Linux AMD 64) OCaml -nodynlink . ( Linux AMD 64 PIC ). -short-paths . -stop-after pass . : parsing, typing, scheduling, emit. -strict-sequence (sequence) unit . -no-strict-sequence unit . . -unboxed-types unboxable ( ) unbox [@@ocaml.boxed] . -no-unboxed-types unboxable boxed [@@ocaml.unboxed] . . -unsafe (bound checking) ( v.(i) s.[i]) . -unsafe : . . -unsafe ( ) Division_by_zero . -unsafe-string string bytes . . -v . -verbose C (linker). -version -vnum ( "3.11.0") . -w warning-list warning-list (fatal) . ocamlc(1) . -warn-error warning-list warning-list (fatal) . . warning-list -w : + ( ) - ( ) @ . : -warn-error (production) OCaml . -warn-error -a ( ). -warn-help ..TP -where . -with-runtime . . -without-runtime ( ) . - file file (-) . -help --help . FLAMBDA (OPTIONS FOR THE FLAMBDA MIDDLE-END) Flambda : -O2 . . -O3 (unrolling) . . -Oclassic (inlining) () . OCaml Flambda . Flambda ( -O2) .cmx . -inlining-report .inlining ( ) (inliner) . AMD64 (OPTIONS FOR THE AMD64 ARCHITECTURE) AMD64 ( Intel Pentium AMD Athlon) : -fPIC (position-independent). . -fno-PIC (position-dependent). (SEE ALSO) ocamlc(1). The OCaml user's manual, <>. OCAMLOPT(1)