Commit Graph

441 Commits (1506806031accfe1be7487aa3a9e5173908353cb)

Author SHA1 Message Date
Xavier Leroy 426afa35eb Pour l'option -pack, permettre de donner une interface explicite (via un .mli) au module synthetise
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-06 15:59:55 +00:00
Xavier Leroy ddaa49019c Traiter le cas d'un makeblock qui depasse Max_young_wosize (PR#1551)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-06 11:55:55 +00:00
Xavier Leroy fa97920376 Typo fldl1 -> fld1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-03-03 15:58:06 +00:00
Xavier Leroy a78bd53ee7 Erreurs de syntaxe masm dans les dernieres modifs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-25 16:21:15 +00:00
Xavier Leroy 40efd97fe1 Amelioration des flottants x86: utiliser %st(0) comme registre quand c'est possible, evitant ainsi des couples fstp/fld; ajout option -ffast-math
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-02-25 15:50:13 +00:00
Damien Doligez 854e427a99 fix "let rec x = (x;1)"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-15 23:28:52 +00:00
Xavier Leroy ed53dd3827 Transmission des dependances sur .cmx absent a travers -pack (PR#1480)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-02 14:50:08 +00:00
Xavier Leroy 53e33caaab Profiling support for Sparc/Solaris
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-12-02 12:31:19 +00:00
Xavier Leroy 2413371d18 Prevoir d'avoir des options de ligne de commande specifiques a un processeur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-29 15:03:37 +00:00
Xavier Leroy 2f698390a5 Support SPARC V8 et SPARC V9. Suppression indirection sur young_limit dans le cas de Solaris.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-29 15:03:08 +00:00
Xavier Leroy 9178881f44 Introduction et utilisation de Cglobal_symbol pour declarer explicitement les symboles de donnees qui doivent etre globaux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-24 15:55:26 +00:00
Xavier Leroy 08fc4a377c Faire attention a ce que la ligne de commande d'objcopy ne soit pas trop longue (PR#1478)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5295 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-24 15:54:50 +00:00
Xavier Leroy e80f744949 Revu les conventions de l'instruction imul (PR#1474)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-22 15:09:18 +00:00
Xavier Leroy fca6240f90 Revu compilation des boucles for pour le cas ou la borne est max_int (pour une boucle 'to') ou min_int (pour une boucle 'downto') (PR#415)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 10:50:49 +00:00
Xavier Leroy 2fb5cf5111 Typos dans la verification de coherence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-18 10:41:51 +00:00
Xavier Leroy 5e152f7945 - Revu en profondeur la verification des CRC d'interfaces.
Cela corrige le PR#1064.
- Les CRC des modules constituant un programme sont stockes dans
  l'executable bytecode, section CRCS.  Revu Dynlink pour utiliser ces
  CRC au lieu d'attendre de l'utilisateur qu'il les fournisse.
  MAJ du debugger en consequence.
- Introduction et utilisation du fichier stdlib/StdlibModules.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-17 16:42:12 +00:00
Damien Doligez 2b633bf048 amelioration de let rec
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-07 17:57:23 +00:00
Xavier Leroy 7e5e058030 Revu compilation des 'raise' et des 'exit' en position d'argument de fonction ou de primitives (PR#1367). A tester soigneusement
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-11-04 16:25:09 +00:00
Pierre Weis 12107f3fbe Reaching the format graal: the fourth element
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-10-31 09:56:11 +00:00
Xavier Leroy 6b193ab37e Patches for OpenBSD/Alpha (PR#1392)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-09-20 11:40:28 +00:00
Xavier Leroy 7f4a99759c Les affectations sur les bigarrays doivent renvoyer () (PR#1323)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-08-19 12:23:55 +00:00
Damien Doligez 851b9cb158 deps
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 16:38:07 +00:00
Xavier Leroy f0c5c1dcca Blindage de l'appel a Cmmgen.globals_map (PR#1252)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5009 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 08:07:26 +00:00
Xavier Leroy c8a4d0b11c Dans le .cmx produit, ne pas oublier de mettre le CRC du .cmi correspondant (PR#1252)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-07-22 08:06:28 +00:00
Xavier Leroy 8c0a66d21a Pour MSVC, mettre les options -ccopt en dernier (PR#1130)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-20 09:48:15 +00:00
Xavier Leroy 3fd05809f5 Suite portage Mingw
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4936 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-18 14:54:15 +00:00
Xavier Leroy ed4fe78854 Nettoyage gestion option -o
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-11 14:15:12 +00:00
Xavier Leroy 968e430bca Mauvaise traduction des Const_pointer dans les constantes structurees (attention au bit de poids fort :-)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-08 15:19:16 +00:00
Xavier Leroy a82c366504 Portage Mingw et revision du portage Win32/MSVC
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-07 09:49:45 +00:00
Xavier Leroy bae0f5d56e Chercher les infos sur le module Foo dans les fichiers Foo.{cmi,cmx} et foo.{cmi,cmx} (PR#1177)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-07 07:35:38 +00:00
Xavier Leroy d7d4ac58d3 MAJ portage IA64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-06-03 14:22:31 +00:00
Jacques Garrigue 06db32f483 PR#1020
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04 09:00:16 +00:00
Xavier Leroy bae1b84692 Faire Filename.quote sur les noms de fichiers passes au compilo C, etc (PR#896)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-12 16:17:53 +00:00
Xavier Leroy 00d7dbf924 Bug dans le cas du packaging recursif
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-03-02 09:16:02 +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
Xavier Leroy be551edb0a Complex bigarrays
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-10 17:01:27 +00:00
Xavier Leroy 71cf31f0e2 Ajout du packaging d'unites de compilation (option -pack)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-02-08 16:55:44 +00:00
Damien Doligez e962b870e8 bug lazy dans ocamlopt + diverses bricoles
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-20 22:20:58 +00:00
Damien Doligez 09a8c6bc78 configure: suppression "smart preprocessing" pour MacOS X
asmrun/roots.c, byterun/alloc.c, byterun/gc_ctrl.c, byterun/minor_gc.c,
byterun/minor_gc.h, byterun/roots.c, byterun/startup.c:
         derecursivation du GC mineur

byterun/config.h, stdlib/gc.mli: compactage active par defaut (300%)

otherlibs/unix/select.c: ajout include MacOS X

.cvsignore: bricoles


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-18 15:13:26 +00:00
Luc Maranget f825892b07 bug 785 (debordement entier cmmgen)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-10 15:52:40 +00:00
Xavier Leroy ec928fee86 PowerPC: traiter correctement les branchements conditionnels relatifs qui debordent (PR#723)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-09 19:40:48 +00:00
Xavier Leroy 7f3e803f03 Faire une erreur si plusieurs modules requis ont le meme nom (PR#750)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-01-04 15:57:19 +00:00
Xavier Leroy db57f926fa Revu verification de la coherence entre interfaces et implementations; l'ancien code examinait les fichiers dans le mauvais ordre! (PR#489)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-29 09:55:06 +00:00
Xavier Leroy 2e5daf9bad Avec -output-obj, ne pas executer les fonctions at_exit, car ca peut invalider des callbacks C->Caml apres (PR#525)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4052 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-11-27 13:47:13 +00:00
Xavier Leroy 343d49401a Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et .cmxa, stocker separement les options pour linker statiquement (-cclib) et par chargement dynamique (-dllib).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 09:32:32 +00:00
Jacques Garrigue 66343c894b architectures sans librairies partagees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-06 12:35:50 +00:00
Luc Maranget bd1a4e00c3 bug 539
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-21 15:59:16 +00:00
Jacques Garrigue 79b3768de7 concatene les rpaths (necessaire pour D/Unix 4.0)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-13 06:16:31 +00:00
Xavier Leroy 32bf02bd7f Remplacement de la matrice de bits pleine par une matrice creuse a base de hachage, devrait mieux tenir le choc sur les grosses fonctions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-11 15:30:38 +00:00
Xavier Leroy e11cb7a39b Decoupage de Dll en Dllpath + Dll, facilite la construction de ocamlc.opt et ocamlopt.opt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-30 09:02:55 +00:00