aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* Re-enable OCaml warnings disabled by mistake as part of e759333.Gravatar Maxime Dénès2016-03-07
* Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.Gravatar Maxime Dénès2016-01-15
* MMaps: remove it from final 8.5 release, since this new library isn't mature ...Gravatar Pierre Letouzey2016-01-13
* Avoid warning 31: test printer was linked twice with Dynlink and Str.Gravatar Maxime Dénès2016-01-05
* Fix order of files in mllib.Gravatar Maxime Dénès2016-01-05
* Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma...Gravatar Matej Kosik2015-12-07
* Adding a target report to test-suite's Makefile to get a short summary.Gravatar Hugo Herbelin2015-12-02
* Universes: enforce Set <= i for all Type occurrences.Gravatar Matthieu Sozeau2015-10-02
* Build the compatibility files.Gravatar Guillaume Melquiond2015-09-30
* 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
* Adding a Makefile target for the MSets and MMaps directories.Gravatar Pierre-Marie Pédrot2015-09-06
* Silence `which`Gravatar Jason Gross2015-07-23
* Updating checksum in checker (9c732a5cc continued).Gravatar Hugo Herbelin2015-07-12
* Revert "Add target to install dev files."Gravatar Maxime Dénès2015-07-02
* 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
* Disable precompilation for native_compute by default.Gravatar Guillaume Melquiond2015-05-14
* Fix compilation broken by Matthieu's last commit.Gravatar Pierre Letouzey2015-04-10
* Fix Bug 3548 - Makefile should fallback gracefully in the absence of codesignGravatar Pierre Boutillier2015-03-14
* 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
* Fixing ml-dot & mli-dot targets.Gravatar Pierre-Marie Pédrot2014-08-23
* fixup fakeide test-suiteGravatar Pierre Boutillier2014-07-24
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22
* When I make MacOS binary, I would like to have a coqtop able to speak to coqi...Gravatar Pierre Boutillier2014-07-22
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* cut toploop(s) out of coqtop: now they are loaded dynamicallyGravatar Enrico Tassi2014-06-25
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Fixing ml-doc.Gravatar Pierre-Marie Pédrot2014-05-01
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25
* CoqIDE: options for syntax highlightingGravatar Enrico Tassi2014-04-10
* Change handling of loadpath and mlpath.Gravatar Guillaume Melquiond2014-04-06
* Revert "Makefile: the initial build of grammar.cma is now directory-driven"Gravatar Pierre Letouzey2014-03-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 21:47:40 +0000