aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundleGravatar Pierre Boutillier2014-07-22
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Revert "Makefile: the initial build of grammar.cma is now directory-driven"Gravatar Pierre Letouzey2014-03-24
* Makefile: the initial build of grammar.cma is now directory-drivenGravatar Pierre Letouzey2014-03-02
* .*.aux erased by make distcleanGravatar Pierre Boutillier2014-02-28
* Makefile: re-introduce 2 phases to avoid make strange -include'sGravatar Pierre Letouzey2014-02-27
* Fixup make clean and .merlinGravatar Pierre Boutillier2014-01-18
* Remove unused Makefile lines about .elc compilationGravatar Pierre Letouzey2013-12-20
* coqc and coqmktop migrated in tools/, get rid of scripts/ subdirGravatar letouzey2013-04-18
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Remove broken makefile option NO_RECOMPILE_LIBGravatar letouzey2012-09-20
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* No more coqtop.opt, produce directly a coqtop binaryGravatar letouzey2012-08-23
* Makefile: avoid too much exported vars (for win32)Gravatar letouzey2012-05-29
* Configure asks for lablgtk >= 2.12 with gtksourceview2Gravatar pboutill2012-04-27
* make otags only relies on otagsGravatar pboutill2012-04-12
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Makefile: fix make distclean w.r.t. test-suiteGravatar letouzey2012-01-17
* fake_ide: a short program to mimic an ide talking to coqtop -ideslaveGravatar letouzey2011-09-05
* Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395Gravatar pboutill2011-04-08
* Add a test for sorting all universes of stdlibGravatar glondu2011-01-25
* files introduce in commit 13401 aren't erased anymore by 'make clean'Gravatar pboutill2010-09-10
* Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...Gravatar notin2010-06-23
* Fix test-suite cleaningGravatar glondu2010-06-02
* "make source-doc" builds documentation of mli in html and pdf atGravatar pboutill2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Makefile: some more cleanupGravatar letouzey2010-03-05
* Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...Gravatar letouzey2010-03-04
* Makefile: no more separate stagesGravatar letouzey2010-03-04
* Makefile: cleanup of variables containing lists of files, such as MLFILESGravatar letouzey2010-03-04
* Makefile: make devdocclean was not removing *.dep.ps, btw let's remove *.dep....Gravatar letouzey2010-03-04
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Slight reorganisation of make clean, new entry cleankeepvoGravatar letouzey2010-02-26
* Remove bashismsGravatar glondu2010-01-28
* make init + NMake.v/NMake_gen.vGravatar notin2010-01-26
* Remove interface pluginGravatar glondu2009-12-02
* Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box.Gravatar gmelquio2009-09-28
* Update link to "Recursive Make Considered Harmful"Gravatar glondu2009-09-21
* Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchGravatar herbelin2009-04-08
* Makefile: ocamlbuild's _build is not traversed by find, and removed by make c...Gravatar letouzey2009-04-03
* Committed patch sent by Samuel Bronson on Mar 14 2009 to take care ofGravatar herbelin2009-03-31
* clean revision and coqdep_boot, tooGravatar lmamane2009-03-26
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* renamed %-mod.ml into %_mod.ml to avoid ocaml warningGravatar barras2009-03-18
* Makefile:clean: rm *-mod.mlGravatar barras2009-03-17
* coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...Gravatar letouzey2009-03-16
* Makefile: fix ignored errors, several attempts to clarify thingsGravatar letouzey2009-03-16
* Makefile: ml dependencies of contribs are moved to .mllib filesGravatar letouzey2009-03-14
* Heavy modifications on the widget and edition tab creation mechanism.Gravatar vgross2009-03-02
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11