aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.install
Commit message (Expand)AuthorAge
* Merge PR #7406: Fix #7214: install knows which ml files do not get compiled t...Gravatar Pierre-Marie Pédrot2018-06-11
|\
* \ Merge PR #7633: [Makefile] New target “install-merlin”Gravatar Enrico Tassi2018-05-31
|\ \
| * | [Makefile] New target “install-merlin”Gravatar Vincent Laporte2018-05-29
* | | Don't try to install native compiled files if native-compile is not setGravatar Jim Fehrle2018-05-23
|/ /
* | [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
| * Fix #7214: install knows which ml files do not get compiled to cmx.Gravatar Gaëtan Gilbert2018-05-02
|/
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [make] More build fixes for static plugins and ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-16
* Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\
| * [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
* | [makefile] Address #6291: install more development files.Gravatar Emilio Jesus Gallego Arias2017-12-08
|/
* Rename coq-inferior.el -> inferior-coq.el to match provided feature.Gravatar Gaëtan Gilbert2017-11-19
* Fix BZ#5785 (make install -j broken)Gravatar Jason Gross2017-10-13
* Remove unneeded fix for BZ#1715Gravatar Gaëtan Gilbert2017-09-11
* Makefile: install-byte works even if -coqide noGravatar Enrico Tassi2017-08-04
* Add timing scriptsGravatar Jason Gross2017-07-11
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
* enters coq_makefile2Gravatar Enrico Tassi2017-05-23
* [META] [build] Install dlls to kernel/byterunGravatar Emilio Jesus Gallego Arias2017-03-10
* [build] Add a target to install the META file.Gravatar Emilio Jesus Gallego Arias2016-10-28
* 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
* Makefile.install: fix a typo in last commit c954bb5, sorryGravatar Pierre Letouzey2016-06-24
* Makefile.install: fix the install of plugin cmiGravatar Pierre Letouzey2016-06-24
* Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Gravatar Pierre Letouzey2016-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 05:57:51 +0000