diff options
| author | pboutill | 2011-09-01 09:50:40 +0000 |
|---|---|---|
| committer | pboutill | 2011-09-01 09:50:40 +0000 |
| commit | b83c2b5c95c48913a608946389978241491af760 (patch) | |
| tree | be305b910464a8297efa13c22f958c5f7e425613 /tools | |
| parent | f68ff650f2203d9981ffbd97e2053ba3295f71c8 (diff) | |
Coq_makefile: Bug fix of check_dep
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14431 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_makefile.ml4 | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index eab26bbd9c..edbe22e738 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -693,10 +693,11 @@ let do_makefile args = has_file some_vfile v_f; has_file some_mlifile mli_f; has_file some_mlfile ml_f; has_file some_ml4file ml4_f; has_file some_mllibfile mllib_f; let check_dep f = - if Filename.check_suffix f ".v" then - some_vfile := true - else if (Filename.check_suffix f ".ml") || (Filename.check_suffix f ".ml4") then - some_mlfile := true + if Filename.check_suffix f ".v" then some_vfile := true + else if (Filename.check_suffix f ".mli") then some_mlifile := true + else if (Filename.check_suffix f ".ml4") then some_ml4file := true + else if (Filename.check_suffix f ".ml") then some_mlfile := true + else if (Filename.check_suffix f ".mllib") then some_mllibfile := true in List.iter (fun (_,dependencies,_) -> List.iter check_dep (Str.split (Str.regexp "[ \t]+") dependencies)) sps; |