aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-09
|\
| * Re-enable OCaml warnings disabled by mistake as part of e759333.Gravatar Maxime Dénès2016-03-07
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Gravatar Maxime Dénès2016-01-15
| * MMaps: remove it from final 8.5 release, since this new library isn't mature ...Gravatar Pierre Letouzey2016-01-13
* | mergeGravatar Matej Kosik2016-01-11
|\ \
| * | CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* | | Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\ \ \ | |/ / |/| / | |/
| * Avoid warning 31: test printer was linked twice with Dynlink and Str.Gravatar Maxime Dénès2016-01-05
| * Fix order of files in mllib.Gravatar Maxime Dénès2016-01-05
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-08
|\|
| * Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...Gravatar Matej Kosik2015-12-07
* | Making output of target source-doc a bit less verbose.Gravatar Hugo Herbelin2015-12-05