summaryrefslogtreecommitdiff
path: root/utils/clflags.ml
Commit message (Expand)AuthorAgeFilesLines
* 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 3.10.2merged to 3.11.0Damien Doligez2008-12-031-2/+1
* Enable to (old) -dlcode option by default. -nodynlink disables it.Alain Frisch2008-07-151-1/+1
* Cleanup + pass -Wl,-E to linker when linking dynlink.cma in custom mode.Alain Frisch2008-04-161-1/+0
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-061-0/+4
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-1/+1
* Revu implementation de ocamlopt -pack. Remplacement du renommage a posterior...Xavier Leroy2005-08-011-0/+1
* PR#3328 option ocaml -init <fichier>Damien Doligez2005-01-281-0/+1
* ajout option -noprompt (toplevel)Damien Doligez2004-11-021-0/+1
* Faire cohabiter les threads bytecode et les threads systeme. Ajout option oc...Xavier Leroy2003-07-171-1/+2
* ajout option -stypes; dependDamien Doligez2003-04-021-0/+1
* Nettoyage gestion option -oXavier Leroy2002-06-111-3/+1
* Ajout flag dont_write_files pour ocamldocXavier Leroy2002-06-071-1/+1
* vive les methodes polymorphes!Jacques Garrigue2002-04-181-1/+2
* ajout option -nostdlibDamien Doligez2002-02-141-3/+13
* 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-1/+2
* passage aux labels strictsJacques Garrigue2001-09-061-1/+1
* Chargement dynamique de primitives CXavier Leroy2001-08-281-1/+2
* optimsation pm a donfLuc Maranget2001-02-191-2/+0
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-0/+3
* Distinguer entre compilo C et linker C dans ocamlc et ocamloptXavier Leroy2000-04-161-0/+1
* re-renommange: "-label" -> "-labels"Damien Doligez2000-03-241-1/+1
* "modern" -> "label" suite (et fin ?)Damien Doligez2000-03-201-1/+1
* Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt necessaires...Xavier Leroy2000-03-091-0/+1
* detabisationDamien Doligez2000-01-071-1/+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
* clflags.ml: ajout de l'option -dparsetree (pas encore implementee)Damien Doligez1999-09-081-1/+2
* Ajout de -dcombineXavier Leroy1999-05-151-0/+1
* Ajout de l'option -ccXavier Leroy1998-11-061-1/+1
* ajout option -use_primsDamien Doligez1998-10-021-1/+2
* Ajout du profiling par gprof (ocamlopt -p)Xavier Leroy1998-08-061-0/+1
* Ajout des options -make_runtime et -use_runtimeXavier Leroy1998-04-141-0/+2
* Ccomp: ajout de Ccomp.systemXavier Leroy1997-05-151-0/+1
* Ajout assertDamien Doligez1997-05-131-0/+1
* Ajout de l'inliningXavier Leroy1997-02-161-0/+2
* Ajout du support pour le debuggerXavier Leroy1996-11-291-0/+1
* clflags: ajout option -output-objXavier Leroy1996-11-071-0/+2
* Ajout d'un flag disant si on est sous le compilo natif ou bytecode.Xavier Leroy1996-10-221-0/+2
* Ajout flag -thread.Xavier Leroy1996-09-091-0/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout flag -pp.Xavier Leroy1996-04-291-1/+2
* Option -drawlambda.Xavier Leroy1995-12-151-1/+2
* Nouveau format de .cmo (utilisation de MD5, detection unsafe)Xavier Leroy1995-10-091-1/+1
* Ajout option -dscheduling.Xavier Leroy1995-08-241-0/+1
* Ajout du scheduler (a tester serieusement)Xavier Leroy1995-08-131-0/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13