delta/ocaml.git/config, branch contribution_workflow github.com: ocaml/ocaml Try to fix MinGW build. 2017-07-19T09:48:51+00:00 alainfrisch alain@frisch.fr 2017-07-19T07:57:53+00:00 52983c1e2cb201392419ab3f8bc74a057544a2ba 






merge 4.05 into trunk
2017-07-18T11:03:54+00:00

Damien Doligez
damien.doligez@inria.fr

2017-07-18T11:03:54+00:00

f78128a7d723fa6002a08f5379a565da5022006a












PR#7452: tweak GCC options to try to work around the Skylake/Kaby lake bug (#1228)
2017-07-12T09:39:26+00:00

Damien Doligez
damien.doligez@gmail.com

2017-07-12T09:39:26+00:00

2d03974c1223bbd3f1535fde1be2f03148bbed82












Call counts in Spacetime (#1180)
2017-06-16T12:51:12+00:00

Mark Shinwell
mshinwell@gmail.com

2017-06-16T12:51:12+00:00

96833936259e334501a24a2814fcea216da32c54












Use a simpler conversion of times in Unix.stat
2017-05-16T18:48:37+00:00

David Allsopp
david.allsopp@metastack.com

2017-03-01T17:05:02+00:00

65a492d23522140e7766428b00b8d7c8446ec1cc

With gratitude to the boss for spotting this apparently non-obvious
manoeuvre!





With gratitude to the boss for spotting this apparently non-obvious
manoeuvre!







Move INT64_LITERAL from byterun/ints.c to m.h
2017-05-16T18:48:37+00:00

David Allsopp
david.allsopp@metastack.com

2017-03-08T11:29:24+00:00

d526e7cce9ef568e8c4f197c2ca3897bc6eec053












Use _mkgmtime64 in Unix.stat (where available)
2017-05-16T18:48:37+00:00

David Allsopp
david.allsopp@metastack.com

2017-02-20T14:26:40+00:00

f7f5b9487fb1e6179cd2eebd3d0a51a8f2d9ac64

_mkgmtime64 is _mktime64, but assumes UTC.





_mkgmtime64 is _mktime64, but assumes UTC.







Remove SPARC backend
2017-04-10T08:18:13+00:00

Mark Shinwell
mshinwell@janestreet.com

2017-04-10T08:18:13+00:00

3efe66e043bb2315517e9059066dc5d36aa78cac












Support for xlc and bytecode shared libs on AIX.
2017-03-31T17:47:24+00:00

Konstantin Romanov
kromanov1@bloomberg.net

2017-03-31T16:39:11+00:00

bd8674a04102ec57fe7ee0fb8f6fa300f7a67792

This patch adds support for xlc (IBM C compiler, used on
Linux and AIX) in cckind.cc and enables shared libraries
support in bytecode compiled programs on AIX.

It was tested on Linux/gcc and AIX7.1/xlc 12. By default
configure script uses gcc compiler, so there should be no
impact on Linux/xlc systems. To use xlc one should run
configure with -cc xlc.





This patch adds support for xlc (IBM C compiler, used on
Linux and AIX) in cckind.cc and enables shared libraries
support in bytecode compiled programs on AIX.

It was tested on Linux/gcc and AIX7.1/xlc 12. By default
configure script uses gcc compiler, so there should be no
impact on Linux/xlc systems. To use xlc one should run
configure with -cc xlc.







Adjust C compiler invocation
2017-03-30T14:27:21+00:00

Sébastien Hinderer
Sebastien.Hinderer@inria.fr

2017-03-30T14:27:21+00:00

dc3038ced643ceafbad046643186aa60ecab8c8c

This commit is a follow-up to PR#1114. It ensures that C compilers
other than msvc are called with a space between the -o option and
its object or executabe file argument.





This commit is a follow-up to PR#1114. It ensures that C compilers
other than msvc are called with a space between the -o option and
its object or executabe file argument.