aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Gravatar Enrico Tassi2018-07-07
|\
* | Make bin/ in makefile, not configure.Gravatar Gaëtan Gilbert2018-07-04
| * Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).Gravatar Jim Fehrle2018-06-30
* | Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Gravatar Pierre-Marie Pédrot2018-06-29
|/
* Merge PR #7401: Automatically run alienclean before compiling.Gravatar Enrico Tassi2018-05-31
|\
* | [Makefile] New target “install-merlin”Gravatar Vincent Laporte2018-05-29
* | Merge PR #7567: Clean-up dead file in test-suite.Gravatar Enrico Tassi2018-05-23
|\ \
* | | [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
| * | Clean-up dead file in test-suite.Gravatar Théo Zimmermann2018-05-18
|/ /
* | add unit tests to test suiteGravatar Paul Steckler2018-05-16
| * Automatically run alienclean before compiling.Gravatar Gaëtan Gilbert2018-05-01
|/
* Remove LaTeX refman, now that migration to Sphinx is completeGravatar Maxime Dénès2018-04-16
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
* Merge PR #6377: Removal of the FAQ LaTex document.Gravatar Maxime Dénès2017-12-20
|\
| * Removing the FAQ, which has been moved to the GitHub wiki for thisGravatar Matt Quinn2017-12-18
* | [make] remove unneeded generated file "tolink.ml"Gravatar Emilio Jesus Gallego Arias2017-12-10
* | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* | Add alienclean target to remove compilation products with no source.Gravatar Gaëtan Gilbert2017-11-28
|/
* Fix link to Recursive Make Considered HarmfulGravatar Gaëtan Gilbert2017-11-23
* Fix GitLab CIGravatar Gaëtan Gilbert2017-09-13
* Makefile : ignore user-contrib in various file searchesGravatar Pierre Letouzey2017-08-13
* Makefile: 'make clean' now immune to the check for binary files without sourcesGravatar Pierre Letouzey2017-08-02
* Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceGravatar Maxime Dénès2017-07-28
|\
* | Add timing scriptsGravatar Jason Gross2017-07-11
| * Makefile: fails if some .vo or .cm* file has no sourceGravatar Pierre Letouzey2017-07-05
|/
* Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Gravatar Pierre Letouzey2017-06-14
* BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Gravatar Pierre Letouzey2017-06-13
* mention 'make world' without 'byte' in CHANGES + 2 minor suggestionsGravatar Pierre Letouzey2017-06-01
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
* Gitlab CIGravatar Gaëtan Gilbert2017-05-28
* test suite for coq_makefileGravatar Enrico Tassi2017-05-23
* Avoiding registering files from _build_ci when not calling Makefile.ci.Gravatar Hugo Herbelin2017-05-01
* [travis] [External CI] Script renaming.Gravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] [External CI] compcert HoTT math-compGravatar Emilio Jesus Gallego Arias2017-02-07
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-12-07
|\
| * Compute dependency of C files only in kernel/byterun.Gravatar Maxime Dénès2016-12-05
* | No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
|/
* Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Gravatar Pierre Letouzey2016-07-12
* Makefile: no more .ml4.d hence no more rule to clean themGravatar Pierre Letouzey2016-07-12
* expanding "make help" a little bitGravatar Matej Kosik2016-07-12
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
* 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: make clean now removes the .coq-native subdirsGravatar Pierre Letouzey2016-06-08
* Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 16:33:23 +0000