aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml4
AgeCommit message (Expand)Author
2008-06-18Propagation des révisions 11144 et 11136 de la 8.2 vers le trunkherbelin
2008-06-11Prise en compte de l'export des .cmi dans coq_makefilenotin
2008-06-09Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...notin
2008-04-29Correction d'un bug dans coq_makefile: génération des règles implicites en...notin
2008-04-03- Correction d'un bug de coq_makefile sur les variables CAMLLIBS etnotin
2008-03-26Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...notin
2008-03-25Prise en compte des dépendances des .mlnotin
2008-03-14New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefileletouzey
2008-03-08Coq_makefile : backtrack sur les liens vers les exécutables ocamlnotin
2008-03-07Correction d'un bug de coq_makefilenotin
2008-02-28Coq_makefile: correction de l'appel aux exécutables Ocamlnotin
2008-02-28Coq_makefile: Correction d'un bug sur les options passées à Coqdocnotin
2008-02-27Génération d'une toc en html et avec l'option -psnotin
2008-02-25coq_makefile: variablesnotin
2008-02-25coq_makefile: dépendances + génération des fichiers htmlnotin
2007-12-18Petite correction sur coq_makefilenotin
2007-10-17Prise en compte des .glob par coq_makefilenotin
2007-09-15* Adding compability with ocaml 3.10 + camlp5 (rework of letouzey
2007-05-16- MAJ entêtes des fichiers produits par coq_makefileherbelin
2007-02-24Améliorations utiles pour les Makefile répartis sur plusieurs répertoiresherbelin
2006-05-22Modification de l'appel à coqdoc (COQBIN)notin
2006-02-06Ajout de l'essai d'effacement des noms des cibles custom par la cible cleanherbelin
2005-01-12This commit corrects the last commit of Hugo that broke down the "make depend"sacerdot
2004-12-09VOFILES aussi pour make dependherbelin
2004-11-28Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoiresherbelin
2004-07-16Nouvelle en-têteherbelin
2004-03-29"xml" target removed from generated makefiles (since it was no longer used)sacerdot
2004-03-29MAJkirchner
2003-11-08Ajout option -impredicative-setherbelin
2003-07-02rm -f .depend (sans le -f "make depend" echoue lorsque le .dependfilliatr
2003-02-24on sait se refaire uniquement si option -ffilliatr
2003-02-24coq_makefile dit comment faire le .depend (evite l'echec lorsquefilliatr
2002-11-14bugsherbelin
2002-11-14Réforme de l'interprétation des termes :herbelin
2002-11-05Intégration des modifs de la branche mowgli :herbelin
2002-09-27Filtrage redondantherbelin
2002-08-02Modules dans COQ\!\!\!\!coq
2002-06-18coq_makefile utilise maintenant coqdocfilliatr
2002-05-30Ajout des -I contribherbelin
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2002-02-15bootstrap consistent avec les options de la ligne de commandefilliatr
2001-12-19reparation du make depend et du .dependletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 10:21:45 +0000