aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* Merge PR#515: extract "plugins/micromega/micromega.ml{,i}" files from "plugin...Gravatar Maxime Dénès2017-06-02
|\
| * a solution that works also with make 3.81Gravatar Matej Kosik2017-06-01
| * extract "plugins/micromega/micromega.ml{,i}" files from "plugins/micromega/ME...Gravatar Matej Kosik2017-06-01
* | Makefile.build: test-suite all = run + report, so don't report againGravatar Gaëtan Gilbert2017-05-31
|/
* ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliGravatar Enrico Tassi2017-05-23
* [camlpX] Enrico's changes to camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* [xml] Restore protocol compatibility with 8.6.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Remove richpp from fake_ide.Gravatar Emilio Jesus Gallego Arias2017-03-21
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Converting certain "order-only" (Makefile) dependencies to regular dependencies.Gravatar Matej Kosik2016-10-19
* No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
* Makefile.build: minor simplificationGravatar Pierre Letouzey2016-07-26
* Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Gravatar Pierre Letouzey2016-07-12
* Removing "READABLE_ML4=" from "Makefile.build"Gravatar Matej Kosik2016-07-12
* Removing "VERBOSE=" from "Makefile.build"Gravatar Matej Kosik2016-07-11
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Merge remote-tracking branch 'github/pr/229' into trunkGravatar Maxime Dénès2016-07-04
|\
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
| * Makefile: $(BEST) controls which coqtop is used to build .voGravatar Pierre Letouzey2016-06-29
| * Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
|/
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* remove an old workaround for OCaml 3.11 + MacOS natdynlinkGravatar Pierre Letouzey2016-06-24
* Makefile.build: mitigate potential issues with multiple creations of pack .cmiGravatar Pierre Letouzey2016-06-24
* Makefile.build: "make;make" should redo nothingGravatar Pierre Letouzey2016-06-22
* Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* Makefile.build: ensure a build failure in case of a missing ruleGravatar Pierre Letouzey2016-06-15
* Repair the build of ide/coqidetop.cmxs (fix #4812)Gravatar Pierre Letouzey2016-06-14
* Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08
* Makefile: avoid overwriting test.ml when testing grammar.cmaGravatar Pierre Letouzey2016-06-08
* Removing the Q_constr file.Gravatar Pierre-Marie Pédrot2016-06-05
* Move ide serialization libraries from lib/ to ide/Gravatar Emilio Jesus Gallego Arias2016-06-02
* Makefile.build: clean a bit the way MacOS binaries are signedGravatar Pierre Letouzey2016-06-02
* Makefile.build : follow-up of previous commitGravatar Pierre Letouzey2016-06-01
* Makefile.build : improved rules about .cm(x)aGravatar Pierre Letouzey2016-06-01
* Makefile.build : update the otags ruleGravatar Pierre Letouzey2016-06-01
* Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01
* Makefile: restore the use of coqdep_boot for creating .v.d filesGravatar Pierre Letouzey2016-06-01
* Revert "Adding a target for beautification."Gravatar Hugo Herbelin2016-04-27
* Revert "Adding a target check-beautify for testing reparsability of"Gravatar Hugo Herbelin2016-04-27
* Revert "Add plugins to Makefile."Gravatar Hugo Herbelin2016-04-27
* Revert "Re-add -beautify by default."Gravatar Hugo Herbelin2016-04-27
* Revert "Revert "Re-add -beautify by default.""Gravatar Hugo Herbelin2016-04-27
* Revert "Re-add -beautify by default."Gravatar Hugo Herbelin2016-04-27
* Re-add -beautify by default.Gravatar Hugo Herbelin2016-04-27
* Add plugins to Makefile.Gravatar Hugo Herbelin2016-04-27
* Adding a target check-beautify for testing reparsability ofGravatar Hugo Herbelin2016-04-27
* Adding a target for beautification.Gravatar Hugo Herbelin2016-04-27
* Creating a dedicated ltac/ folder for Hightactics.Gravatar Pierre-Marie Pédrot2016-03-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-26 13:32:59 +0000