aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* Remove fourier pluginGravatar Maxime Dénès2018-07-17
* [coqpp] Move to its own directory.Gravatar Emilio Jesus Gallego Arias2018-07-11
* Compile coqpp inside the bin/ folder and make it available after installation.Gravatar Pierre-Marie Pédrot2018-07-10
* Merge PR #7921: Archive the `gallina` toolGravatar Maxime Dénès2018-07-07
|\
* \ Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Gravatar Enrico Tassi2018-07-07
|\ \
| * | Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).Gravatar Jim Fehrle2018-06-30
* | | Splitting primitive numeral parser/printer for positive, N, Z into three files.Gravatar Hugo Herbelin2018-06-29
|/ /
| * Archive the `gallina` toolGravatar Vincent Laporte2018-06-25
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-23 22:51:48 +0000