summaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAgeFilesLines
* in -dtimings output, show time spent in C linker clearlyValentin Gatien-Baron2019-08-261-1/+1
|
* tools/ci/inria/extra-checks: use git clean rather than make distcleanSébastien Hinderer2019-08-061-8/+4
|
* release-checklist: be more explicit about how to update the year in the manualDamien Doligez2019-08-011-1/+1
|
* Merge pull request #8845 from dra27/old-schoolDavid Allsopp2019-07-311-8/+27
|\ | | | | Test make world on Inria CI
| * Move the quicker tests to the top of the scriptDavid Allsopp2019-07-311-27/+27
| |
| * Test make world on Inria CIDavid Allsopp2019-07-301-0/+19
| |
* | Update release checklistFlorian Angeletti2019-07-301-13/+10
|/
* Test all ocamldoc generators in the CIDavid Allsopp2019-07-271-0/+4
| | | | Build all the formats of the standard library documentation.
* minor release-checklist updateGabriel Scherer2019-07-241-2/+2
|
* Test non-shared platform and minimal buildDavid Allsopp2019-07-181-10/+38
|
* manual: test case-insensitive collisionsFlorian Angeletti2019-07-051-3/+4
|
* actually remove tools/addlabels.ml, leftover from #8663Gabriel Scherer2019-06-191-469/+0
|
* Improve shell scripts (#1690)zapashcanon2019-06-195-83/+87
|
* Merge pull request #2309 from TheLortex/runtime-variant-pathGabriel Scherer2019-06-192-0/+4
|\ | | | | Add -noruntime option
| * Introduce the -without-runtime option.Lucas Pluvinage2019-05-062-0/+4
| |
* | Fix the instructions for uploading the manual to the Web server.Damien Doligez2019-06-191-2/+4
| | | | | | | | Closes: #8740
* | Fix Thread sanitizer after GPR#8691.Jacques-Henri Jourdan2019-06-182-8/+1
| | | | | | | | | | | | | | | | | | | | | | GPR#8691 refactored the signal/async callback system, and introduced new data races to `caml_something_to_do` and friends. These data races morally already existed and are "benign", in the sense that they can only cause more checks for async callbacks. The corresponding functions are now marked with a special attribute for whitelisting them. We do no longer use -fsanitize-blacklist, which seemed to fail preventing warnings (???).
* | more fixes for release-checklistDamien Doligez2019-06-141-67/+48
| |
* | Update release-checklistDavid Allsopp2019-04-301-2/+4
| |
* | Fix error message displayed on Travis pushDavid Allsopp2019-04-301-7/+14
| |
* | Check all necessary paths for configureDavid Allsopp2019-04-301-4/+5
| |
* | Improve the main script of Inria's CISébastien Hinderer2019-05-171-13/+9
| | | | | | | | | | | | | | | | | | This contains the following improvements: - Stop calling make distclean at the beginning of the script - Make the call to git distclean quiet - Add the --warn-undefined-variables explicitly to those calls to make for whihc this is relevant
* | Remove the scrapelabels and addlabels toolsSébastien Hinderer2019-05-074-801/+0
| |
* | Remove the ocaml299to3 toolSébastien Hinderer2019-05-074-617/+0
| |
* | Build system: make ocamllex silent by default (#8664)Sébastien Hinderer2019-05-071-7/+2
|/ | | | | | | | | | | | | | | | This commit makes e.g. make -s world.opt completely silent when everything works, in order to increase the visibility of any unexpected message occurring during the build. This will be useful for instance during CI, in particular it should make it easier to catch undefined build variables. The implementation is straightforward. The OCAMLLEX_FLAGS variable is defined in Makefile.common.in and then used consistently by all lexing recipes. In addition, in tools/Makefile, the two rules producing the lexers from cvt_emit.mll and make_opcodes.mll have been replaced by a pattern-rule and the useless .SUFFIXES target has been removed.
* Use "make --warn-undefined-variables" for CI at InriaXavier Leroy2019-05-021-2/+4
|
* release-checklist: remove section on updating MantisDamien Doligez2019-04-181-13/+4
|
* Merge pull request #8604 from gretay-js/pr2207Gabriel Scherer2019-04-121-1/+2
| | | | | | | Add opam files to allow pinning (cherry picked from commit e89287f056b3641af214f8d71717c6fa81de531b) (version changed 4.08 => 4.09)
* Verify that configure.ac generates configureDavid Allsopp2019-04-021-0/+16
|
* Move some middle-end files around (#2281)Mark Shinwell2019-04-012-38/+34
| | | | | | * 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.
* Ensure that files marked executable are #! scriptsDavid Allsopp2019-03-271-0/+28
|
* Skip files in .gitignore in check-typoDavid Allsopp2019-03-271-0/+1
|
* Quote directories in pre-commit hookDavid Allsopp2019-03-271-3/+3
| | | | Belt-and-braces, since we don't use spaces.
* Ensure awk supports interval expressionsDavid Allsopp2019-03-272-1/+12
| | | | | | Travis already added the required option for old versions of GNU awk, but this was still a problem on current Ubuntu systems if gawk is not installed - mawk (the default) does not support them.
* Fix the bug reporting URL in release-checklistAnton Kochkov2019-03-251-1/+1
|
* Small fixes to release-checklistDamien Doligez2019-03-221-8/+22
|
* Merge pull request #8514 from stedolan/boot-ocamlc-optStephen Dolan2019-03-221-3/+2
|\ | | | | Use boot/ocamlc.opt for building, if available.
| * Use boot/ocamlc.opt for building, if available.Stephen Dolan2019-03-201-3/+2
| |
* | Improve the packing mechanism used to build Dynlink (#2268)Mark Shinwell2019-03-192-0/+3
|/
* Delete otherlib/{graph,win32graph} (#2318)Jérémie Dimino2019-03-181-1/+1
| | | | | | | The Graphics library is now distributed as a separate package. The sources are at https://github.com/ocaml/graphics . Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
* MPR#3249: ocamlmklib does not support .cmxa files as arguments (#8512)Xavier Leroy2019-03-181-3/+3
| | | | | | | That's because ocamlopt -a doesn't support .cmxa files as arguments. It is better to reject those files in ocamlmklib than later. The manual never said that ocamlmklib accepts .cmxa files. Closes: #3249
* Remove gprof support (#2314)Mark Shinwell2019-03-162-3/+2
| | | | 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.
* Add CSV file with Mantis=>GitHub renumbering informationNicolás Ojeda Bär2019-03-151-0/+1512
|
* GPR#2082: New option -no-insn-schedMark Shinwell2019-03-131-0/+2
|
* Restore -vmthreads flag as an error (#2312)David Allsopp2019-03-131-0/+1
| | | | | | | | | This GPR restores -vmthread with an adapted version of the deprecation message as an error message and also keeps the use_vmthreads part of ppx contexts. * Partially revert #2289 * Convert -vmthread to an error * Neuter use_vmthreads in ppx context * Remove Clflags.use_vmthreads
* Update Inria's bootstrap CI jobSébastien Hinderer2019-03-121-13/+0
| | | | | | | | This commit adapts Inria's bootstrap CI job to take into account the removal of the threads library. More precisely, it updates the patch that removes the sinh primitive from the runtime to not patch otherlibs/threads/stdlib.ml any longer since this file has been removed from the repository.
* Fix typo in CI scriptSébastien Hinderer2019-03-121-1/+1
|
* Delete the vmthreads library (#2289)Jérémie Dimino2019-03-113-3/+2
| | | | | | | | | | | | | | * Delete the deprecated vmthreads library It was deprecated in 4.08. * Remove the byte/native argument of init_path It is no longer necessary. * Error out when passing --{enable,disable}-vmthreads to ./configure Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
* Fix tools/caml-tex printing of sub message locationsJules Aguillon2019-03-111-2/+4
| | | | List printer fields explicitly to avoid the same problem from happening again
* Ensure failed build terminates AppVeyor runDavid Allsopp2019-03-051-0/+1
| | | | | The mingw32 build log is post-processed for AppVeyor, but this was done without setting -o pipefail.
View Lorry Controller Status