aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
...
* 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
* | Ensuring that documentation of mli code works in the presence of utf-8Gravatar Hugo Herbelin2015-12-05
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-03
|\|
| * Adding a target report to test-suite's Makefile to get a short summary.Gravatar Hugo Herbelin2015-12-02
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\ \
| | * Universes: enforce Set <= i for all Type occurrences.Gravatar Matthieu Sozeau2015-10-02
| |/
| * Build the compatibility files.Gravatar Guillaume Melquiond2015-09-30
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
| * Updating the documentation and the toolchain w.r.t. the change in -compile.Gravatar Pierre-Marie Pédrot2015-09-25
| * Revert changes in Makefile.build done as part of 2bc88f9a.Gravatar Maxime Dénès2015-09-17
| * Univs: Add universe binding lists to definitionsGravatar Matthieu Sozeau2015-09-14