delta/ocaml.git/tools, branch contribution_workflow github.com: ocaml/ocaml Support 'let open' in class and class type expressions (#1249) 2017-07-20T06:17:30+00:00 Alain Frisch alain@frisch.fr 2017-07-20T06:17:30+00:00 fd47ba9649f784c7d0772bdf282b8e7c8f1fe5aa * Support 'let open' in class and class type expressions. * Adapt ocamlprof. * Adapt ocamldoc. * Add tests. * Changelog. * Manual. 
* Support 'let open' in class and class type expressions.

* Adapt ocamlprof.

* Adapt ocamldoc.

* Add tests.

* Changelog.

* Manual.
generalize -dtimings to show allocation, top heap size (#1152) 2017-06-09T11:29:21+00:00 sliquister valentin.gatienbaron@gmail.com 2017-06-09T11:29:21+00:00 3f76c0525b15fcb84336e8bb9de1c232ac3fa66b 






New -depend option for ocamlc/ocamlopt
2017-06-01T13:56:30+00:00

Fabrice Le Fessant
fabrice.le_fessant@ocamlpro.com

2017-05-14T14:44:42+00:00

8daa184d95d30e28ea7cae60d366b39d9a509c78












Fix tools/read_cmt (#1036)
2017-05-11T11:56:19+00:00

Fabrice Le Fessant
fabrice@lefessant.net

2017-05-11T11:56:19+00:00

fb2a4421a6f142339f8f46327b9676d177f3a646

Install tools/read_cmt as ocamlcmt
* Add option -save-cmt-info to add more info in .annot files
* Provide more annotations
* Add option -I <dir> to find .cmi files




Install tools/read_cmt as ocamlcmt
* Add option -save-cmt-info to add more info in .annot files
* Provide more annotations
* Add option -I <dir> to find .cmi files






On CI, check that 'make alldepend' works only if native compiler si built
2017-04-28T13:56:08+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-04-28T13:56:08+00:00

a9f31f0f0cf6febe45be3dcd7115578ed826beef












Fix tools/ci-build
2017-04-28T08:58:15+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-04-28T08:58:15+00:00

1a30ec8cc0d21fb06205271cb113ee4c7ff65847

No spaces allowed in varialbe assignments.





No spaces allowed in varialbe assignments.







Simplify installation of OCaml header (.h) files
2017-04-26T17:28:17+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-03-29T14:39:30+00:00

255720556f04f99f61a7eaed42546405bb97f2e1

The tools/cleanup-header script has no effect any more, so stop
calling it during make install and remove it from the repository.





The tools/cleanup-header script has no effect any more, so stop
calling it during make install and remove it from the repository.







Move configuration header files from the config to the byterun/caml directory
2017-04-26T17:28:17+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-03-28T15:04:35+00:00

40fcbb5f0a70171193891c863a325f31291f16f7

This commit moves:
  - config/m.h to byterun/caml/m.h
  - config/s.h to byterun/caml/s.h

Consequently, m.h and s.h now get installed alongside other
OCaml header files.

This commit also updates the .depend files, introducing updates in the
dependencies which are not consequences of this commit itself.





This commit moves:
  - config/m.h to byterun/caml/m.h
  - config/s.h to byterun/caml/s.h

Consequently, m.h and s.h now get installed alongside other
OCaml header files.

This commit also updates the .depend files, introducing updates in the
dependencies which are not consequences of this commit itself.







Let CI check that 'make alldepend' still works.
2017-04-26T16:37:35+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-04-26T16:37:35+00:00

c8103128c1f57c0d6a5cf46557eca13723c8221f

This is done on a few slaves only.





This is done on a few slaves only.







tools/ci-build: install to a different directory for each build
2017-04-26T09:49:33+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-04-26T09:49:33+00:00

67276a09af7991d5e8e91b5adfc59bc6679b1922

This commit ensures the install directory will be distinct for each build,
with the two following motivations:

1. If required, it will make it possible to have several builds running
concurrently on the same slave without conflicts between their make install

2. So far, if for any reason make install fails, then the build script
gets stopped and the install directory will not be removed.
Thus if a future build tries to install to the same directory, its
installation could in principle fail, not because it is broken but because
the previous build has left the install directory in a corrupted state.

So this commit ensures that make install will be done in an empty
directory.





This commit ensures the install directory will be distinct for each build,
with the two following motivations:

1. If required, it will make it possible to have several builds running
concurrently on the same slave without conflicts between their make install

2. So far, if for any reason make install fails, then the build script
gets stopped and the install directory will not be removed.
Thus if a future build tries to install to the same directory, its
installation could in principle fail, not because it is broken but because
the previous build has left the install directory in a corrupted state.

So this commit ensures that make install will be done in an empty
directory.