summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Avoid rules with multiple targets.afrisch_fix_stdlib_makefile_windowsalainfrisch2018-02-281-2/+8
|
* Small fixes for stdlib/Makefile under Windowsalainfrisch2018-02-261-6/+6
| | | | | - Missing source file when compiling camlheaderi. - Enable parallel build (using different filenames).
* Merge pull request #1634 from gasche/ocamltest-system-errorsGabriel Scherer2018-02-261-2/+11
|\ | | | | ocamltest: also announce system errors as test errors
| * ocamltest: also announce system errors as unexpected errorsGabriel Scherer2018-02-261-2/+11
|/ | | | | | | | | | | | | If you forget to commit a test file with your patch (but include it in ocamltests), ocamltest will fail (print a message to standard error and return a non-zero code), but until now it would not print the standard-format "testing ... => unexpected error" message which makes the failure visible to the summarize.awk script. This commit ensures that such early failures still result in an explicit unexpected-error message being shown in the standard way, in addition to stderr-level error reporting.
* Make sure notto use the installed stdlib in expectation tests (#1621)Jérémie Dimino2018-02-262-5/+19
| | | | | - Make the expect_test tool correctly interpret all -I/-nostdlib options - When -repo-root is passed, change the stdlib directory to REPO_ROOT/stdlib
* Merge pull request #1630 from dra27/tweak-runtopGabriel Scherer2018-02-251-4/+5
|\ | | | | Tweak runtop and natruntop targets
| * Determine runtop includes using OTHERLIBRARIESDavid Allsopp2018-02-251-6/+1
| |
| * Don't build opt.opt in natruntopDavid Allsopp2018-02-251-1/+0
| |
| * Sync runtop and natruntop and add otherlibsDavid Allsopp2018-02-251-3/+10
|/ | | | | RUNTOP and NATRUNTOP now include the same directories and include all the directories in otherlibs.
* Typo in Changes entry for #1629David Allsopp2018-02-241-1/+1
|
* Fix Unicode mismatch in win32graph (#1629)David Allsopp2018-02-242-1/+5
| | | | The window class is created using RegisterClassA, which means that the default window procedure should be DefWindowProcA.
* Fix bug introduced in #1585. (#1598)Alain Frisch2018-02-221-5/+5
|
* Merge pull request #1625 from mlasson/patch-1Nicolás Ojeda Bär2018-02-211-2/+0
|\ | | | | Unused variable in win32.c
| * Unused variable.Marc Lasson2018-02-211-2/+0
| |
* | Merge pull request #1624 from rixed/trunkGabriel Scherer2018-02-212-1/+6
|\ \ | |/ |/| Asmlink.reset should also clean lib_ccobjs/lib_ccopts
| * Asmlink.reset should also clean lib_ccobjs/lib_ccoptsCedric Cellier2018-02-212-1/+6
|/ | | | Re. ticket 7738 (https://caml.inria.fr/mantis/view.php?id=7738)
* Fix build of native toplevel broken by GPR#1618Sébastien Hinderer2018-02-201-1/+1
|
* Migrate the translprim tests to ocamltestSébastien Hinderer2018-02-2019-883/+677
| | | | | For an explanation of the changes in the reference files, see the log message of the previous commit.
* Migrate the functors test to ocamltestSébastien Hinderer2018-02-204-27/+22
| | | | | | | | | | | | | Two things change in the reference file: 1. The locations, because of the ocamltest comment introduced at the beginning of functors.ml 2. Some formatting boxes that took several lines before are now shown in a more compact way. This is because, before this commit, the stamps for identifiers were removed after the display, so they were still taken into account when computing the box sizes. This is no longer the case since the stamps are no longer printed.
* Fix Changes entry for PR #1618Sébastien Hinderer2018-02-201-1/+1
|
* Add the -dunique-ids and -dno-unique-ids options to the compilersSébastien Hinderer2018-02-2018-54/+97
| | | | | | | | | | | These options allow to control whether identifiers are made unique by appending a stamp to them when dumping intermediate representations or not. The default is to print the stamp, as is done currently. The "-dno-unique-ids" option is useful e.g. to simplify the comparison between a produced intermediate reprsentation (-dlambda, say) and the expected one, in the context of the testsuite, for instance.
* ocamltest: cosmetic update in log messagesSébastien Hinderer2018-02-201-4/+4
|
* add information in fatal errorValentin Gatien-Baron2018-02-201-1/+1
|
* Migrate afl-instrumentation test to ocamltestSébastien Hinderer2018-02-205-24/+33
|
* ocamltest: expand variables before exporting them to system envSébastien Hinderer2018-02-201-10/+9
|
* Merge pull request #1619 from trefis/expect-exnThomas Refis2018-02-192-2/+12
|\ | | | | expect_test: print all the exceptions, even the unexpected ones
| * ChangesThomas Refis2018-02-191-0/+3
| |
| * expect_test: print all the exceptions, even the unexpected onesThomas Refis2018-02-191-2/+9
| |
* | ocamltest: use the module variable only if it is not emptySébastien Hinderer2018-02-193-1/+6
| |
* | ocamltest: fix typoSébastien Hinderer2018-02-191-1/+1
| |
* | ocamltest: rename and complete the AFL-related testsSébastien Hinderer2018-02-195-10/+18
| |
* | Migrate the asmcomp tests to ocamltestSébastien Hinderer2018-02-1913-88/+70
|/ | | | | | | | Before this commit, the tests in this directory were skipped if Spacetime was enabled. However it seems the tests pass even when Spacetime is enabled, so after this commit, the tests are run no matter whether spacetime is enabled or not.
* Merge pull request #1567 from trefis/reraiseThomas Refis2018-02-195-20/+125
|\ | | | | Register all idents relevant for reraise.
| * register every reraise-relevant identThomas Refis2018-02-195-23/+88
| |
| * extend a test to show that the current implementation of reraise is brokenThomas Refis2018-02-193-11/+51
|/
* emitcode: merge events after instructions reorderingThomas Refis2018-02-193-4/+15
|
* ocamltest: update dependenciesSébastien Hinderer2018-02-191-7/+7
|
* ocamltest: complete and clarify support for runtime flagsSébastien Hinderer2018-02-195-22/+36
|
* testsuite: switch typing-objects from toplevel to expect testsThomas Refis2018-02-1625-1465/+1212
|
* Minor cleanup.Xavier Clerc2018-02-152-12/+7
|
* Migrate test in callback to ocamltestSébastien Hinderer2018-02-144-68/+9
|
* ocamltest: clarify / fix the use of runtime-related flagsSébastien Hinderer2018-02-143-28/+23
|
* Explain how to customize INRIA's CI for custom branchesJeremie Dimino2018-02-141-0/+15
|
* fix .merlin following merge of GPR#1010Thomas Refis2018-02-131-2/+2
|
* Merge pull request #1607 from diml/fix-make-callGabriel Scherer2018-02-131-1/+1
|\ | | | | s/make/$(MAKE)/ in ocamldoc/Makefile.unprefix
| * s/make/$(MAKE)/ in ocamldoc/Makefile.unprefixJeremie Dimino2018-02-131-1/+1
|/
* Fix the dependencies for .p.cmx files in stdlib/Jeremie Dimino2018-02-121-1/+1
|
* Merge pull request #1010 from diml/prefix-the-stdlibJérémie Dimino2018-02-1260-601/+1378
|\ | | | | Prefix the stdlib
| * Core review workJeremie Dimino2018-02-1218-229/+162
| | | | | | | | | | | | - Apply the __ heuristic more systematically - Update tests - Fix Windows builds
| * Factorize the build of the unprefixed stdliboctachron2018-02-126-141/+344
| | | | | | | | which is used by both ocamldoc and the reference manual.
View Lorry Controller Status