summaryrefslogtreecommitdiffstats
path: root/driver/main_args.mli
AgeCommit message (Expand)Author
2013-04-18PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.Xavier Leroy
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2013-01-25#5904: support for -ppx in the toplevel.Alain Frisch
2012-12-18Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch
2012-10-17#5741: make Pprintast available from the command-line (-dsource).Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-06-13#5634: parstree rewriters (merge with ast_rewriter branch).Alain Frisch
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-02-21PR#5487: addition of CFI directives and a few filename/linenumber info to gen...Xavier Leroy
2012-01-27PR#1898: add -nopromptcont option to suppress secondary promptsDamien Doligez
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
2011-12-30PR#352: new option to make ocaml read stdin as a scriptDamien Doligez
2011-12-20New option to force the compilers to show absolute paths in error messages.Alain Frisch
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-07-21fixed inconsistent order in structure elements.Xavier Clerc
2011-03-17add option -runtime-variantDamien Doligez
2010-05-20PR#4857: add -vnum option to all executablesDamien Doligez
2010-05-08rename -help-warnings to -warn-helpDamien Doligez
2010-05-04New -help-warnings command-line option.Alain Frisch
2010-04-13unified command-line argumentsDamien Doligez
2009-12-09Adding the -strict-sequence option.Pierre Weis
2009-07-15Added option -no-app-funct to turn off applicative functorsXavier Leroy
2007-05-16ajout des annotations pour variables et appels terminauxDamien Doligez
2005-05-09ajout de l'option -config (suggestion de Gerd Stolpmann)Damien Doligez
2003-07-17Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc...Xavier Leroy
2003-04-03-stypes -> -dtypes; meilleur mode emacsDamien Doligez
2003-04-02ajout option -stypes; dependDamien Doligez
2002-08-01ajout option -versionDamien Doligez
2002-04-18vive les methodes polymorphes!Jacques Garrigue
2002-02-14ajout option -nostdlibDamien Doligez
2002-02-08Ajout du packaging d'unites de compilation (option -pack)Xavier Leroy
2001-10-30Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ...Xavier Leroy
2001-09-06passage aux labels strictsJacques Garrigue
2001-08-28Chargement dynamique de primitives CXavier Leroy
2000-11-07Ajout options -where et -I +<directory relative to stdlib>Xavier Leroy
2000-08-23option -warn-errorDamien Doligez
2000-03-24re-renommange: "-label" -> "-labels"Damien Doligez
2000-03-17changement "modern" -> "label"Damien Doligez
2000-03-09Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires...Xavier Leroy
1999-11-30Merge olabl branchJacques Garrigue
1999-11-17Changement de la licenceXavier Leroy
1999-11-08Option pour accepter des types recursifs (demande de Pascal Cuoq)Jérôme Vouillon
1999-09-08errors.ml: changement du type des locations pour le profilerDamien Doligez
1998-11-06Ajout de l'option -ccXavier Leroy
1998-11-05Addition du pilotage des warnings.Pierre Weis
1998-10-02ajout option -use_primsDamien Doligez
1998-05-27Ajout option "-intf_suffix" pour spécifier le suffixe de l'interfaceDaniel de Rauglaudre
1998-04-14Ajout des options -make_runtime et -use_runtimeXavier Leroy
1998-04-06Modif compatibilite profileur.Damien Doligez
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-02-20 17:48:28 +0000