diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-03-14 11:29:38 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-03-14 11:29:38 +0000 |
commit | 60cd664eb37d017289d468d7e4f826c229cba7f6 (patch) | |
tree | f8f68c8adc12b6cbf46d3cab6962bfb66761f9d9 /tools/coqdep_lexer.mll | |
parent | bca32c24a669d29f5bdc3519fa41cfa387e97e48 (diff) |
Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11976 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools/coqdep_lexer.mll')
-rwxr-xr-x | tools/coqdep_lexer.mll | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll index 67dea5a3c..6d6a804da 100755 --- a/tools/coqdep_lexer.mll +++ b/tools/coqdep_lexer.mll @@ -225,5 +225,11 @@ and caml_opened_file = parse | eof {raise Fin_fichier } | _ { caml_action lexbuf } +and mllib_list = parse + | coq_ident { let s = String.uncapitalize (Lexing.lexeme lexbuf) + in s :: mllib_list lexbuf } + | space+ { mllib_list lexbuf } + | eof { [] } + |