aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.build
Commit message (Expand)AuthorAge
* 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
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* Checker : a md5-based way to ensure checker/values.ml is always in syncGravatar letouzey2013-04-15
* votour: a small tool for guided tours of .voGravatar letouzey2013-04-15
* Checker: re-sync vo structures after Maxime's commit 16136Gravatar letouzey2013-02-12
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Revert "remove -rectypes except for term.ml"Gravatar mdenes2013-01-22
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Coqmktop: missing -I (fix #2851)Gravatar letouzey2012-10-23
* Coqide does not need dllcoqrun.soGravatar pboutill2012-10-22
* Makefile.build: CONFIG is now in clibGravatar pboutill2012-10-17
* Do not install libcoqrun.so if compiled with -customGravatar pboutill2012-10-17
* Makefiles: Only -I required dirs (config, lib, ide) when compiling coqideGravatar pboutill2012-10-15
* Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS)Gravatar pboutill2012-10-15
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* no need for camlp4 cma's in coq misc toolsGravatar letouzey2012-10-06
* remove -rectypes except for term.mlGravatar letouzey2012-10-06
* Makefile.build: easier compilation with timings infoGravatar letouzey2012-10-04
* New makefile shortcuts miniopt and minibyte for coqtop + pluginsGravatar letouzey2012-10-02