summaryrefslogtreecommitdiff
path: root/bytecomp/emitcode.mli
Commit message (Collapse)AuthorAgeFilesLines
* PR#6468: toplevel now supports backtraces if invoked with OCAMLRUNPARAM=bGabriel Scherer2015-02-081-2/+3
| | | | | | | (Peter Zotov and Jake Donham, review by Gabriel Scherer and Jacques-Henri Jourdan) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez2014-08-221-1/+2
| | | | | | 15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add reset functions to make modules reentrant when used through compiler-libsFabrice Le Fessant2014-05-091-0/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14770 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branch "safe-string"Damien Doligez2014-04-291-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | 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 headersDamien Doligez2011-07-271-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Deplacement des infos de format des .cmo et .cma dans Cmo_formatXavier Leroy2006-05-111-46/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Pour l'option -pack, permettre de donner une interface explicite (via un ↵Xavier Leroy2003-03-061-1/+7
| | | | | | .mli) au module synthetise git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Rectif commentaireXavier Leroy2003-03-031-0/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revu gestion des DLLs: ne pas les utiliser en mode -custom; dans les .cma et ↵Xavier Leroy2001-10-301-2/+3
| | | | | | .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
* Nouveau format de .cma et .cmxa, se rappelle des -cclib et -ccopt ↵Xavier Leroy2000-03-091-0/+16
| | | | | | necessaires pour le link final git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Changement de la licenceXavier Leroy1999-11-171-1/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* bytelink, emitcode: nouvelle gestion des CRC des interfaces.Xavier Leroy1997-05-151-3/+1
| | | | | | | | bytelink: Sys.command -> Ccomp.command translcore: expanser les abreviations dans has_base_type git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Corrections de bugs dans la gestion des evenements de debug.Xavier Leroy1997-02-191-1/+2
| | | | | | | | | Conserver l'optimisation tailcall et push-acc meme en presence d'evenements de debug. Stockage plus efficace des infos de debug dans les .cmo. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1279 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout du support pour le debuggerXavier Leroy1996-11-291-3/+4
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout d'une option -linkall dans les .cmo et .cma.Xavier Leroy1996-04-181-2/+3
| | | | | | | translmod: probleme avec les external declares val dans le .mli. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@746 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Dans les .cmo, on garde trace des primitives declarees dans le module. Du ↵Xavier Leroy1995-11-051-1/+1
| | | | | | coup, cslmktop -custom se remet a marcher. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Nouveau format de .cmo (utilisation de MD5, detection unsafe)Xavier Leroy1995-10-091-3/+6
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+43
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02