aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-06
|\|
| * Adding a Makefile target for the MSets and MMaps directories.Gravatar Pierre-Marie Pédrot2015-09-06
* | Fixing generation of dev/printers.mllib.d after ocamllibdep is used (48d611ff...Gravatar Hugo Herbelin2015-08-29
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-27
|\|
| * Silence `which`Gravatar Jason Gross2015-07-23
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
|\|
| * Updating checksum in checker (9c732a5cc continued).Gravatar Hugo Herbelin2015-07-12
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-02
|\|
| * Revert "Add target to install dev files."Gravatar Maxime Dénès2015-07-02
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-28
|\|
| * Add target to install dev files.Gravatar Matthieu Sozeau2015-06-26
| * Adding a more efficient representation of OCaml objects in votour.Gravatar Pierre-Marie Pédrot2015-06-25
| * More silent Makefile when looking for codesign.Gravatar Maxime Dénès2015-06-24
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
* | Merge v8.5 into trunkGravatar Hugo Herbelin2015-05-15
|\|
| * Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-04-15
|\|
| * Fix compilation broken by Matthieu's last commit.Gravatar Pierre Letouzey2015-04-10
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-23
|\|
| * Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesignGravatar Pierre Boutillier2015-03-14
* | Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* | Using home-made ocamllibdep rather than coqdep_boot.Gravatar Hugo Herbelin2015-02-16
* | Restricting the need for coqdep_boot to mllib.d files (since ocamlGravatar Hugo Herbelin2015-02-16
|/
* Fixup version & copyright for MacOS bundleGravatar Pierre Boutillier2015-02-13
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12