summaryrefslogtreecommitdiff
path: root/driver
Commit message (Collapse)AuthorAgeFilesLines
...
* Save Linear IR before emit (#8939)Greta Yorsh2020-10-075-5/+47
| | | | | | | | | | | * Save IR before emit * Update .depend for linear_format * Test for -save-ir-after command-line option * Address review comments * Add Changes entry
* Fix handling of Exit_compiler exception in toplevel (#9798)Nicolás Ojeda Bär2020-10-055-11/+11
|
* Unopen Compenv in the code base (this is a nop). (#9933)Daniel Bünzli2020-09-236-61/+57
|
* Use polymorphic compare to empty string instead of checking length for 0Josh Berdine2020-09-011-1/+1
|
* Treat set-but-empty OCAMLPARAM the same as unsetJosh Berdine2020-08-211-11/+12
| | | | | | | | In case the OCAMLPARAM environment variable is set to the empty string, the current behavior is to attempt to parse it, which fails to find the `_` character separating the "before" and "after" settings. This patch changes this to treat OCAMLPARAM set to the empty string the same as being unset, which is to do nothing.
* ocamldep: do not process files during cli parsing. (#9795)Daniel Bünzli2020-07-231-4/+20
| | | It leads to broken cli behaviour. Closes #9299.
* Rename No_unsafe_array_syntax_without_parsing => ↵Nicolás Ojeda Bär2020-07-201-1/+1
| | | | Unsafe_array_syntax_without_parsing
* Rename Unsafe_without_parsing => No_unsafe_array_syntax_without_parsingNicolás Ojeda Bär2020-07-201-1/+1
|
* Merge pull request #9688 from stedolan/main-compiler-libsStephen Dolan2020-07-0610-272/+290
|\ | | | | Expose the main entrypoint in compilerlibs
| * Start Clflags.parse_arguments from 0Stephen Dolan2020-06-301-6/+10
| |
| * Move code of main and optmain to compilerlibsStephen Dolan2020-06-307-268/+268
| |
| * Move calls to exit to main/optmainStephen Dolan2020-06-305-20/+34
| |
* | Make the `mark` parameters in `Includemod` non-optionalLeo White2020-06-251-1/+1
|/
* Arg: a new Rest_all spec, similar to Rest, that passes all arguments at onceGabriel Scherer2020-06-051-0/+2
| | | | | In particular this allow to detect a Rest_all keyword followed by no arguments at all (an empty list).
* Merge pull request #9357 from muskangarg21/makedependFlorian Angeletti2020-03-171-2/+7
|\ | | | | [Ocamldep] [TOOLS] : -nocwd argument to not include current dir to search path
| * TOOLS: Ocamldep arg to not include current dir to search pathmuskangarg212020-03-161-2/+7
| |
* | Deprecate -annot (#2141)Nicolás Ojeda Bär2020-03-132-10/+7
|/ | | | | | | | | | | | | | | | * Move driver code from Cmt2annot to Read_cmt * Move cmt2annot.ml into typing/ * make depend * Use standard error handling * Move specific logic to read_cmt * Do not pass full cmt record as argument * Better locations * Emit .annot files produced from cmt data * Remove direct calls to Stypes * Deprecate -annot * Changes * make depend * Adapt doc * make -C tools depend
* Uid.reinitThomas Refis2020-03-051-0/+1
|
* Merge pull request #9021 from Octachron/longident_parserGabriel Scherer2020-01-101-1/+6
|\ | | | | Expose parsers for Longident.t
| * compilerlibs: expose parsers for 'Longident.t'sFlorian Angeletti2020-01-091-1/+6
| |
* | -dno-locations: hide source locations (and debug events) from IR dumpsGabriel Scherer2020-01-092-1/+22
|/ | | | | | This PR was tested with also the -dsel, -dlinear output (also fixed to not-print locations), but the output is architecture-dependent so this part of the test was removed.
* Add Compenv.stop_early flagGreta Yorsh2019-11-045-21/+22
|
* Rename stop_after_pass_names to available_pass_namesGreta Yorsh2019-11-044-4/+4
|
* Use stop_early instead of compile_onlyGreta Yorsh2019-11-044-10/+16
|
* Stop before emitGreta Yorsh2019-10-304-20/+34
|
* Fix check for incompatible -c and -o optionsGreta Yorsh2019-10-151-1/+1
|
* Warn about unused functor parameters (#8891)Thomas Refis2019-10-141-5/+5
|
* add -dinterval to ocamlnatFlorian Angeletti2019-09-302-3/+4
|
* add support for no_float_const_prop to ocamlnatFlorian Angeletti2019-09-302-3/+4
|
* Add -linscan to ocamlnatFlorian Angeletti2019-09-302-3/+4
| | | | | in order to reduce the difference between the native compiler and toplevel.
* share argument implementation across executableFlorian Angeletti2019-09-304-354/+342
| | | | | | | | | | | | This commit defines five default argument modules in Main_args.default. Those modules provide a default implementation for the argument of ocaml, ocamlnat, ocamlc, ocamlopt, ocamldoc, ocamlcp, ocamloptp, and expect_test. Grouping together those implementations allow to share as much as possible similar implementation across executables. It should make easier to keep synchronized the various implementation, or reuse those implementation in alternative drivers.
* Cleanup ocamldoc pre-argumentsFlorian Angeletti2019-09-302-17/+31
| | | | | This commit removes all pre-arguments that were defined in Odoc_args but never turned into actual arguments.
* Merge dump_live and print_liveFlorian Angeletti2019-09-301-1/+1
|
* Add a new -output-complete-exe option (#8872)Nicolás Ojeda Bär2019-09-253-1/+12
| | | This option allows to build self-contained bytecode executable and is aimed to replace `-custom`. The main difference between the two is that executables produced by `-output-compete-exe` can be stripped.
* Add function-sections to OCAMLPARAMGreta Yorsh2019-07-151-0/+2
|
* Add compile-time option -function-sectionsGreta Yorsh2019-07-153-0/+19
|
* Remove unused file driver/ocamlcomp.sh.inSébastien Hinderer2019-07-101-20/+0
| | | | | No file seems to reference it. In particular, it is never turned into a genuine shell script.
* Improve shell scripts (#1690)zapashcanon2019-06-191-2/+2
|
* Merge pull request #2309 from TheLortex/runtime-variant-pathGabriel Scherer2019-06-195-0/+23
|\ | | | | Add -noruntime option
| * without-runtime: cosmetic tweaksLucas Pluvinage2019-06-111-1/+1
| |
| * Introduce the -without-runtime option.Lucas Pluvinage2019-05-065-0/+23
| |
* | Fixing misspellingsJPR2019-05-211-1/+1
| |
* | Move some code from Asmgen to the middle end directory etc. (#2288)Mark Shinwell2019-05-101-12/+21
|/ | | Followup to (#2281)
* Fix #8635Jeremie Dimino2019-04-231-13/+27
|
* Fix check-typo errorsNicolás Ojeda Bär2019-04-101-3/+8
|
* ocamldep: .ml in earlier include dirs should shadow .mli in later include dirsNicolás Ojeda Bär2019-04-091-42/+35
|
* Move some middle-end files around (#2281)Mark Shinwell2019-04-012-4/+5
| | | | | | * Various file moves in the middle end: this is the first stage of improving separation between the middle end and backend. * Creation of file_formats/ directory (with associated file moves) to hold the definitions of compilation artifact formats. * Creation of lambda/ directory (with associated file moves) to hold Lambda language definition files, transformation passes and construction passes from Typedtree. * Disable (hopefully temporarily) dynlink, debugger and ocamldoc for the dune build.
* Update issue numbers in comments after Mantis -> Github migration. (#8505)Stephen Dolan2019-03-181-1/+1
|
* Remove gprof support (#2314)Mark Shinwell2019-03-163-7/+4
| | | | This commit removes support for gprof-based profiling (the -p option to ocamlopt). It follows a discussion on the core developers' list, which indicated that removing gprof support was a reasonable thing to do. The rationale is that there are better easy-to-use profilers out there now, such as perf for Linux and Instruments on macOS; and the gprof support has always been patchy across targets. We save a whole build of the runtime and simplify some other parts of the codebase by removing it.
* main_args: remove some redundancy in Ocamldoc_options.Thomas Refis2019-03-152-8/+0
|
View Lorry Controller Status