diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-26 15:24:11 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-26 15:24:11 +0000 |
| commit | 6873f39817f10b3b132a3043633cc7f1e27c8d0a (patch) | |
| tree | 4fb1ba2e4cabd873631fdfe2c505fcb4f9c43d7d /otherlibs | |
| parent | f55565753eb0e1e7cb9626de497376c5736f9144 (diff) | |
Keep attributes on value declarations in .cmi files (but clear all the location fields, except if -keep-locs is used, of course). Use this to report a warning when a value marked as [@@deprecated] is referenced (#5854)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/dynlink/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index 074d476be..ab0370490 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -28,6 +28,8 @@ COMPILEROBJS=\ ../../utils/terminfo.cmo ../../utils/warnings.cmo \ ../../parsing/asttypes.cmi \ ../../parsing/location.cmo ../../parsing/longident.cmo \ + ../../parsing/ast_helper.cmo \ + ../../parsing/ast_mapper.cmo \ ../../typing/ident.cmo ../../typing/path.cmo \ ../../typing/primitive.cmo ../../typing/types.cmo \ ../../typing/btype.cmo ../../typing/subst.cmo ../../typing/predef.cmo \ |