aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
...
* | Ensuring that documentation of mli code works in the presence of utf-8Gravatar Hugo Herbelin2015-12-05
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-12-03
|\|
| * Adding a target report to test-suite's Makefile to get a short summary.Gravatar Hugo Herbelin2015-12-02
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\ \
| | * Universes: enforce Set <= i for all Type occurrences.Gravatar Matthieu Sozeau2015-10-02
| |/
| * Build the compatibility files.Gravatar Guillaume Melquiond2015-09-30
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
| * Updating the documentation and the toolchain w.r.t. the change in -compile.Gravatar Pierre-Marie Pédrot2015-09-25
| * Revert changes in Makefile.build done as part of 2bc88f9a.Gravatar Maxime Dénès2015-09-17
| * Univs: Add universe binding lists to definitionsGravatar Matthieu Sozeau2015-09-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-06
|\|
| * Adding a Makefile target for the MSets and MMaps directories.Gravatar Pierre-Marie Pédrot2015-09-06
* | Fixing generation of dev/printers.mllib.d after ocamllibdep is used (48d611ff...Gravatar Hugo Herbelin2015-08-29
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-27
|\|
| * Silence `which`Gravatar Jason Gross2015-07-23
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-07-18
|\|
| * Updating checksum in checker (9c732a5cc continued).Gravatar Hugo Herbelin2015-07-12
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-07-02
|\|
| * Revert "Add target to install dev files."Gravatar Maxime Dénès2015-07-02
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-28
|\|
| * Add target to install dev files.Gravatar Matthieu Sozeau2015-06-26
| * Adding a more efficient representation of OCaml objects in votour.Gravatar Pierre-Marie Pédrot2015-06-25
| * More silent Makefile when looking for codesign.Gravatar Maxime Dénès2015-06-24
* | All invocations to ocaml compilers go through ocamlfindGravatar Pierre Boutillier2015-06-22
* | Merge v8.5 into trunkGravatar Hugo Herbelin2015-05-15
|\|
| * Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-04-15
|\|
| * Fix compilation broken by Matthieu's last commit.Gravatar Pierre Letouzey2015-04-10
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-03-23
|\|
| * Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesignGravatar Pierre Boutillier2015-03-14
* | Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* | Using home-made ocamllibdep rather than coqdep_boot.Gravatar Hugo Herbelin2015-02-16
* | Restricting the need for coqdep_boot to mllib.d files (since ocamlGravatar Hugo Herbelin2015-02-16
|/
* Fixup version & copyright for MacOS bundleGravatar Pierre Boutillier2015-02-13
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
* Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* Always build (even when -coqide no) and install idetoploopGravatar Pierre Boutillier2015-01-15
* Makefile: install ide/*langGravatar Enrico Tassi2015-01-14
* typo in coqide compilation rules after -thread requirementGravatar Pierre Boutillier2015-01-12
* Fixing Makefile so that it puts the -thread flag on the right place.Gravatar Pierre-Marie Pédrot2014-12-17
* Revert and correctly fix "#4843 part 2 : The .cmxs files for plugins must hav...Gravatar Pierre Boutillier2014-12-17
* Proper thread-safe implementation for Exninfo.Gravatar Pierre-Marie Pédrot2014-12-16
* #4843 part 2 : The .cmxs files for plug-ins must have execute permissionGravatar Pierre Boutillier2014-12-12
* win32: bring back the coq icon in the coqide binaryGravatar Enrico Tassi2014-09-17
* IDECDEPSFLAGS is for byte, not optGravatar Enrico Tassi2014-09-09
* Removing the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* Make CoqIDE compile with windows (Closes: 3573)Gravatar Enrico Tassi2014-09-04
* coqworkmgrGravatar Enrico Tassi2014-09-02
* Distributed binaries under MacOS are signed.Gravatar Pierre Boutillier2014-08-26