summaryrefslogtreecommitdiff
path: root/driver/main_args.mli
Commit message (Expand)AuthorAgeFilesLines
* rename -help-warnings to -warn-helpDamien Doligez2010-05-081-4/+4
* New -help-warnings command-line option.Alain Frisch2010-05-041-0/+4
* unified command-line argumentsDamien Doligez2010-04-131-53/+191
* Adding the -strict-sequence option.Pierre Weis2009-12-091-0/+1
* Added option -no-app-funct to turn off applicative functorsXavier Leroy2009-07-151-0/+1
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-1/+1
* ajout de l'option -config (suggestion de Gerd Stolpmann)Damien Doligez2005-05-091-0/+1
* Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc...Xavier Leroy2003-07-171-0/+1
* -stypes -> -dtypes; meilleur mode emacsDamien Doligez2003-04-031-1/+1
* ajout option -stypes; dependDamien Doligez2003-04-021-0/+1
* ajout option -versionDamien Doligez2002-08-011-0/+1
* vive les methodes polymorphes!Jacques Garrigue2002-04-181-0/+1
* ajout option -nostdlibDamien Doligez2002-02-141-0/+1
* Ajout du packaging d'unites de compilation (option -pack)Xavier Leroy2002-02-081-0/+1
* Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ...Xavier Leroy2001-10-301-0/+1
* passage aux labels strictsJacques Garrigue2001-09-061-0/+1
* Chargement dynamique de primitives CXavier Leroy2001-08-281-0/+1
* Ajout options -where et -I +<directory relative to stdlib>Xavier Leroy2000-11-071-0/+1
* option -warn-errorDamien Doligez2000-08-231-0/+2
* re-renommange: "-label" -> "-labels"Damien Doligez2000-03-241-1/+1
* changement "modern" -> "label"Damien Doligez2000-03-171-1/+1
* Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires...Xavier Leroy2000-03-091-0/+1
* Merge olabl branchJacques Garrigue1999-11-301-0/+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/+1
* errors.ml: changement du type des locations pour le profilerDamien Doligez1999-09-081-0/+1
* Ajout de l'option -ccXavier Leroy1998-11-061-0/+1
* Addition du pilotage des warnings.Pierre Weis1998-11-051-0/+1
* ajout option -use_primsDamien Doligez1998-10-021-0/+1
* Ajout option "-intf_suffix" pour spécifier le suffixe de l'interfaceDaniel de Rauglaudre1998-05-271-0/+1
* Ajout des options -make_runtime et -use_runtimeXavier Leroy1998-04-141-0/+2
* Modif compatibilite profileur.Damien Doligez1998-04-061-0/+43
View Lorry Controller Status