1b985c3f95
Retour de -make-runtime -use-runtime par demande populaire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3953 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-10-30 10:11:30 +00:00
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
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
42d1811a93
enrich variant types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-25 09:54:18 +00:00
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
4cdb4bc3f9
concatene les rpaths (necessaire pour D/Unix 4.0)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3758 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-13 06:06:15 +00:00
83d1bf3ffb
prefixe le nom si trouve' dans le repertoire courant
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-09 08:40:37 +00:00
4bdf28108f
avoid problem with dlsym/failwith and keep thread linking info
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3701 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-07 05:56:31 +00:00
ea299bbbc1
passage aux labels stricts
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-09-06 08:52:32 +00:00
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
ddd99c7e5d
Chargement dynamique de primitives C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-28 14:47:48 +00:00
dcbb92b2d0
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-21 18:49:22 +00:00
8945c234c0
encore du 68k qui trainait
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-21 15:11:40 +00:00
ae5068567f
PR#339, suite: il faut aussi gerer les debordements de pile pour le code d'initialisation, et non juste pour les fonctions!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3615 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-08-07 08:00:39 +00:00
69a062ccf8
bug 454
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-07-27 14:40:57 +00:00
9387fab6bc
Gestion correcte du cas ou une fonction utilise un espace de pile superieur a Stack_threshold (PR#339)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-05-28 15:14:18 +00:00
2876eb2bc2
bug 355
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-05-11 18:00:00 +00:00
62cf939f0d
more tests against zero
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 18:51:44 +00:00
046e095ec2
stupid bug in offsets (Switch)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 18:08:22 +00:00
157c4e54c9
new Switch module
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-30 16:31:09 +00:00
5b1d133498
cleaned bytecomp/simplif.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-23 12:46:21 +00:00
08f20bcdfa
bug 342 (records dans les orpats)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-04-23 09:29:22 +00:00
e7d2a4ed93
corrected bug 325
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-30 13:35:15 +00:00
b1b8940a04
bug idiot 324
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-26 12:45:50 +00:00
ac752c7e3c
bug 319 (equivalent orpats with variables)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-21 17:53:49 +00:00
141578ccef
ajout d'un champ filtrage a Reither
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-03-03 00:14:35 +00:00
35a5f8ca5e
ptit truc en plus pour les variants, cas que des constantes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-23 08:47:10 +00:00
42fb4de908
bug du matching sur les variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-22 20:14:29 +00:00
b0b5847fe0
PR#282: les -ccopt de l'utilisateur doivent etre passes en premier au compilateur C
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-20 09:40:52 +00:00
eb7578b8db
optimsation pm a donf
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 20:27:52 +00:00
f2a7fdbcd3
Ajout de l'instruction RERAISE
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-19 12:28:04 +00:00
1a9c1df96e
Suppression d'un let inutile
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3414 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-13 09:28:46 +00:00
ccd4b57ed0
Rendre a Luc ce qui appartient a Luc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-05 08:49:52 +00:00
92045581a7
Espace en trop
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-05 08:49:33 +00:00
8a3c82b215
int32, int64, nativeint ne sont pas des flottants!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-01-13 11:55:09 +00:00
2116da4220
Getting rid of obsolete boolean operators & and or
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
b80c77b025
fix -noassert pour que le typage des assertions soit toujours fait
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-04 15:37:05 +00:00
ab73fdc7f1
Ajout de la construction 'include' dans les structures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-01 09:35:00 +00:00
836c1851dd
PR#212, suite
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-31 14:55:30 +00:00
bf5cdff645
pas de curses en natif
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-27 15:18:24 +00:00
ab97fd0dcc
or-pat avec variables et compil du switch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-10-02 14:18:05 +00:00
e477ccd225
relaxation de la semantique des effets de bords sur les parametres
...
optionels, pour permettre une compilation plus efficace.
modifie' translcore, typedtree, typecore, typeclass
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-04 08:49:32 +00:00
2dfaaa4903
ptit bug dans un format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3275 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-14 14:24:46 +00:00
e8ea52a66a
new or-pat compilation + exhaustiveness used in compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-11 19:58:52 +00:00
fd8846fecd
Portage Cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 09:58:08 +00:00
c40e874663
utilise Ident.bl pour toplevel_name
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-13 07:00:14 +00:00
5a5f0fe989
garde les memes noms, mais espaces differents
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-12 14:22:37 +00:00
402fa47bfd
utilise Ident.unique_name plutot que Ident.name pour les globaux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-12 05:23:11 +00:00
9142defa7c
Ajouter les libs C specifiees dans le .cma meme si aucun bytecode du .cma n'est linke
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-05 12:19:50 +00:00
3800406560
Avec -use-runtime, supprimer le fichier temporaire apres usage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-05 12:19:03 +00:00
Xavier Leroy
Jacques Garrigue
Luc Maranget
Damien Doligez
Pierre Weis