aboutsummaryrefslogtreecommitdiff
path: root/tools/coq_makefile.ml4
AgeCommit message (Expand)Author
2011-09-01Creation of ide/project_file.ml4pboutill
2011-09-01Coq_makefile: Bug fix of check_deppboutill
2011-09-01Coq_makefile: process_cmd_line is purely functional.pboutill
2011-09-01Coq_makefile: No other function than split_arguments uses a target type.pboutill
2011-09-01Coq_makefile: New option -arg to specify a compiler option.pboutill
2011-09-01Coq_makefile drops the '/' at the end of physical path of -I and -Rpboutill
2011-07-22Allow custom targets without commands specifiedpboutill
2011-07-11Makefiles generated by coq_makefile can build %.cmx?a from %.mllibpboutill
2011-07-07coq_makefile logical path ending with '.' are correctly convert to physical pathpboutill
2011-07-07coq_makefile bug fix 2405: cmxs are now made from cmx filespboutill
2011-07-07coq_makefile documentation in Refman and -hpboutill
2011-07-07coq_makefile doesn't complain anymore when a dir is both -I and -Rpboutill
2011-06-06Typo.gmelquio
2011-04-29when -camlbin is explicitly given in configure, $OCAML* are $CAMLBIN/exec.pboutill
2011-04-28coq_makefile big cleanuppboutill
2011-04-08A kind of reply to bug 2444pboutill
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-07-02Remove dependency to Unix from module Profileglondu
2010-06-03Add unix.cma on camlp4 command-line in coq_makefile (Closes: #2326)glondu
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-01-15Report de la révision #12676notin
2009-11-05Correction du bug #2153 (-D n'est pas une option standard de install)notin
2009-10-27Add a new vernacular command for controling implicit generalization ofmsozeau
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-08-06- Cleaning phase of the interfaces of libnames.ml and nametab.mlherbelin
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-03-19coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...barras
2009-03-18coq_makefile: no ml dependency on coq sourcesbarras
2009-03-17- configure: affiche si le natdynlink est positionnebarras
2009-03-16missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...barras
2009-02-24Amélioration de coq_makefilenotin
2009-02-06From v8.2 to trunk:herbelin
2009-01-09Oups... il n'y a pas d'option -impl pour ocamldepnotin
2009-01-07Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'notin
2009-01-04Added installation of .cmi files in "make install" target of coq_makefile.herbelin
2008-12-24- coq_makefile: target install now respects the original tree structureherbelin
2008-12-19Nettoyage des variables Coq et amélioration de coqmktop. Lesnotin
2008-12-12- configure: do not strip coqtop on Darwin so as to support dynamic loadingherbelin
2008-11-23- Synchronized subst_object with load_object (load_and_subst_objects)herbelin
2008-11-13Tentative d'amélioration de la robustesse des Makefile générés parnotin
2008-11-07Suite #11533notin
2008-11-07Correction du bug #1926notin
2008-11-06Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...notin
2008-11-042 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...notin
2008-10-20Syntaxe de COQBINnotin
2008-10-18- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)herbelin
2008-07-18Affichage intempestif d'information de globalisation + numéro de version dan...notin
2008-07-17- coqdoc: correction d'un bug sur les commentaires imbriquésnotin
2008-06-24Suppression de l'option -dump-glob et ajout d'une option -no-globnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 17:30:00 +0000