summaryrefslogtreecommitdiff
path: root/debugger/symbols.mli
Commit message (Collapse)AuthorAgeFilesLines
* Dynlink support for ocamldebugJacques-Henri Jourdan2019-07-161-10/+30
| | | | | | | | This commit adds dynlink support for ocamldebug. As a side effect, it also: - factorizes the various functions searching for a code fragment into one, called [caml_find_code_fragment]; - removes the [caml_register_code_fragment], which does not seem to be used anywhere, and which clearly should not be used by external code.
* Update headers for the new license.Damien Doligez2016-02-181-12/+15
| | | | Remains to be done: remove all headers in testsuite/tests.
* PR#6270: remove need for -I directives to ocamldebug in common caseGabriel Scherer2014-04-061-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (patch by Josh Watzman) Add absolute directory names to bytecode format for ocamldebug to use The need for a long list of -I directives makes interactively using ocamldebug a pain in the butt. Many folks have solved this with various `find` invocations or even Python wrappers, but those lead to other problems when it might include files you weren't expecting (or miss things you were). But all of this is really annoying since the tooling should be able to figure out itself, even heuristically, where your source files are -- gdb gets this right, why can't we? This patch implements one of the more important heuristics from gdb: you typically debug on the same machine you built on, so looking for the source files and built artifacts in the absolute paths where they were during compilation is a good first try. We write out absolute paths into a new structure at the beginning of the debug section and then automatically append those directories into the load path. This means mean that if you happen to be debugging on a machine where the original source and build artifacts are *not* available in their original absolute locations, things will work as before, using the standard load path mechanism. You can also explicitly use -I to prepend directories to the load path and override the defaults located by this new mechanism. I personally find this makes using ocamldebug much more pleasant :) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Revert "PR#6270: remove need for -I directives to ocamldebug in common case ↵Gabriel Scherer2014-03-311-4/+0
| | | | | | | | | | | | | (patch by Josh Watzman)" There seems to be a problematic interaction with backtrace collection. To test this, make world.opt cd testsuite make one DIR=tests/backtrace/ This needs to be sorted out before the patch can go in again. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#6270: remove need for -I directives to ocamldebug in common case (patch ↵Xavier Clerc2014-03-311-0/+4
| | | | | | by Josh Watzman) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14507 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-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#3767 features 1 and 2: display full location of events instead of one ↵Damien Doligez2005-08-251-0/+2
| | | | | | position git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7031 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
* Éviction des alertes des séquences.Pierre Weis1998-11-121-1/+3
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2171 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Les pseudo-evenements ne peuvent pas etre cherches par position dansJérôme Vouillon1997-03-301-1/+1
| | | | | | | le source. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Gestion de pseudo-evenements en debut de fonctions (on peut y mettreJérôme Vouillon1997-03-271-0/+4
| | | | | | | des points d'arret, mais on ne s'y arrete pas). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Suite du portage (nombreuses modifs)Xavier Leroy1997-02-191-6/+17
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Premier jet du portage OCamlXavier Leroy1996-11-291-0/+26
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02