aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Gravatar Pierre Letouzey2017-06-13
* Merge PR#709: Bytecode compilation apart from 'make world', againGravatar Maxime Dénès2017-06-12
|\
* | Makefile.common: remove an obsolete comment after PR#499Gravatar Pierre Letouzey2017-06-09
* | Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
* | Merge the ssr plugin.Gravatar Maxime Dénès2017-06-06
* | drop vo.itarget files and compute the corresponding the corresponding values ...Gravatar Matej Kosik2017-06-01
| * Makefile: $(BEST) controls which coqtop is used to build .voGravatar Pierre Letouzey2017-05-30
| * Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
|/
* Remove a forgotten rule for decl_mode from the Makefile.Gravatar Pierre-Marie Pédrot2017-04-07
* Merge PR#455: Farewell decl_modeGravatar Maxime Dénès2017-04-06
|\
* | Fixing dependency order of plugins.Gravatar Hugo Herbelin2017-03-09
| * Farewell decl_modeGravatar Enrico Tassi2017-03-07
|/
* Ltac as a plugin.Gravatar Pierre-Marie Pédrot2017-02-17
* [cosmetic] Reorder makefile as suggested by @herbelinGravatar Emilio Jesus Gallego Arias2017-02-15
* [stm] Break stm/toplevel dependency loop.Gravatar Emilio Jesus Gallego Arias2017-02-15
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* 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
* Makefile.install: fix the install of plugin cmiGravatar Pierre Letouzey2016-06-24
* Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* Fix Makefile after ssrmatching mergeGravatar Enrico Tassi2016-06-16
* Merge remote-tracking branch 'origin/pr/146' into trunkGravatar Enrico Tassi2016-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.common: update PRIVATEBINARIES to repair the build on MACOSGravatar Pierre Letouzey2016-06-02
* | Makefile.common : avoid warnings about files linked twiceGravatar 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
* | Checker: no more -I kernel via a few symlinks (for Names and Esubst)Gravatar Pierre Letouzey2016-05-31
* | Creating a dedicated ltac/ folder for Hightactics.Gravatar Pierre-Marie Pédrot2016-03-21
| * Ssreflect pattern matching facilitiesGravatar Enrico Tassi2016-03-02
|/
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * MMaps: remove it from final 8.5 release, since this new library isn't mature ...Gravatar Pierre Letouzey2016-01-13
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
| * Build the compatibility files.Gravatar Guillaume Melquiond2015-09-30
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-22
|\|
| * Remove generatable documentation files from repository. (Fix bug #4315)Gravatar Guillaume Melquiond2015-08-17
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-08-05
|\|
| * Improve the table of content of the reference manual.Gravatar Guillaume Melquiond2015-07-31
* | 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
| * Introducing MMaps, a modernized FMaps.Gravatar Pierre Letouzey2015-03-04
* | Introducing MMaps, a modernized FMaps.Gravatar Pierre Letouzey2015-03-04
* | Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* | Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-16
* | Using home-made ocamllibdep rather than coqdep_boot.Gravatar Hugo Herbelin2015-02-16
|/
* Makefile: in byte we can always dynlinkGravatar Enrico Tassi2015-02-14
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12