COQDEP(1)                   General Commands Manual                  COQDEP(1)

<?><?><?> (NAME)
       coqdep - <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> <?> <?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> Coq

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqdep [ -I directory ] [ -coqlib directory ] [ -i ] [ -slash ]
       filename ... directory ...

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?> coqdep <?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?> <?><?><?><?><?><?><?><?><?><?> Coq <?><?><?><?><?><?>
       <?><?><?><?><?><?> <?> <?><?><?><?><?><?><?><?><?><?> <?><?> <?><?>
       <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> make <?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?><?><?>.
       <?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?>.

       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> Coq
       <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?> Require
       (<?><?><?><?><?><?><?> Require<?> Require Export<?> Require Import<?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?> <?><?><?>
       From)<?> <?><?><?><?><?><?><?> Declare ML Module ,
       <?><?><?><?><?><?><?> Add LoadPath <?> <?><?><?><?><?><?><?> Load
       <?><?><?><?><?><?> <?><?><?><?><?><?><?>.
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?> Coq
       <?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?>
       <?><?><?><?><?> -boot <?><?><?><?> <?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -f file
              <?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?><?> <?>
              <?><?><?><?><?><?><?><?><?> -I, -R <?> -Q <?><?> <?><?><?><?>
              <?><?><?><?><?> file (<?><?><?><?><?> _CoqProject).

       -I/-Q/-R options
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?> <?> <?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?> Coq
              (coqtop, coqc).

       -coqlib directory
              <?><?><?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?> Coq.  <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?>.

       -exclude-dir dir
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?> dir <?><?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> -R/-Q.

       -sort  <?><?><?> <?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?>.

       -vos   <?><?><?> <?><?><?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?> .vos (<?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> Coq <?><?> <?><?><?><?><?>
              dune <?><?> <?><?><?><?> <?><?><?><?><?><?>).

       -boot  <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?> Coq<?>
              <?><?><?> <?><?><?><?><?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?>
              Coq (<?><?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?>).

       -noinit
              <?><?> <?><?><?> <?><?><?><?> <?><?><?> <?><?><?><?>
              <?><?><?><?><?>.

       -vos   <?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> .vos.

       -dyndep (opt|byte|both|no|var)
              <?><?><?><?><?> <?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?><?> ML.

       -m meta
              <?><?> <?> <?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> <?><?>
              <?><?><?><?> meta.

       -w w1,...,wn
              <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?> coqc.

<?><?><?><?><?> <?><?><?><?> (EXIT STATUS)
       1      <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
              <?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?> (Syntax error) <?><?> <?><?><?> <?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?>
              <?><?><?><?> coqdep <?><?> <?><?><?><?> <?><?><?><?>.

       0      <?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?>.  <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?>
              <?><?><?><?><?> coqdep <?><?> <?><?><?><?><?> <?><?><?>
              <?><?><?><?> <?> <?><?> <?><?><?><?><?> 0 <?><?><?><?>
              <?><?><?><?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       ocamlc(1), coqc(1), make(1)

<?><?><?><?> (NOTES)
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> (<?><?><?><?> Coq <?>
       OCaml) <?><?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?> <?>
       <?><?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?>.

       <?><?><?><?><?><?> <?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> (Symbolic links)
       <?><?><?><?> <?> <?><?><?><?><?><?><?> <?><?><?>.

       <?><?><?> <?><?> <?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?> <?><?>
       <?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?>
       <?><?><?><?><?><?>.

       <?><?><?> <?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?>.

<?><?><?><?><?><?><?> (EXAMPLES)
       <?><?><?><?><?><?><?><?> <?><?><?> <?><?> (<?><?> <?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>) <?><?> <?><?><?>
       <?><?><?><?><?><?>:
              a.mllib<?> X.v<?> Y.v <?> Z.v
       <?><?> <?><?> <?><?>:

       o  <?><?><?><?> a.mllib <?><?><?><?> <?><?><?><?><?><?><?>
          <?><?><?><?><?> `B' <?> `C' <?><?><?><?>

       o  <?><?><?><?> Y.v <?><?><?><?> <?><?><?><?><?> `Require Foo.X'
          <?><?><?><?>

       o  <?><?><?><?> Z.v <?><?><?><?> <?><?><?><?><?><?><?> `From Foo
          Require X' <?> `Declare ML Module "a"' <?><?><?>.

       <?><?><?><?> <?><?><?><?><?><?> <?> <?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> Coq:

              example% coqdep -I . -Q . Foo *.v

              X.vo X.glob X.v.beautified X.required_vo: X.v
              Y.vo Y.glob Y.v.beautified Y.required_vo: Y.v X.vo
              Z.vo Z.glob Z.v.beautified Z.required_vo: Z.v X.vo ./a.cma ./a.cmxs

<?><?><?><?><?> <?><?><?><?><?><?><?> (BUGS)
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?>
       <?><?><?><?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?>:
       https://github.com/coq/coq/issues

                                                                     COQDEP(1)