David Allsopp 46c7122888 Merge pull request #9840 from dra27/fix-9839 ... Partial revert of 9165: don't build the compiler with -O3 in flambda (cherry picked from commit 6ce1c60ca97ee962ebf5d5218628bc388536325e)		2020-10-30 11:29:17 +01:00
..
byte	Dynlink: preserve module initializers backtrace (#9183)	2020-02-06 07:21:23 +01:00
dynlink_compilerlibs	dynlink: improve dynlink_compilerlibs dependencies	2020-01-04 15:16:27 +01:00
native	Dynlink: preserve module initializers backtrace (#9183)	2020-02-06 07:21:23 +01:00
.depend	make alldepend (again ?!)	2019-06-20 10:58:03 +02:00
Makefile	Merge pull request #9840 from dra27/fix-9839	2020-10-30 11:29:17 +01:00
dune	Move some middle-end files around (#2281)	2019-04-01 17:18:47 +01:00
dynlink.mli	Remove support for compiler plugins (#2276)	2019-03-13 11:46:37 +01:00
dynlink_common.ml	Dynlink.*_unit functions: make sure they call the internal init ().	2020-07-23 11:38:39 +02:00
dynlink_common.mli	Warn about unused functor parameters (#8891)	2019-10-14 11:11:01 +01:00
dynlink_platform_intf.ml	Remove support for compiler plugins (#2276)	2019-03-13 11:46:37 +01:00
dynlink_types.ml	Make (nat)dynlink sound	2018-11-12 17:44:26 +00:00
dynlink_types.mli	Make (nat)dynlink sound	2018-11-12 17:44:26 +00:00
extract_crc.ml	Improve the packing mechanism used to build Dynlink (#2268)	2019-03-19 10:26:35 +00:00