aboutsummaryrefslogtreecommitdiff
path: root/Makefile.build
AgeCommit message (Expand)Author
2014-05-06This commit adds full universe polymorphism and fast projections to Coq.Matthieu Sozeau
2014-05-01Fixing ml-doc.Pierre-Marie Pédrot
2014-04-25Adding a stm/ folder, as asked during last workgroup. It was essentially movingPierre-Marie Pédrot
2014-04-10CoqIDE: options for syntax highlightingEnrico Tassi
2014-04-06Change handling of loadpath and mlpath.Guillaume Melquiond
2014-03-24Revert "Makefile: the initial build of grammar.cma is now directory-driven"Pierre Letouzey
2014-03-06make install-coqlight installs DLLCOQRUN and LIBCOQRUNPierre Boutillier
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2014-03-02Makefile: the initial build of grammar.cma is now directory-drivenPierre Letouzey
2014-02-27Makefile: re-introduce 2 phases to avoid make strange -include'sPierre Letouzey
2014-02-24make coqide-binaries does not build coqtop anymorePierre Boutillier
2014-02-24Fix coqide build under MacOSPierre Boutillier
2014-02-10fake_ide: ported to spawnEnrico Tassi
2014-01-30Coqmktop without Sys.command, changes in ./configure -*byteflags optionsPierre Letouzey
2014-01-26configure.ml fixed wrt Win32 + byte-only + coqideEnrico Tassi
2014-01-09Goodbye typerex, Hello merlinPierre
2014-01-09md5 for MacOSPierre
2013-12-20Makefile.build: avoid a -ppPierre Letouzey
2013-12-20Coqdep always uses / as dir_sepPierre Boutillier
2013-12-17Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4ePierre Boutillier
2013-12-12Do not compile coqide with -threadPierre Boutillier
2013-10-29Revert the two last commits. My bad, I messed up git-svn commands...ppedrot
2013-10-29Printing heap on every processed sentence.ppedrot
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-07fake_ide: speak the new protocolgareuselesinge
2013-09-24Fixing ocamldebug compilation by adding thread linking.ppedrot
2013-08-20Fix compilation of coqcheckgareuselesinge
2013-08-08State Transaction Machinegareuselesinge
2013-06-19Fixing argument extension. Instead of qualified names, stringppedrot
2013-06-18Removing the various glob/subst/interp registering functions forppedrot
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-18coqc and coqmktop migrated in tools/, get rid of scripts/ subdirletouzey
2013-04-15Checker : a md5-based way to ensure checker/values.ml is always in syncletouzey
2013-04-15votour: a small tool for guided tours of .voletouzey
2013-02-12Checker: re-sync vo structures after Maxime's commit 16136letouzey
2013-01-22New implementation of the conversion test, using normalization by evaluation tomdenes
2013-01-22Revert "remove -rectypes except for term.ml"mdenes
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-10-23Coqmktop: missing -I (fix #2851)letouzey
2012-10-22Coqide does not need dllcoqrun.sopboutill
2012-10-17Makefile.build: CONFIG is now in clibpboutill
2012-10-17Do not install libcoqrun.so if compiled with -custompboutill
2012-10-15Makefiles: Only -I required dirs (config, lib, ide) when compiling coqidepboutill
2012-10-15Makefile.build: $(MLINCLUDES) out of $(OPT/BYTEFLAGS)pboutill
2012-10-06Turn mltop.ml4 into a regular ocaml fileletouzey
2012-10-06no need for camlp4 cma's in coq misc toolsletouzey
2012-10-06remove -rectypes except for term.mlletouzey
2012-10-04Makefile.build: easier compilation with timings infoletouzey
2012-10-02New makefile shortcuts miniopt and minibyte for coqtop + pluginsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 10:31:42 +0000