diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2006-05-11 15:51:31 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2006-05-11 15:51:31 +0000 |
| commit | 50b395daeee4d3da1ec0d621587f3861e68adfa3 (patch) | |
| tree | 014e02c22b5516fa981f92ad8dc8b68b11feb1a7 /debugger/Makefile | |
| parent | 09921987cc807443c13b598ce5dccab6cc2bd74f (diff) | |
Utiliser notre copie privee de dynlink (raison: le -pack dans ../otherlibs/dynlink)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/Makefile')
| -rw-r--r-- | debugger/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index beabfa283..96da6825c 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -25,7 +25,7 @@ DEPFLAGS=$(INCLUDES) INCLUDES=\ -I ../utils -I ../parsing -I ../typing -I ../bytecomp -I ../toplevel \ - -I ../otherlibs/unix -I ../otherlibs/dynlink + -I ../otherlibs/unix OTHEROBJS=\ ../otherlibs/unix/unix.cma \ @@ -40,10 +40,11 @@ OTHEROBJS=\ ../bytecomp/runtimedef.cmo ../bytecomp/bytesections.cmo \ ../bytecomp/dll.cmo ../bytecomp/meta.cmo ../bytecomp/symtable.cmo \ ../bytecomp/opcodes.cmo \ - ../toplevel/genprintval.cmo \ - ../otherlibs/dynlink/dynlink.cmo + ../toplevel/genprintval.cmo + OBJS=\ + dynlink.cmo \ int64ops.cmo \ primitives.cmo \ unix_tools.cmo \ |