aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
* make install-coqlight installs DLLCOQRUN and LIBCOQRUNGravatar Pierre Boutillier2014-03-06
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* Makefile: the initial build of grammar.cma is now directory-drivenGravatar Pierre Letouzey2014-03-02
* Makefile: re-introduce 2 phases to avoid make strange -include'sGravatar Pierre Letouzey2014-02-27
* make coqide-binaries does not build coqtop anymoreGravatar Pierre Boutillier2014-02-24
* Fix coqide build under MacOSGravatar Pierre Boutillier2014-02-24
* fake_ide: ported to spawnGravatar Enrico Tassi2014-02-10
* Coqmktop without Sys.command, changes in ./configure -*byteflags optionsGravatar Pierre Letouzey2014-01-30
* configure.ml fixed wrt Win32 + byte-only + coqideGravatar Enrico Tassi2014-01-26
* Goodbye typerex, Hello merlinGravatar Pierre2014-01-09
* md5 for MacOSGravatar Pierre2014-01-09
* Makefile.build: avoid a -ppGravatar Pierre Letouzey2013-12-20
* Coqdep always uses / as dir_sepGravatar Pierre Boutillier2013-12-20
* Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4eGravatar Pierre Boutillier2013-12-17
* Do not compile coqide with -threadGravatar Pierre Boutillier2013-12-12
* Revert the two last commits. My bad, I messed up git-svn commands...Gravatar ppedrot2013-10-29
* Printing heap on every processed sentence.Gravatar ppedrot2013-10-29
* CoqIDE: move cmd_stack to a separate module: DocumentGravatar gareuselesinge2013-10-10
* fake_ide: speak the new protocolGravatar gareuselesinge2013-10-07
* Fixing ocamldebug compilation by adding thread linking.Gravatar ppedrot2013-09-24
* Fix compilation of coqcheckGravatar gareuselesinge2013-08-20
* State Transaction MachineGravatar gareuselesinge2013-08-08
* Fixing argument extension. Instead of qualified names, stringGravatar ppedrot2013-06-19
* Removing the various glob/subst/interp registering functions forGravatar ppedrot2013-06-18
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06