aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
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
2015-07-18Merge branch 'v8.5'Pierre-Marie Pédrot
2015-07-12Updating checksum in checker (9c732a5cc continued).Hugo Herbelin
2015-07-02Merge branch 'v8.5' into trunkMaxime Dénès
2015-07-02Revert "Add target to install dev files."Maxime Dénès
2015-06-28Merge branch 'v8.5'Pierre-Marie Pédrot
2015-06-26Add target to install dev files.Matthieu Sozeau
2015-06-25Adding a more efficient representation of OCaml objects in votour.Pierre-Marie Pédrot
2015-06-24More silent Makefile when looking for codesign.Maxime Dénès
2015-06-22All invocations to ocaml compilers go through ocamlfindPierre Boutillier
2015-05-15Merge v8.5 into trunkHugo Herbelin
2015-05-14Disable precompilation for native_compute by default.Guillaume Melquiond
2015-04-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-04-10Fix compilation broken by Matthieu's last commit.Pierre Letouzey
2015-03-23Merge branch 'v8.5'Pierre-Marie Pédrot
2015-03-14Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesignPierre Boutillier
2015-02-27Adding a new folder corresponding to the low-level part of the pretyperPierre-Marie Pédrot
2015-02-16Using home-made ocamllibdep rather than coqdep_boot.Hugo Herbelin
2015-02-16Restricting the need for coqdep_boot to mllib.d files (since ocamlHugo Herbelin
2015-02-13Fixup version & copyright for MacOS bundlePierre Boutillier
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-01-15Always build (even when -coqide no) and install idetoploopPierre Boutillier
2015-01-14Makefile: install ide/*langEnrico Tassi
2015-01-12typo in coqide compilation rules after -thread requirementPierre Boutillier
2014-12-17Fixing Makefile so that it puts the -thread flag on the right place.Pierre-Marie Pédrot
2014-12-17Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must hav...Pierre Boutillier
2014-12-16Proper thread-safe implementation for Exninfo.Pierre-Marie Pédrot
2014-12-12#4843 part 2 : The .cmxs files for plug-ins must have execute permissionPierre Boutillier
2014-09-17win32: bring back the coq icon in the coqide binaryEnrico Tassi
2014-09-09IDECDEPSFLAGS is for byte, not optEnrico Tassi
2014-09-08Removing the XML plugin.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 02:44:35 +0000