diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-08-28 14:47:48 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-08-28 14:47:48 +0000 |
| commit | ddd99c7e5d2f0f8e7364e8521fa7e8308999344e (patch) | |
| tree | 3c0158d035a52c0cf185c08c3288c3c76d6718d0 /debugger | |
| parent | c345611817d76ccc3bbd02db1f942774220739f9 (diff) | |
| download | ocaml-ddd99c7e5d2f0f8e7364e8521fa7e8308999344e.tar.gz | |
Chargement dynamique de primitives C
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3677 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/.depend | 2 | ||||
| -rw-r--r-- | debugger/Makefile | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/debugger/.depend b/debugger/.depend index 24873d12fc..4931c88c35 100644 --- a/debugger/.depend +++ b/debugger/.depend @@ -9,8 +9,8 @@ events.cmi: ../bytecomp/instruct.cmi frames.cmi: ../bytecomp/instruct.cmi primitives.cmi input_handling.cmi: primitives.cmi loadprinter.cmi: ../otherlibs/dynlink/dynlink.cmi ../parsing/longident.cmi -parser.cmi: ../parsing/longident.cmi parser_aux.cmi parser_aux.cmi: ../parsing/longident.cmi primitives.cmi +parser.cmi: ../parsing/longident.cmi parser_aux.cmi pattern_matching.cmi: debugcom.cmi parser_aux.cmi ../typing/typedtree.cmi primitives.cmi: ../otherlibs/unix/unix.cmi printval.cmi: debugcom.cmi ../typing/env.cmi parser_aux.cmi \ diff --git a/debugger/Makefile b/debugger/Makefile index e236829e6f..e1f6df0daa 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -38,7 +38,8 @@ OTHEROBJS=\ ../typing/datarepr.cmo ../typing/env.cmo \ ../typing/ctype.cmo ../typing/printtyp.cmo ../typing/mtype.cmo \ ../bytecomp/runtimedef.cmo ../bytecomp/bytesections.cmo \ - ../bytecomp/symtable.cmo ../bytecomp/opcodes.cmo ../bytecomp/meta.cmo \ + ../bytecomp/dll.cmo ../bytecomp/symtable.cmo \ + ../bytecomp/opcodes.cmo ../bytecomp/meta.cmo \ ../toplevel/genprintval.cmo \ ../otherlibs/dynlink/dynlink.cmo |