ocaml/tools
Sébastien Hinderer 286a9397b8 Inria CI fix
The step-by-step-build job should stop on errors
2020-11-25 10:50:11 +01:00
..
ci Inria CI fix 2020-11-25 10:50:11 +01:00
unlabel-patches More patch indenting 2020-07-31 12:42:00 +01:00
.depend Fix handling of Exit_compiler exception in toplevel (#9798) 2020-10-05 09:46:20 +02:00
Makefile Centralized tracking of frontend's global state (#9963) 2020-10-15 14:47:19 +02:00
autogen autogen -> make configure 2018-12-04 10:29:02 +00:00
caml_tex.ml Adapt caml-tex 2020-07-20 21:53:11 +02:00
check-parser-uptodate-or-warn.sh check-parser-uptodate-or-warn.sh: Improve message if mstat fails 2019-09-26 08:26:08 +02:00
check-symbol-names ci: check the prefixing policy for runtime symbols (#9260) 2020-01-29 15:30:15 +01:00
check-typo Fix tools/check-typo for mawk 1.3.4 (#9644) 2020-06-05 18:13:40 +02:00
check-typo-since add a variant of check-typo to compare against a git reference 2018-12-09 13:31:26 +00:00
checkstack.c Update headers for the new license. 2016-02-18 16:59:16 +01:00
cmpbyt.ml cmpbyt: return 1 rather than 2 to report file difference. 2016-06-20 11:01:42 +02:00
cvt_emit.mll Update headers for the new license. 2016-02-18 16:59:16 +01:00
dumpobj.ml Remove Const_pointer from Lambda and Clambda (#9585) 2020-06-02 11:19:20 +02:00
dune Provide a way to build the bytecode compiler using Dune (#2093) 2018-10-10 16:16:00 +01:00
eqparsetree.ml Add locations to toplevel directives 2018-08-06 11:06:30 +01:00
eventlog_metadata.in Rewrite the instrumented runtime to store traces in the CTF format. 2020-04-30 10:32:01 +02:00
gdb-macros Fix missing Caml_state (#8940) 2019-10-03 16:27:32 +02:00
git-dev-options.sh Allow by-host worktree-sharable configure caches 2019-10-05 14:50:57 +01:00
lintapidiff.ml Just some tbl things. (#1699) 2018-07-23 13:19:41 +01:00
magic renaming of Objective Caml to OCaml and cleanup of copyright headers 2011-07-27 14:17:02 +00:00
make-version-header.sh Update version format 2020-07-02 16:47:03 +02:00
make_opcodes.mll Correct licence for tools/make_opcodes.mll 2017-10-25 23:54:39 +01:00
mantis2gh_stripped.csv Add CSV file with Mantis=>GitHub renumbering information 2019-03-15 00:01:48 +01:00
msvs-promote-path shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat 2018-10-16 09:06:16 +02:00
objinfo.ml Adapt ocamlobjinfo 2020-07-02 06:40:10 +02:00
ocamlcmt.ml Add the $(EXE) suffix to all programs at build rather than install time 2020-06-18 11:16:55 +02:00
ocamlcp.ml Fix handling of Exit_compiler exception in toplevel (#9798) 2020-10-05 09:46:20 +02:00
ocamldep.ml New -depend option for ocamlc/ocamlopt 2017-06-01 15:56:30 +02:00
ocamlmklib.ml MPR#3249: ocamlmklib does not support .cmxa files as arguments (#8512) 2019-03-18 09:11:36 +01:00
ocamlmktop.ml tools/ocamlmktop.ml: make use of the configured extension of executalbes 2020-06-18 11:07:43 +02:00
ocamloptp.ml Fix handling of Exit_compiler exception in toplevel (#9798) 2020-10-05 09:46:20 +02:00
ocamlprof.ml a better representation for modules with no name (#8908) 2019-10-09 14:15:37 +01:00
ocamlsize Update headers for the new license. 2016-02-18 16:59:16 +01:00
pre-commit-githook Quote directories in pre-commit hook 2019-03-27 10:32:40 +00:00
primreq.ml Just some tbl things. (#1699) 2018-07-23 13:19:41 +01:00
profiling.ml Update headers for the new license. 2016-02-18 16:59:16 +01:00
profiling.mli Update headers for the new license. 2016-02-18 16:59:16 +01:00
stripdebug.ml Update headers for the new license. 2016-02-18 16:59:16 +01:00
sync_stdlib_docs Rename tools/unlabel --> tools/sync_stdlib_docs 2020-09-10 19:17:43 +01:00