summaryrefslogtreecommitdiff
path: root/driver/main_args.ml
Commit message (Expand)AuthorAgeFilesLines
* rename -help-warnings to -warn-helpDamien Doligez2010-05-081-12/+12
* New -help-warnings command-line option.Alain Frisch2010-05-041-0/+12
* Allow range of warnings and synchronize default for warnings given in usage i...Alain Frisch2010-05-041-8/+11
* fixed several build problemsDamien Doligez2010-04-221-1/+1
* unified command-line argumentsDamien Doligez2010-04-131-146/+727
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-201-1/+1
* Adding the -strict-sequence option.Pierre Weis2009-12-091-0/+3
* added warning 28: wildcard arg to constant constructorDamien Doligez2009-11-191-1/+1
* fine-grained control of warningsDamien Doligez2009-11-021-19/+11
* Added option -no-app-funct to turn off applicative functorsXavier Leroy2009-07-151-0/+3
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-2/+3
* add virtual instance variablesJacques Garrigue2006-04-051-2/+2
* fusion 3.09.0 -> 3.09.1Damien Doligez2006-01-041-5/+6
* Revu implementation de ocamlopt -pack. Remplacement du renommage a posterior...Xavier Leroy2005-08-011-0/+2
* ajout de l'option -config (suggestion de Gerd Stolpmann)Damien Doligez2005-05-091-2/+7
* changement doc -warn-errorDamien Doligez2004-12-011-1/+1
* changements sur les warningsDamien Doligez2004-11-301-4/+3
* ajout warning unused variableDamien Doligez2004-11-061-2/+4
* Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc...Xavier Leroy2003-07-171-1/+3
* L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, ....Xavier Leroy2003-06-231-1/+1
* changement .types -> .annot + formatDamien Doligez2003-06-121-1/+1
* I hope I found all places where ocamlc options are listed; some amount of sha...Pierre Weis2003-05-021-1/+2
* Addition of fragile match warning.Pierre Weis2003-05-021-0/+1
* -stypes -> -dtypes; meilleur mode emacsDamien Doligez2003-04-031-2/+2
* option -stypes, suiteDamien Doligez2003-04-021-1/+1
* ajout option -stypes; dependDamien Doligez2003-04-021-0/+2
* ajout option -versionDamien Doligez2002-08-011-1/+4
* vive les methodes polymorphes!Jacques Garrigue2002-04-181-0/+3
* ajout option -nostdlibDamien Doligez2002-02-141-0/+3
* Ajout du packaging d'unites de compilation (option -pack)Xavier Leroy2002-02-081-0/+3
* bug lazy dans ocamlopt + diverses bricolesDamien Doligez2002-01-201-17/+19
* Retour de -make-runtime -use-runtime par demande populaireXavier Leroy2001-10-301-8/+8
* Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ...Xavier Leroy2001-10-301-0/+2
* Suppression -make-runtime, -use-runtimeXavier Leroy2001-10-111-8/+8
* labels omitted off par defautJacques Garrigue2001-09-271-1/+1
* enrich variant typesJacques Garrigue2001-09-251-0/+1
* passage aux labels strictsJacques Garrigue2001-09-061-0/+3
* Chargement dynamique de primitives CXavier Leroy2001-08-281-0/+2
* Ajout options -where et -I +<directory relative to stdlib>Xavier Leroy2000-11-071-2/+4
* option -warn-errorDamien Doligez2000-08-231-1/+7
* re-renommange: "-label" -> "-labels"Damien Doligez2000-03-241-3/+3
* coherence des options entre ocamlc et ocamloptDamien Doligez2000-03-201-2/+2
* changement "modern" -> "label"Damien Doligez2000-03-171-2/+3
* Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires...Xavier Leroy2000-03-091-0/+3
* Merge olabl branchJacques Garrigue1999-11-301-0/+2
* indentationDamien Doligez1999-11-291-52/+52
* MAJ usage et Changes pour les types recursifsXavier Leroy1999-11-191-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Option pour accepter des types recursifs (demande de Pascal Cuoq)Jérôme Vouillon1999-11-081-0/+2
* ajout warnings commentaires suspectsDamien Doligez1999-10-211-2/+3