aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.ide
Commit message (Expand)AuthorAge
* Fix some more missing mkdir lines to Makefile.ideGravatar Jason Gross2017-10-13
* Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-17
* Makefile: install-byte works even if -coqide noGravatar Enrico Tassi2017-08-04
* Makefile.ide: restore a coqide-binaries rule (fix bug 5667)Gravatar Pierre Letouzey2017-07-25
* Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2017-05-30
* Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
* Merge remote-tracking branch 'github/pr/229' into trunkGravatar Maxime Dénès2016-07-04
|\
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
| * Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
|/
* Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* Makefile.build: ensure a build failure in case of a missing ruleGravatar Pierre Letouzey2016-06-15
* 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-23 03:15:45 +0000