aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.install
Commit message (Expand)AuthorAge
* 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-25 02:03:23 +0000