aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-03-18binding generator for coqidecharguer
2019-03-03Cleanup exported variables in Makefile.buildGaëtan Gilbert
2019-03-01[Kernel] Simpler generation of opcode filesVincent Laporte
2019-02-04Primitive integersMaxime Dénès
2019-01-19Fix makefile .merlin for unit testsGaëtan Gilbert
2019-01-17Merge PR #9326: [ci] compile with -quick & validate after vio2voGaëtan Gilbert
2019-01-10[make] support for QUICKEnrico Tassi
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-11-02Remove ml4 from Coq's make build systemGaëtan Gilbert
2018-11-02Select OS specific coqide code with cp.Gaëtan Gilbert
2018-10-29[gramlib] Original Import from Camlp5 repos.Emilio Jesus Gallego Arias
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-10-17[doc] [build] Remove ocamlbuild leftovers.Emilio Jesus Gallego Arias
2018-10-02[doc] [api] Remove `ocamldoc` support in favor of `odoc`Emilio Jesus Gallego Arias
2018-09-20Use "rm -rf" so .coq-native directories are removed. Fixes #8496.Jim Fehrle
2018-09-12Merge PR #8243: Remove xargs from "make clean" so it won't fail on CygwinEnrico Tassi
2018-09-10Fix #8358: circular make dependency for camldevfilesGaëtan Gilbert
2018-08-30Replace use of xargs in "make clean", which tends to fail on Windows/Cygwin.Jim Fehrle
2018-08-28Put camldevfiles targets in MakefileGaëtan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:58:22 +0000