aboutsummaryrefslogtreecommitdiff
path: root/Makefile.install
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-12-13Split up stdlib install command (too long)Gaëtan Gilbert
2019-10-12[make] separate generated gramlib ml files from mli files (fix #10864)Enrico Tassi
2019-06-17Update py-style headers to new year.Théo Zimmermann
2019-02-06Makefiles: Fixes for byte compilationGaëtan Gilbert
2019-02-06Fix #9486: Makefile.install should not have a target fooGaëtan Gilbert
2018-12-06Rename generated directory gramlib__pack -> gramlib/.packGaëtan Gilbert
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-07-08Remove Emacs modes.Théo Zimmermann
2018-07-07Merge PR #7921: Archive the `gallina` toolMaxime Dénès
2018-06-30Rebuild coqtop$(EXE) in "make coqbinaries" in addition to coqtop.opt$(EXE).Jim Fehrle
2018-06-25Archive the `gallina` toolVincent Laporte
2018-06-11Merge PR #7406: Fix #7214: install knows which ml files do not get compiled t...Pierre-Marie Pédrot
2018-05-31Merge PR #7633: [Makefile] New target “install-merlin”Enrico Tassi
2018-05-29[Makefile] New target “install-merlin”Vincent Laporte
2018-05-23Don't try to install native compiled files if native-compile is not setJim Fehrle
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-02Fix #7214: install knows which ml files do not get compiled to cmx.Gaëtan Gilbert
2018-02-27Update headers following #6543.Théo Zimmermann
2017-12-16[make] More build fixes for static plugins and ocamlfind.Emilio Jesus Gallego Arias
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-08[makefile] Address #6291: install more development files.Emilio Jesus Gallego Arias
2017-11-19Rename coq-inferior.el -> inferior-coq.el to match provided feature.Gaëtan Gilbert
2017-10-13Fix BZ#5785 (make install -j broken)Jason Gross
2017-09-11Remove unneeded fix for BZ#1715Gaëtan Gilbert
2017-08-04Makefile: install-byte works even if -coqide noEnrico Tassi
2017-07-11Add timing scriptsJason Gross
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-05-23enters coq_makefile2Enrico Tassi
2017-03-10[META] [build] Install dlls to kernel/byterunEmilio Jesus Gallego Arias
2016-10-28[build] Add a target to install the META file.Emilio Jesus Gallego Arias
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-24Makefile.install: fix a typo in last commit c954bb5, sorryPierre Letouzey
2016-06-24Makefile.install: fix the install of plugin cmiPierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:58:07 +0000