delta/ocaml.git/asmcomp/proc.mli, branch flambda

Re-add configure option -with-frame-pointers

2013-06-03T18:03:59+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Reverting -with-frame-pointers

2013-06-03T06:29:33+00:00

Fails to compile alt-ergo without frame-pointers. No time to debug
before tonight, so I revert and will merge again after fixing the
problem.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Add -with-frame-pointers to ./configure

2013-06-03T04:42:42+00:00

This option can be used to tell the native compiler that it should
update frame pointers, so that debuggers and profiling tools 
(especially Linux perf) can use them. For now, it is only supported
by the Unix/amd64 port.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

remove all $Id keywords

2012-10-15T17:50:56+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

renaming of Objective Caml to OCaml and cleanup of copyright headers

2011-07-27T14:17:02+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Changement de la licence

1999-11-17T18:59:06+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Nouvelle architecture pour les fichiers dependant du processeur

1997-07-24T11:49:12+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1655 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

asmlink: option pour produire un .o

1996-11-07T10:55:02+00:00

autres: utilisation de Ccomp.create_archive.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

emit_i386, proc_i386: autorise les moves de pile vers pile.

1996-09-11T15:59:11+00:00

proc_*: ajoute 1 parametre "round" aux fonctions reload_*.
asmgen: compter le nombre de rounds de reloading, s'arreter si excessif.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Utilisation de push pour passer les arguments aux fonctions C.

1996-05-16T10:39:23+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02