4.04.0

Usage: ocamlc <options> <files> Options are: -a Build a library -absname Show absolute filenames in error messages -annot Save information in <filename>.annot -bin-annot Save typedtree in <filename>.cmt -c Compile only (do not link) -cc <command> Use <command> as the C compiler and linker -cclib <opt> Pass option <opt> to the C linker -ccopt <opt> Pass option <opt> to the C compiler and linker -color {auto|always|never} Enable or disable colors in compiler messages The following settings are supported: auto use heuristics to enable colors only if supported always enable colors never disable colors The default setting is 'auto', and the current heuristic checks that the TERM environment variable exists and is not empty or "dumb", and that isatty(stderr) holds. -compat-32 Check that generated bytecode can run on 32-bit platforms -config Print configuration values and exit -custom Link in custom mode -dllib <lib> Use the dynamically-loaded library <lib> -dllpath <dir> Add <dir> to the run-time search path for shared libraries -dtypes (deprecated) same as -annot -for-pack <ident> Generate code that can later be `packed' with ocamlc -pack -o <ident>.cmo -g Save debugging information -i Print inferred interface -I <dir> Add <dir> to the list of include directories -impl <file> Compile <file> as a .ml file -intf <file> Compile <file> as a .mli file -intf-suffix <string> Suffix for interface files (default: .mli) -intf_suffix <string> (deprecated) same as -intf-suffix -keep-docs Keep documentation strings in .cmi files -no-keep-docs Do not keep documentation strings in .cmi files (default) -keep-locs Keep locations in .cmi files -no-keep-locs Do not keep locations in .cmi files (default) -labels Use commuting label mode -linkall Link all modules, even unused ones -make-runtime Build a runtime system with given C objects and libraries -make_runtime (deprecated) same as -make-runtime -modern (deprecated) same as -labels -alias-deps Do record dependencies for module aliases -no-alias-deps Do not record dependencies for module aliases -app-funct Activate applicative functors -no-app-funct Deactivate applicative functors -no-check-prims Do not check runtime for primitives -noassert Do not compile assertion checks -noautolink Do not automatically link C libraries specified in .cma files -nolabels Ignore non-optional labels in types -nostdlib Do not add default directory to the list of include directories -o <file> Set output file name to <file> -opaque Does not generate cross-module optimization information (reduces necessary recompilation on module change) -open <module> Opens the module <module> before typing -output-obj Output an object file instead of an executable -output-complete-obj Output an object file, including runtime, instead of an executable -pack Package the given .cmo files into one .cmo -pp <command> Pipe sources through preprocessor <command> -ppx <command> Pipe abstract syntax trees through preprocessor <command> -plugin <plugin> Load dynamic plugin <plugin> -principal Check principality of type inference -no-principal Do not check principality of type inference (default) -rectypes Allow arbitrary recursive types -no-rectypes Do not allow arbitrary recursive types (default) -runtime-variant <str> Use the <str> variant of the run-time system -safe-string Make strings immutable -short-paths Shorten paths in types -strict-sequence Left-hand part of a sequence must have type unit -no-strict-sequence Left-hand part of a sequence need not have type unit (default) -strict-formats Reject invalid formats accepted by legacy implementations (Warning: Invalid formats may behave differently from previous OCaml versions, and will become always-rejected in future OCaml versions. You should always use this flag to detect invalid formats so you can fix them.) -no-strict-formats Accept invalid formats accepted by legacy implementations (default) (Warning: Invalid formats may behave differently from previous OCaml versions, and will become always-rejected in future OCaml versions. You should never use this flag and instead fix invalid formats.) -thread Generate code that supports the system threads library -unboxed-types unannotated unboxable types will be unboxed -no-unboxed-types unannotated unboxable types will not be unboxed (default) -unsafe Do not compile bounds checking on array and string access -unsafe-string Make strings mutable (default) -use-runtime <file> Generate bytecode for the given runtime system -use_runtime <file> (deprecated) same as -use-runtime -v Print compiler version and location of standard library and exit -verbose Print calls to external commands -version Print version and exit --version Print version and exit -vmthread Generate code that supports the threads library with VM-level scheduling -vnum Print version number and exit -w <list> Enable or disable warnings according to <list>: +<spec> enable warnings in <spec> -<spec> disable warnings in <spec> @<spec> enable warnings in <spec> and treat them as errors <spec> can be: <num> a single warning number <num1>..<num2> a range of consecutive warning numbers <letter> a predefined set default setting is "+a-4-6-7-9-27-29-32..39-41..42-44-45-48-50-60" -warn-error <list> Enable or disable error status for warnings according to <list>. See option -w for the syntax of <list>. Default setting is "-a+31" -warn-help Show description of warning numbers -where Print location of standard library and exit - <file> Treat <file> as a file name (even if it starts with `-') -nopervasives (undocumented) -use-prims <file> (undocumented) -dsource (undocumented) -dparsetree (undocumented) -dtypedtree (undocumented) -drawlambda (undocumented) -dlambda (undocumented) -dinstr (undocumented) -dtimings Print timings -help Display this list of options --help Display this list of options