aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* Merge PR #7414: Add .byte targets for every bestocaml targetGravatar Enrico Tassi2018-05-23
|\
* | [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* | Modify make system to include Makefile.common in the test suiteGravatar Gaëtan Gilbert2018-05-16
* | add unit tests to test suiteGravatar Paul Steckler2018-05-16
| * Add .byte targets for every bestocaml targetGravatar Gaëtan Gilbert2018-05-03
|/
* [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* [lib] Split auxiliary libraries into Coq-specific and general.Gravatar Emilio Jesus Gallego Arias2017-12-23
* [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* [general] Merge parsing with highparsing, put toplevel at the top of the link...Gravatar Emilio Jesus Gallego Arias2017-08-29
* Merge PR #937: [general] Remove spurious dependency of highparsing on toplevel.Gravatar Maxime Dénès2017-08-29
|\
| * [general] Remove spurious dependency of highparsing on toplevel.Gravatar Emilio Jesus Gallego Arias2017-07-31
* | [make] remove compat5 file.Gravatar Emilio Jesus Gallego Arias2017-07-27
|/
* Add timing scriptsGravatar Jason Gross2017-07-11
* plugins/ltac : avoid spurious .cmxs filesGravatar Pierre Letouzey2017-06-15
* 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
|\|