diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-22 20:16:52 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-22 20:16:52 +0000 |
| commit | 0ea21dfb08816e94b408ed5627a8e6217f69fc94 (patch) | |
| tree | b3cacb54abcc8103d76be0e59cf66d2a2c597ef3 /debugger/Makefile | |
| parent | 4b966034a59b8ab674a6fd1600e50d891cfed2f9 (diff) | |
Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.
print_value partage entre toplevel et debugger.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/Makefile')
| -rw-r--r-- | debugger/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 1dfe423fc..5cf8520c3 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -9,7 +9,9 @@ CAMLLEX=../boot/ocamlrun ../boot/ocamllex CAMLDEP=../boot/ocamlrun ../tools/ocamldep DEPFLAGS=$(INCLUDES) -INCLUDES=-I ../utils -I ../parsing -I ../typing -I ../bytecomp -I ../otherlibs/unix -I ../otherlibs/dynlink +INCLUDES=\ + -I ../utils -I ../parsing -I ../typing -I ../bytecomp -I ../toplevel \ + -I ../otherlibs/unix -I ../otherlibs/dynlink OTHEROBJS=\ ../otherlibs/unix/unix.cma \ @@ -22,7 +24,8 @@ OTHEROBJS=\ ../typing/datarepr.cmo ../typing/env.cmo \ ../typing/ctype.cmo ../typing/printtyp.cmo ../typing/mtype.cmo \ ../bytecomp/runtimedef.cmo ../bytecomp/symtable.cmo \ - ../bytecomp/opcodes.cmo ../otherlibs/dynlink/dynlink.cmo + ../bytecomp/opcodes.cmo ../toplevel/genprintval.cmo \ + ../otherlibs/dynlink/dynlink.cmo OBJS=\ primitives.cmo \ @@ -31,9 +34,9 @@ OBJS=\ envaux.cmo \ parameters.cmo \ lexer.cmo \ + input_handling.cmo \ debugcom.cmo \ exec.cmo \ - input_handling.cmo \ source.cmo \ checkpoints.cmo \ symbols.cmo \ |