aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-07Merge PR #7956: Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coq...Enrico Tassi
2018-07-04Make bin/ in makefile, not configure.Gaëtan Gilbert
2018-06-30Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).Jim Fehrle
2018-06-29Use a homebrew parser to replace the GEXTEND extension points of Camlp5.Pierre-Marie Pédrot
2018-05-31Merge PR #7401: Automatically run alienclean before compiling.Enrico Tassi
2018-05-29[Makefile] New target “install-merlin”Vincent Laporte
2018-05-23Merge PR #7567: Clean-up dead file in test-suite.Enrico Tassi
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-18Clean-up dead file in test-suite.Théo Zimmermann
2018-05-16add unit tests to test suitePaul Steckler
2018-05-01Automatically run alienclean before compiling.Gaëtan Gilbert
2018-04-16Remove LaTeX refman, now that migration to Sphinx is completeMaxime Dénès
2018-03-09Integration of a sphinx-based documentation generator.Maxime Dénès
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-20Merge PR #6377: Removal of the FAQ LaTex document.Maxime Dénès
2017-12-18Removing the FAQ, which has been moved to the GitHub wiki for thisMatt Quinn
2017-12-10[make] remove unneeded generated file "tolink.ml"Emilio Jesus Gallego Arias
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-11-28Add alienclean target to remove compilation products with no source.Gaëtan Gilbert
2017-11-23Fix link to Recursive Make Considered HarmfulGaëtan Gilbert
2017-09-13Fix GitLab CIGaëtan Gilbert
2017-08-13Makefile : ignore user-contrib in various file searchesPierre Letouzey
2017-08-02Makefile: 'make clean' now immune to the check for binary files without sourcesPierre Letouzey
2017-07-28Merge PR #852: Makefile: fails if some .vo or .cm* file has no sourceMaxime Dénès
2017-07-11Add timing scriptsJason Gross
2017-07-05Makefile: fails if some .vo or .cm* file has no sourcePierre Letouzey
2017-06-14Makefile.build : cleanup now that micromega.ml isn't generated + sync check o...Pierre Letouzey
2017-06-13BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo)Pierre Letouzey
2017-06-01mention 'make world' without 'byte' in CHANGES + 2 minor suggestionsPierre Letouzey
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-05-28Gitlab CIGaëtan Gilbert
2017-05-23test suite for coq_makefileEnrico Tassi
2017-05-01Avoiding registering files from _build_ci when not calling Makefile.ci.Hugo Herbelin
2017-02-07[travis] [External CI] Script renaming.Emilio Jesus Gallego Arias
2017-02-07[travis] [External CI] compcert HoTT math-compEmilio Jesus Gallego Arias
2016-12-07Merge branch 'v8.6'Pierre-Marie Pédrot
2016-12-05Compute dependency of C files only in kernel/byterun.Maxime Dénès
2016-07-26No more dev/printers.cmaPierre Letouzey
2016-07-12Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Pierre Letouzey
2016-07-12Makefile: no more .ml4.d hence no more rule to clean themPierre Letouzey
2016-07-12expanding "make help" a little bitMatej Kosik
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
2016-06-08Makefile: make clean now removes the .coq-native subdirsPierre Letouzey
2016-06-01Yet another Makefile reform : a unique phase without nasty make tricksPierre Letouzey
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:44:19 +0000