aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/nativelib.ml
Commit message (Expand)AuthorAge
* UPDATE: reference to a deprecated variable "Filename.temp_dir_name" was repla...Gravatar Matej Kosik2016-09-29
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-13
|\|
| * Be more verbose about failure to compile libraries to native code.Gravatar Guillaume Melquiond2016-01-08
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
|\|
| * Native compiler: make non-fatal linking errors silent except in debug mode.Gravatar Maxime Dénès2015-07-10
| * Improve semantics of -native-compiler flag.Gravatar Maxime Dénès2015-07-09
* | Merge remote-tracking branch 'forge/v8.5'Gravatar Pierre Boutillier2015-06-22
|\|
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
| * Native compiler: do not catch exceptions not related to dynlink.Gravatar Maxime Dénès2015-06-15
|/
* Fixing bug #4201: The native compiler is not race-free.Gravatar Pierre-Marie Pédrot2015-05-17
* Nativelib: catch Unix_error (like no ocamlopt found)Gravatar Enrico Tassi2015-02-04
* Native compiler: if debug flag not present, remove .native files.Gravatar Maxime Dénès2015-01-13
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fix for #3154: use CUnix.sys_command to call native compiler.Gravatar Maxime Dénès2014-12-16
* Better printing of dynlink errors in native compiler.Gravatar Maxime Dénès2014-11-10
* Preemptively remove files from native compilation.Gravatar Guillaume Melquiond2014-06-16
* Fix native_compute for systems with a limited size for the command line.Gravatar Guillaume Melquiond2014-05-22
* Native compiler: hide compiled files in a .coq-native subdirectory.Gravatar Maxime Dénès2014-04-29
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Avoid generating .ml files in native compiler.Gravatar Maxime Dénès2013-12-29
* Native compiler: library compilation errors are now non fatal.Gravatar mdenes2013-10-28
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Reduced the noise level when dynlinking in bytecode mode or whenGravatar mdenes2013-02-24
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Native compiler: warnings were not turned off for OCaml 3.11Gravatar mdenes2013-01-24
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22