Commit Graph

51 Commits (ed53ef381a9e0c3ccbbab11cdcc23d8b9b11d903)

Author SHA1 Message Date
Xavier Leroy 680a54d3c2 Faire cohabiter les threads bytecode et les threads systeme. Ajout option ocamlc -vmthread.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-17 08:38:28 +00:00
Xavier Leroy 50bdc60761 L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, .o, ainsi que le link
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5618 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-23 13:22:09 +00:00
Xavier Leroy e11c636eaf Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-05-12 09:34:05 +00:00
Xavier Leroy 73ce0ac808 Simplifier lors de l'affichage les declarations val et exception redondantes dans les signatures inferees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-12 12:35:10 +00:00
Damien Doligez 130e3415fd ajout option -nostdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-14 15:17:11 +00:00
Daniel de Rauglaudre c1e0dad2a8 Regroupement du preprocessage et de la lecture directe des fichiers source
à arbre de syntaxe, dans un nouveau fichier pparse.ml commun a compile.ml
et optcompile.ml


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 10:14:31 +00:00
Daniel de Rauglaudre bd7a6924b6 Ajouté un warning si l'option -unsafe est utilisée alors que le source
est un arbre de syntaxe.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 09:27:48 +00:00
Daniel de Rauglaudre fe0f46244c Added Misc.chop_extension_if_any for the case when the input filename does
not have any extension.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-28 17:25:26 +00:00
Daniel de Rauglaudre 15ad21a38b Correction: la suppression du fichier préprocessé en cas d'erreur ne peut
avoir lieu que si le résultat du préprocesseur est un fichier binaire
"arbre de syntaxe" (typiquement produit par camlp4), sinon l'affichage
du message d'erreur se plante.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-01 08:09:58 +00:00
Daniel de Rauglaudre feb316f2af -
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-22 19:54:55 +00:00
Daniel de Rauglaudre 6f17794a91 Ajout suppression des fichiers temporaires résultats de preprocess en
cas d'exception.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3777 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-22 12:17:33 +00:00
Xavier Leroy 390e63f888 Pour le preprocessing, utiliser des fichiers temporaires uniques dans /tmp (PR#314)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3564 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-02 14:25:28 +00:00
Jacques Garrigue 447c79eade deplace expand_directory dans Misc, pour generaliser -I +package
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 05:02:43 +00:00
Xavier Leroy 0fa1d0fd38 Ajout options -where et -I +<directory relative to stdlib>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-11-07 14:41:12 +00:00
Damien Doligez 3d7b7c2e37 option -warn-error
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-23 17:13:17 +00:00
Pierre Weis b3d71d8f78 L'option -i doit envoyer sa production sur stdout (donc std_formatter).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-25 11:44:23 +00:00
Pierre Weis b96208b7a2 Revu les impressions du compilateur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-06 22:12:09 +00:00
Damien Doligez 5ec4570a0b implementation de -dparsetree
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-29 19:04:43 +00:00
Xavier Leroy cc0f32b054 Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
Xavier Leroy a048d42b10 Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 17:06:33 +00:00
Xavier Leroy 10231cade2 Ajout de l'option -cc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2161 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-06 15:39:43 +00:00
Xavier Leroy 747fffebea Typo dans message d'erreur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-01 12:32:46 +00:00
Xavier Leroy e991e9442f Composer les passes du compilateur avec ++ pour eviter de garder des pointeurs vers des structures inutilisees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1938 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-04-27 15:16:48 +00:00
Xavier Leroy 579e1523e9 Meilleures erreurs de syntaxe pour les parentheses mal fermees, etc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-08-22 08:55:41 +00:00
Damien Doligez 3cf9325149 Fix: compilo C different quand on compile en natif.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1627 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-23 14:36:30 +00:00
Xavier Leroy a182630988 Nouvelle gestion du CRC de l'interface.
Ajout de l'option -verbose.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-15 13:26:34 +00:00
Jérôme Vouillon ffa0b233b4 Verification que toutes les variables sont bien generiques *avant* de
sauver l'interface d'un fichier .ml


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-18 21:10:38 +00:00
Xavier Leroy 7e82c02ee4 compile: Emitcode a besoin du nom du module courant pour le stocker
dans les evenements.
main, optmain: afficher le chemin de la bibliotheque standard.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1282 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-19 16:10:33 +00:00
Daniel de Rauglaudre cc9c2b8841 - Ajout type "any"
- Test compatibilite version AST avec preprocesseur


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-02-11 18:24:47 +00:00
Xavier Leroy 24982a4df3 *compile: utiliser Ccomp.compile_file
main.ml: ajout option pour produire le bytecode sous forme de .o


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1167 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-11-07 10:58:53 +00:00
Xavier Leroy bfa250606e Misc.lowercase -> String.uncapitalize
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-31 16:03:27 +00:00
Xavier Leroy e684a44952 Revenir a la ligne a la fin de l'affichage de la signature avec
l'option -i.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1067 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-10-09 11:14:34 +00:00
Xavier Leroy b019ba195f Ajout option -thread.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-09 12:35:00 +00:00
Xavier Leroy 8d0091cd8d Repasser au compilo C les options donnees par -ccopt.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@940 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-07-25 13:17:16 +00:00
Xavier Leroy 2301d778e7 Renommage en Objective Caml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30 14:53:58 +00:00
Xavier Leroy 8c3bf593c4 Option preprocessing mise dans Clflags.
optmain: ajout de -linkall.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@764 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-29 13:19:07 +00:00
Daniel de Rauglaudre 6dc9629cce Code plus structure pour preprocess
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@761 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-25 16:06:43 +00:00
Daniel de Rauglaudre be927d6165 Nouvelle option -pp
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-23 11:37:55 +00:00
Jérôme Vouillon 7974a9d8b1 Extension objets.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22 11:15:41 +00:00
Xavier Leroy 0bdd720539 Separer init_path de initial_env, pour le toplevel.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-03-20 10:51:16 +00:00
Xavier Leroy 4335d56f99 Ajout de la passe de simplification des Llet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-12-15 10:19:25 +00:00
Xavier Leroy 03e89043b0 Pour le profiler, ajout de ".mlt" comme extension valide pour un
fichier source.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-10-24 15:37:23 +00:00
Xavier Leroy 7e691c81a6 Meilleur traitement des variables non generalisables.
Divers nettoyages pendant l'ecriture de la doc.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-09-02 18:55:37 +00:00
Xavier Leroy e4066357b1 Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09 15:06:35 +00:00
Xavier Leroy 414572e80b MAJ par-rapport a Caml Light 0.7
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@182 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-08 13:37:34 +00:00
Xavier Leroy 5b5cb38a31 MAJ suite a la separation de compilos C pour le bytecode / pour le
compilo natif.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-18 08:41:46 +00:00
Xavier Leroy c7aa418757 Renommage de codegen -> bytegen, linker -> bytelink.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@54 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-07-02 16:45:41 +00:00
Xavier Leroy e08124cf32 Ajout option -wlambda pour experiences.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-22 11:57:57 +00:00
Xavier Leroy 997fb206a7 Printf.sprintf et String.concat dans stdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-05 10:05:18 +00:00
Xavier Leroy 623e2fbc00 Ajout de Sys.file_exists
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04 12:48:07 +00:00