COQNATIVE(1)                General Commands Manual               COQNATIVE(1)

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

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqnative [ <?><?><?><?><?><?><?><?> ] filename

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?> coqnative <?><?><?><?><?><?><?><?> vo <?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?> (native compute) <?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> Coq <?><?><?><?><?><?><?>
       <?><?><?><?><?><?>.  <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?> <?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?>.  <?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?> 0
       <?><?><?><?><?><?><?><?><?><?>.  <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?>
       <?><?><?><?><?><?> <?><?><?>.

       <?><?><?><?><?><?><?> filename <?><?> <?><?><?><?> <?><?><?> Coq
       (<?><?> <?><?><?><?> <?>.vo) <?><?><?> <?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -Q dir coqdir
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?>
              dir <?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> coqdir.

       -R dir coqdir
              <?><?><?><?><?><?> <?><?> -Q.

       -I dir <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?>.

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

       -boot  <?><?><?><?> <?><?><?><?><?><?><?><?><?><?> (Boot mode).

       -coqlib dir
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?>.

       -nI dir
              <?><?><?><?><?><?> dir <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?>.

       -native-output-dir dir
              <?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> dir.

       -h, --help
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       coqtop(1), coqc(1), coq_makefile(1), coqdep(1)

       <?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?> Rocq Prover.

       <?><?><?><?><?><?><?> Rocq Prover: https://rocq-prover.org

                                                                  COQNATIVE(1)