summaryrefslogtreecommitdiff
path: root/driver/main.ml
Commit message (Expand)AuthorAgeFilesLines
* rename -help-warnings to -warn-helpDamien Doligez2010-05-081-1/+1
* New -help-warnings command-line option.Alain Frisch2010-05-041-0/+1
* unified command-line argumentsDamien Doligez2010-04-131-1/+1
* 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
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-201-2/+6
* merge changes from 3.10.2merged to 3.11.0Damien Doligez2008-12-031-1/+1
* Cleanup + pass -Wl,-E to linker when linking dynlink.cma in custom mode.Alain Frisch2008-04-161-1/+1
* Improve -output-obj: can now build directly a dynamic library (with all the c...Alain Frisch2007-11-151-5/+28
* 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/+6
* Generalisation de l'option -oXavier Leroy2004-06-131-7/+17
* Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de com...Xavier Leroy2004-04-091-2/+6
* suppression support MacOS9Damien Doligez2004-01-161-5/+2
* Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc...Xavier Leroy2003-07-171-1/+2
* L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, ....Xavier Leroy2003-06-231-1/+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-2/+6
* Nettoyage gestion option -oXavier Leroy2002-06-111-4/+17
* Decouper l'argument de -cclib et -dllibXavier Leroy2002-05-071-2/+2
* 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-1/+6
* Added Misc.chop_extension_if_any for the case when the input filename doesDaniel de Rauglaudre2002-01-281-2/+2
* Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ...Xavier Leroy2001-10-301-2/+4
* remove systhreads_linkJacques Garrigue2001-09-251-2/+0
* avoid problem with dlsym/failwith and keep thread linking infoJacques Garrigue2001-09-071-0/+2
* passage aux labels strictsJacques Garrigue2001-09-061-0/+1
* Chargement dynamique de primitives CXavier Leroy2001-08-281-1/+3
* Getting rid of obsolete boolean operators & and orPierre Weis2000-12-281-3/+3
* Ajout options -where et -I +<directory relative to stdlib>Xavier Leroy2000-11-071-0/+4
* option -warn-errorDamien Doligez2000-08-231-1/+2
* Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintfPierre Weis2000-04-211-1/+0
* Distinguer entre compilo C et linker C dans ocamlc et ocamloptXavier Leroy2000-04-161-1/+1
* 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
* Revu les impressions du compilateurPierre Weis2000-03-061-14/+19
* option -v quitte immediatementDamien Doligez2000-01-131-1/+2
* detabisationDamien Doligez2000-01-071-4/+4
* Merge olabl branchJacques Garrigue1999-11-301-0/+2
* utilisation de ToolServerDamien Doligez1999-11-291-2/+5
* 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
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* errors.ml: changement du type des locations pour le profilerDamien Doligez1999-09-081-0/+1
* Repartition des messages entre stderr et stdinPierre Weis1999-02-161-1/+1
* Ajout de l'option -ccXavier Leroy1998-11-061-0/+1
* Addition du pilotage des warnings.Pierre Weis1998-11-051-0/+1
View Lorry Controller Status