aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
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
2015-12-05Ensuring that documentation of mli code works in the presence of utf-8Hugo Herbelin
2015-12-03Merge branch 'v8.5'Pierre-Marie Pédrot
2015-12-02Adding a target report to test-suite's Makefile to get a short summary.Hugo Herbelin
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-02Universes: enforce Set <= i for all Type occurrences.Matthieu Sozeau
2015-09-30Build the compatibility files.Guillaume Melquiond
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-25Updating the documentation and the toolchain w.r.t. the change in -compile.Pierre-Marie Pédrot
2015-09-17Revert changes in Makefile.build done as part of 2bc88f9a.Maxime Dénès
2015-09-14Univs: Add universe binding lists to definitionsMatthieu Sozeau
2015-09-06Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-06Adding a Makefile target for the MSets and MMaps directories.Pierre-Marie Pédrot
2015-08-29Fixing generation of dev/printers.mllib.d after ocamllibdep is used (48d611ff...Hugo Herbelin
2015-07-27Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-23Silence `which`Jason Gross
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 18:30:08 +0000