aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2012-04-12lib directory is cut in 2 cma.pboutill
2012-01-17Makefile: fix make distclean w.r.t. test-suiteletouzey
2011-09-05fake_ide: a short program to mimic an ide talking to coqtop -ideslaveletouzey
2011-04-08Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395pboutill
2011-01-25Add a test for sorting all universes of stdlibglondu
2010-09-10files introduce in commit 13401 aren't erased anymore by 'make clean'pboutill
2010-06-23Ajout d'une feuille de style pour les définitions spécifiques à Hevea + di...notin
2010-06-02Fix test-suite cleaningglondu
2010-04-29"make source-doc" builds documentation of mli in html and pdf atpboutill
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-03-05Makefile: some more cleanupletouzey
2010-03-04Makefile: cleanup of comments + a few words about recent changes in dev/doc/b...letouzey
2010-03-04Makefile: no more separate stagesletouzey
2010-03-04Makefile: cleanup of variables containing lists of files, such as MLFILESletouzey
2010-03-04Makefile: make devdocclean was not removing *.dep.ps, btw let's remove *.dep....letouzey
2010-03-04Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)letouzey
2010-02-26Slight reorganisation of make clean, new entry cleankeepvoletouzey
2010-01-28Remove bashismsglondu
2010-01-26make init + NMake.v/NMake_gen.vnotin
2009-12-02Remove interface pluginglondu
2009-09-28Applied patches from BSD/pkgsrc maintainer, so that Coq compiles out-of-the-box.gmelquio
2009-09-21Update link to "Recursive Make Considered Harmful"glondu
2009-04-08Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branchherbelin
2009-04-03Makefile: ocamlbuild's _build is not traversed by find, and removed by make c...letouzey
2009-03-31Committed patch sent by Samuel Bronson on Mar 14 2009 to take care ofherbelin
2009-03-26clean revision and coqdep_boot, toolmamane
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-18renamed %-mod.ml into %_mod.ml to avoid ocaml warningbarras
2009-03-17Makefile:clean: rm *-mod.mlbarras
2009-03-16coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...letouzey
2009-03-16Makefile: fix ignored errors, several attempts to clarify thingsletouzey
2009-03-14Makefile: ml dependencies of contribs are moved to .mllib filesletouzey
2009-03-02Heavy modifications on the widget and edition tab creation mechanism.vgross
2009-02-11Report des revisions #11826, #11828 et #11829 de v8.2 vers trunknotin
2009-02-11Document how FIND_VCS_CLAUSE has to be usedlmamane
2009-02-11clean: revision is now called config/revision.mllmamane
2009-02-11Convert all uses of FIND_VCS_CLAUSE to recommended stylelmamane
2009-01-07Suite de la révision #11756notin
2009-01-06Conversion du fichier 'revision' en un fichier .ml + correction d'un bug dans...notin
2008-12-16Take advantage of natdynlink when available: almost all contribs become loada...letouzey
2008-12-11do not install coqchk cmi filesbarras
2008-09-07Commit fixes from v8.2 branch (r11386 and r11387)glondu
2008-09-07Generalize usage of $(FIND_VCS_CLAUSE) and add debian to itglondu
2008-09-07Do not install csdpcert in $(BINDIR)glondu
2008-09-06More cleaningglondu
2008-09-06Use $(COQTOPEXE) to refer to bin/coqtop in Makefilesglondu
2008-08-18Renaming parser -> coq-parserglondu
2008-08-04Évolutions diverses et variées.herbelin
2008-06-01Quelques amendements liées à la compilation des packages.herbelin
2008-05-22Should fix the dependancy issue mentioned by J.Forest about NMake: letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:11:46 +0000