aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* Merge PR #7543: [ide] Move common protocol library to its own folder/object.Gravatar Pierre-Marie Pédrot2018-05-26
|\
* | Fix recipe for FAKEIDEBYTEGravatar Gaëtan Gilbert2018-05-24
| * [ide] Move common protocol library to its own folder/object.Gravatar Emilio Jesus Gallego Arias2018-05-24
|/
* Merge PR #7575: [build] Add -cclib -lcoqrun options to build of kernel.cmxa.Gravatar Enrico Tassi2018-05-24
|\
* \ Merge PR #7414: Add .byte targets for every bestocaml targetGravatar Enrico Tassi2018-05-23
|\ \
| | * [build] Add -cclib -lcoqrun options to build of kernel.cmxa.Gravatar Emilio Jesus Gallego Arias2018-05-22
| |/ |/|
* | [ide] Remove special option `-ideslave`Gravatar Emilio Jesus Gallego Arias2018-05-21
* | [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* | Modify make system to include Makefile.common in the test suiteGravatar Gaëtan Gilbert2018-05-16
| * Add .byte targets for every bestocaml targetGravatar Gaëtan Gilbert2018-05-03
|/
* [build] Simpler byte/opt toplevel build.Gravatar Emilio Jesus Gallego Arias2018-03-05
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Merge PR #6646: Change references to CAMLP4 to CAMLP5 since we no longer use ...Gravatar Maxime Dénès2018-02-19
|\
| * Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
* | [build] Fix VM dynamic linking prep in byte builds.Gravatar Emilio Jesus Gallego Arias2018-02-14
|/
* Merge PR #6448: Cleanup and add debug printers a bitGravatar Maxime Dénès2018-01-18
|\
* \ Merge PR #6518: Fix build of micromega & nsatz with OCaml 4.06Gravatar Maxime Dénès2018-01-08
|\ \
| * | [Makefile] plugins micromega and nsatz depend on unix and numGravatar Vincent Laporte2017-12-28
* | | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
|/ /
* | [lib] Split auxiliary libraries into Coq-specific and general.Gravatar Emilio Jesus Gallego Arias2017-12-23
| * Cleanup debug printers a bit, add generated mli.Gravatar Gaëtan Gilbert2017-12-22
* | Merge PR #6234: Make the micromega extraction check a regular output test.Gravatar Maxime Dénès2017-12-20
|\ \
* \ \ Merge PR #6305: Build with windows line endingsGravatar Maxime Dénès2017-12-18
|\ \ \
* \ \ \ Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\ \ \ \ | |_|_|/ |/| | |
| | * | For bug 6249, Segmentation fault when building Coq on Windows 10.Gravatar Jim2017-12-16
| * | | Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
| |/ /
* | | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \
* | | | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| |/ / |/| |
| * | [make] remove unneeded generated file "tolink.ml"Gravatar Emilio Jesus Gallego Arias2017-12-10
| * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
|/ /
| * Make the micromega extraction check a regular output test.Gravatar Gaëtan Gilbert2017-11-28
|/
* Fix micromega.ml to match generated file and enforce match in make.Gravatar Gaëtan Gilbert2017-11-16
* Merge PR #1054: Restoring test on ident validity while browsing directory str...Gravatar Maxime Dénès2017-10-11
|\
| * Restoring test on ident validity while browsing directory structure.Gravatar Hugo Herbelin2017-10-10
* | [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
|/
* Fix hardcoded boot dependencies after #1041.Gravatar Gaëtan Gilbert2017-10-07
* Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Gravatar Maxime Dénès2017-10-05
|\
* | coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
| * Supporting library names in utf8 in coqdep.Gravatar Hugo Herbelin2017-09-13
|/
* Merge PR #958: coq_makefile: build/use .cma for packed plugins tooGravatar Maxime Dénès2017-08-31
|\
* \ Merge PR #773: [flags] Remove XML output flag.Gravatar Maxime Dénès2017-08-29
|\ \
| | * test-suite: depend on byte compilation tooGravatar Enrico Tassi2017-08-29
| |/ |/|
* | More portable location for the time command.Gravatar Théo Zimmermann2017-08-12
| * [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
|/
* Merge PR #921: [make] remove compat5 file.Gravatar Maxime Dénès2017-08-01
|\
* \ Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceGravatar Maxime Dénès2017-07-28
|\ \
| | * [make] remove compat5 file.Gravatar Emilio Jesus Gallego Arias2017-07-27
| |/ |/|
* | make sure that API-leaks cannot be reintroduced by mistakeGravatar Matej Košík2017-07-26
* | Merge branch 'v8.7'Gravatar Maxime Dénès2017-07-20
|\ \
* | | [API] Remove `open API` in ml files in favor of `-open API` flag.Gravatar Emilio Jesus Gallego Arias2017-07-17