aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml
AgeCommit message (Expand)Author
2012-11-13coq_makefile: use coqdep instead of ocamldep on .ml4 filesgareuselesinge
2012-10-15Coq_makefile: easier compilation with timings info (from r15850)pboutill
2012-10-08fix r15860 : no slash after $(COQLIB)letouzey
2012-10-06remove -rectypes except for term.mlletouzey
2012-10-05Repair the configure after Hugo's last "repair" ;-)letouzey
2012-09-22Fix use of $(HASNATDYNLINK) in coq_makefile outputglondu
2012-09-18Coq_makefile fixupspboutill
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-08-08Updating headers.herbelin
2012-06-22Coq_makefile: make uninstall targetpboutill
2012-06-22Install is rather beautifulpboutill
2012-06-22inthe middle one more timepboutill
2012-06-22Refactoring seems OKpboutill
2012-06-22Coq_makefile: separate finding what to install where from generating the scri...pboutill
2012-06-14coq_makefile fixuppboutill
2012-06-12New step in purpose to get both camlp4 and camlp5 compatible coq_makefilespboutill
2012-05-31Coq_makefile bug for pluginspboutill
2012-05-29place all pretty-printing files in new dir printing/letouzey
2012-05-25Bugs revealed by playing with contribspboutill
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-02-29Coq_makefile: Add of extra options by defaultpboutill
2011-12-17Coq_makefile: "beautify" targetpboutill
2011-12-17Coq_makefile: "validate" target calls the checker over all vo.pboutill
2011-12-17Coq_makefile: section refactoring and no variables for OCaml if no ml* files ...pboutill
2011-12-17Coq_makefile: if no -install is provided, install location is set by a Makefi...pboutill
2011-11-20Teach coq_makefile how to install into XDG_DATA_HOME.pboutill
2011-11-20coq_makefile: Don't install with +x.pboutill
2011-11-20coq_makefile: Add Makefile variables specifying installpboutill
2011-10-26Coq_makefile handles .mlpack filespboutill
2011-10-26Coq_makefile includes coqtop -config without file generationpboutill
2011-10-26 Coq_makefile: libraries in bytecode are now installed toopboutill
2011-10-25Coq_makefile: a more complete commentary about global variablespboutill
2011-10-25Coq_makefile does not install/compile explicitely cmo and cmxs? that are in a...pboutill
2011-09-02Coq_makefile: bugfix in install rulepboutill
2011-09-01Coq_makefile : bug when a project file is not in the current directory.pboutill
2011-09-01Coq_makefile.absolute_dir -> Minilib.canonical_path_namepboutill
2011-09-01Creation of ide/project_file.ml4pboutill
2001-12-19reparation du make depend et du .dependletouzey
2001-09-19la cible all était incomplètefilliatr
2001-09-19make install dans coq_makefile et repertoire associe user-contrib ajoute au l...filliatr
2001-07-17"make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTMLfilliatr
2001-07-16all.g.ps -> all-gal.psfilliatr
2001-07-16cibles all.ps et all-gal.ps (utilisation de coqweb)filliatr
2001-05-29Chgt de MAKE= ...letouzey
2001-05-28option -bytefilliatr
2001-05-11application patch Claudiofilliatr
2001-04-23patch Claudio pour coq_makefilefilliatr
2001-03-15entetesfilliatr
2001-02-08modifs mineuresfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 06:48:29 +0000