summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-1841-453/+572
| | | | Remains to be done: remove all headers in testsuite/tests.
* tools/check-typo: switch to new header formatDamien Doligez2016-02-171-9/+19
|
* clean up whitespace and cut long linesDamien Doligez2016-02-176-21/+33
|
* check-typo: no header needed for files shorter than 10 linesDamien Doligez2016-02-161-4/+7
|
* Tidy up new command-line parametersLeo White2016-02-111-5/+5
|
* Enable opaque option in ocamlcLeo White2016-02-111-0/+1
|
* Fix ocamlobjinfo for Flambda (includes work from Runhang Li)Mark Shinwell2016-02-102-4/+11
|
* Protect install paths against spaces (on Windows)Christophe Troestler2016-02-103-17/+17
|
* Bug fixes etc for FlambdaMark Shinwell2016-02-091-1/+2
|
* Import latest Flambda changesMark Shinwell2016-02-091-1/+2
|
* Enable flambdaPierre Chambart2016-01-283-2/+37
|
* Use Ast_iterator for Ast_invariantsNicolas Ojeda Bar2016-01-271-1/+1
|
* Add module Ast_invariantsJeremie Dimino2016-01-271-1/+2
| | | | | | | | | This module checks all the AST invariants. This is to ensure that all invariants are written down in one place and are consistently checked between the various clients of the AST (typer, pprintast, ...). The invariants are checked in Pparsee, after applying the ppx rewriters.
* Merge pull request #370 from dra27/normalise-warningsDamien Doligez2016-01-271-2/+2
|\ | | | | PR#7106: Warnings emitted by the compiler may contain \r\r\n on Windows
| * Normalise \r\n to \n for warningsDavid Allsopp2016-01-181-2/+2
| | | | | | | | | | | | | | | | | | The formatters used for printing warnings have text mode translation enabled which means that any Windows endings which creep into warning texts (e.g. from attributes) result in \r\r\n in the output. The effect is largely innocuous, except that it causes the deprecated_module_use test to fail on Windows.
* | Merge pull request #366 from dra27/testsuite-windowsMark Shinwell2016-01-261-1/+1
|\ \ | | | | | | GPR#366: Various test-suite fixes for Windows
| * | Minor corrections to clean targetsDavid Allsopp2016-01-251-1/+1
| |/
* | Update main and ocamldepPierre Chambart2016-01-251-1/+1
|/
* Fix Changes file.alainfrisch2016-01-183-9/+8
|\
| * Share compiler config with ocamlmklibDavid Allsopp2016-01-153-20/+6
| | | | | | | | | | Remove duplication between tools/ocamlmklibconfig.ml and utils/config.ml and link ocamlmklib with config.cmo from compiler-libs.
| * Allow compilation using bootstrapped FlexDLLDavid Allsopp2016-01-152-2/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Extend the previous patch allowing make -f Makefile.nt flexdll install-flexdll not to require the install-flexdll stage. OCAML_FLEXLINK is utilised as required to allow compilation of the entire system using an in-tree compiled flexlink. The build process simply required the flexdll target to appear before world. opt.opt compiles a native code version of flexlink.exe as flexlink.opt. install always installs flexlink.exe if it was compiled along with any required .manifest files. It also installs the appropriate .o/.obj files to $(INSTALL_LIBDIR). At present, the bootstrapping is not extended to the Cygwin ports.
| * Support OCAML_FLEXLINK environment variableDavid Allsopp2016-01-152-1/+12
| | | | | | | | | | | | | | | | OCAML_FLEXLINK is inspected by ocamlopt, ocamlc and ocamlmklib and allows the flexlink command to be overriden. This is primarily intended as a solution for bootstrapping OCaml with FlexDLL, thus allowing a bytecode image of flexlink launched with ocamlrun to be executed, instead of requiring flexlink to be in PATH.
* | Fix missing Windows change in #423David Allsopp2016-01-151-1/+1
|/
* Clflags stuff and Arg_helperMark Shinwell2016-01-142-6/+8
|
* Make the Ident module identifiablePierre Chambart2016-01-121-1/+2
|
* merge with trunkMark Shinwell2016-01-126-7/+282
|\
| * Merge with trunk; remake dependenciesMark Shinwell2015-12-224-6/+279
| |\
| | * fix huge pages vs renaming of caml_stat_heap_sizeDamien Doligez2015-12-211-4/+4
| | |
| | * GC latency improvementsDamien Doligez2015-12-214-2/+275
| | |
| * | Record compiler runtimePierre Chambart2015-12-183-1/+3
| |/
* | Fix MakefilesMark Shinwell2015-12-182-4/+7
|/
* Merge pull request #340 from ocaml/stripped-bootstrapXavier Leroy2015-12-184-4/+170
|\ | | | | Reduce size of bootstrap compilers by stripping debug info
| * When copying the new compilers to boot/, also strip the #! header. It is ↵Xavier Leroy2015-12-091-5/+4
| | | | | | | | not needed and can cause spurious merge conflicts.
| * Strip debugging information off the bootstrap compilers, to reduce their sizeXavier Leroy2015-12-094-4/+171
| | | | | | | | | | | | The stripping is done during bootstrap, when copying the new ocamlc, ocamllex and ocamldep to boot/. The new "stripdebug" tool performs this task. As a consequence, comparing the new compilers with the boot/ compilers at the end of bootstrap is more complicated, since the debug section must be ignored. A new tool, "cmpbyt" in tools/, performs this comparison.
* | PR#6795, PR#6996: make ocamldep interpret [%ocaml.error]Jeremie Dimino2015-12-173-17/+31
| |
* | Handle binary files correctly in tools/check-typoDavid Allsopp2015-12-141-4/+15
| | | | | | | | | | | | | | | | | | | | | | | | I'm not familiar enough with Subversion to know how properties work there, but the translation for detecting binary files to git using attributes is incorrect. Checking for the binary attribute with check-attr only detects if the file has been *specified* as binary. Script altered to use a "well-known" plumbing command to detect whether git regards a particular file as binary. This takes into account .gitattributes, but also works if the file has been automatically detected as binary by git.
* | Revert GPR#305 (exception patterns under or-patterns) from trunkGabriel Scherer2015-12-121-2/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This week we merged several changes from Thomas Refis, to allow the use of exception patterns under or-patterns, to write code such as match foo x with | None | exception Not_found -> ... | Some -> ... Unfortunately, I failed to properly assess the impact of this change, and in particular to make sure that Luc Maranget had properly reviewed this code -- any change to the pattern-matching machinery should be reviewed by Luc. The problem that I had not foreseen and that he would have immediately realized is that, while adapting the pattern-matching *compiler* is relatively easy (Thomas inserted a transformation at the right place to separate exception patterns from the others and handle them separately, using the staticraise construct used by the pattern-matching compiler to avoid duplicating the right-hand-side branch), adapting the pattern-matching warnings machinery is both more subtle and easier to overlook (it may fail silently and nobody notices, unlike wrong code production). This part of the compiler is subtle and best understood by Luc, but he does not have the time to do a proper review of those changes in the timeframe for the 4.03 feature freeze (mid-December). I believe the right move in this case, implemented in the present commit, is to revert the change from trunk (this is not a feature that we must *imperatively* have in 4.03), do a proper job of understanding the changes, and integrate the change when we are confident it is ready. I hope to do this in 2016, together with Luc Maranget and Thomas Refis -- hopefully this would allow Thomas and I to be more confident when changing the pattern-matching machinery in the future. Revert "Merge pull request #343 from trefis/pr7083" This reverts commit 22681b8d2a56b308673b58fba1a06781bfc6d4b6, reversing changes made to a24e4edf0a37d78abc1046cc453b84625b1521b5. Revert "Merge pull request #341 from trefis/or-exception" This reverts commit f8f68bd329375fd61e33781f61deeaeec2733f4b, reversing changes made to 1534fe8082f6edd68be3fb960606a0e2fa87a116. Revert "Merge pull request #305 from trefis/or-exception" This reverts commit cfeda89396c67656d61ee24509278e50cb6e36e6, reversing changes made to 77cf36cf82e3fb87469138c5da8f4ca9774414ff.
* | PR#6422: Allow exceptions under or-patterns in match statements.Thomas Refis2015-12-091-3/+2
|/
* fix typo in ocamldepJeremie Dimino2015-12-011-1/+1
|
* add module alias support to ocamldepJacques Garrigue2015-12-013-96/+288
|
* Update ocamldep for [%extension_constructor]Jeremie Dimino2015-11-271-0/+6
| | | | Make ocamldep inspect the payload of [%extension_constructor]
* Merge branch 'trunk' of ssh://github.com/ocaml/ocaml into trunkpierreweis2015-11-123-90/+18
|\
| * simplify .gitignore; remove .ignore files and tools/setignore; adjust ↵Damien Doligez2015-11-063-73/+0
| | | | | | | | tools/check-typo
| * update tools/check-typo to work with git attributes instead of svn propertiesDamien Doligez2015-11-031-18/+19
| |
* | Do not use fscanf that will be deprecated ASAP.Pierre Weis2015-10-291-3/+3
|/
* update CI build script to switch to gitSome Name2015-10-291-1/+1
|
* merge branches/gadt-warningsJacques Garrigue2015-10-232-0/+2
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * switch to 'pat -> .' and add P/Texp_unreachablegadt-warningsJacques Garrigue2015-10-162-15/+14
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * add refuted cases, syntax is 'pat -> _'Jacques Garrigue2015-10-152-12/+15
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | #6195: use compilerlibs for read_cmt tool.Alain Frisch2015-09-111-35/+7
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status