aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2016-07-12Makefile.build: follow-up of commits by Matej on VERBOSE and READABLE_ML4Pierre Letouzey
2016-07-12Removing "READABLE_ML4=" from "Makefile.build"Matej Kosik
2016-07-11Removing "VERBOSE=" from "Makefile.build"Matej Kosik
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-07-04Merge remote-tracking branch 'github/pr/229' into trunkMaxime Dénès
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29Makefile: $(BEST) controls which coqtop is used to build .voPierre Letouzey
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-06-24remove an old workaround for OCaml 3.11 + MacOS natdynlinkPierre Letouzey
2016-06-24Makefile.build: mitigate potential issues with multiple creations of pack .cmiPierre Letouzey
2016-06-22Makefile.build: "make;make" should redo nothingPierre Letouzey
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-15Makefile.build: ensure a build failure in case of a missing rulePierre Letouzey
2016-06-14Repair the build of ide/coqidetop.cmxs (fix #4812)Pierre Letouzey
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-08Makefile.build split in many smaller files : Makefile.{ide,checker,dev,install}Pierre Letouzey
2016-06-08Makefile: avoid overwriting test.ml when testing grammar.cmaPierre Letouzey
2016-06-05Removing the Q_constr file.Pierre-Marie Pédrot
2016-06-02Move ide serialization libraries from lib/ to ide/Emilio Jesus Gallego Arias
2016-06-02Makefile.build: clean a bit the way MacOS binaries are signedPierre Letouzey
2016-06-01Makefile.build : follow-up of previous commitPierre Letouzey
2016-06-01Makefile.build : improved rules about .cm(x)aPierre Letouzey
2016-06-01Makefile.build : update the otags rulePierre Letouzey
2016-06-01Yet another Makefile reform : a unique phase without nasty make tricksPierre Letouzey
2016-06-01Makefile: restore the use of coqdep_boot for creating .v.d filesPierre Letouzey
2016-04-27Revert "Adding a target for beautification."Hugo Herbelin
2016-04-27Revert "Adding a target check-beautify for testing reparsability of"Hugo Herbelin
2016-04-27Revert "Add plugins to Makefile."Hugo Herbelin
2016-04-27Revert "Re-add -beautify by default."Hugo Herbelin
2016-04-27Revert "Revert "Re-add -beautify by default.""Hugo Herbelin
2016-04-27Revert "Re-add -beautify by default."Hugo Herbelin
2016-04-27Re-add -beautify by default.Hugo Herbelin
2016-04-27Add plugins to Makefile.Hugo Herbelin
2016-04-27Adding a target check-beautify for testing reparsability ofHugo Herbelin
2016-04-27Adding a target for beautification.Hugo Herbelin
2016-03-21Creating a dedicated ltac/ folder for Hightactics.Pierre-Marie Pédrot
2016-03-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-07Re-enable OCaml warnings disabled by mistake as part of e759333.Maxime Dénès
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-15Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Maxime Dénès
2016-01-13MMaps: remove it from final 8.5 release, since this new library isn't mature ...Pierre Letouzey
2016-01-11mergeMatej Kosik
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2016-01-06Merge remote-tracking branch 'origin/v8.5' into trunkGuillaume Melquiond
2016-01-05Avoid warning 31: test printer was linked twice with Dynlink and Str.Maxime Dénès
2016-01-05Fix order of files in mllib.Maxime Dénès
2015-12-08Merge branch 'v8.5'Pierre-Marie Pédrot
2015-12-07Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...Matej Kosik
2015-12-05Making output of target source-doc a bit less verbose.Hugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:07:14 +0000