=> Bootstrap dependency digest>=20010302: found digest-20111104
=> Bootstrap dependency fetch-[0-9]*: found fetch-1.7
=> Checksum SHA1 OK for coq-8.3pl1.tar.gz
=> Checksum RMD160 OK for coq-8.3pl1.tar.gz
===> Installing dependencies for coq-8.3pl1nb8
==========================================================================
The supported build options for coq are:

	coqide

You can select which build options to use by setting PKG_DEFAULT_OPTIONS
or the following variable.  Its current value is shown:

	PKG_OPTIONS.coq (not defined)

==========================================================================
==========================================================================
The following variables will affect the build process of this package,
coq-8.3pl1nb8.  Their current value is shown below:

        * CURSES_DEFAULT = ncurses

Based on these variables, the following variables have been set:

        * CURSES_TYPE = ncurses
        * TERMCAP_TYPE = curses

You may want to abort the process now with CTRL-C and change their value
before continuing.  Be sure to run `/usr/pkg/bin/bmake clean' after
the changes.
==========================================================================
=> Build dependency ocaml>=3.12.0nb5: found ocaml-3.12.1
=> Build dependency checkperms>=1.1: found checkperms-1.11
=> Full dependency camlp5>=5.15nb1: found camlp5-5.15nb1
===> Overriding tools for coq-8.3pl1nb8
===> Extracting for coq-8.3pl1nb8
===> Patching for coq-8.3pl1nb8
=> Applying pkgsrc patches for coq-8.3pl1nb8
===> Creating toolchain wrappers for coq-8.3pl1nb8
===> Configuring for coq-8.3pl1nb8
=> Replacing sh interpreter in configure install.sh.
=> Checking for portability problems in extracted files
You have GNU Make >= 3.81. Good!
You have Objective-Caml 3.12.1. Good!
You have native-code compilation. Good!
LablGtk2 not found: CoqIde will not be available.
latex was not found; documentation will not be available

  Coq top directory                 : /tmp/pkgsrc/lang/coq/work/coq-8.3pl1
  Architecture                      : x86_64
  Coq VM bytecode link flags        : -dllib -lcoqrun -dllpath '/usr/pkg/lib/coq'
  Coq tools bytecode link flags     : 
  OS dependent libraries            : -cclib -lunix
  Objective-Caml/Camlp4 version     : 3.12.1
  Objective-Caml/Camlp4 binaries in : /tmp/pkgsrc/lang/coq/work/.buildlink/bin
  Objective-Caml library in         : /usr/pkg/lib/ocaml
  Camlp4 library in                 : +camlp5
  Native dynamic link support       : true
  Documentation                     : None
  CoqIde                            : no
  Web browser                       : firefox -remote "OpenURL(%s,new-tab)" || firefox %s &
  Coq web site                      : http://coq.inria.fr/

  Paths for true installation:
    binaries      will be copied in /usr/pkg/bin
    library       will be copied in /usr/pkg/lib/coq
    man pages     will be copied in /usr/pkg/man
    documentation will be copied in /usr/pkg/share/doc/coq
    emacs mode    will be copied in /usr/pkg/share/emacs/site-lisp

If anything in the above is wrong, please restart './configure'.

*Warning* To compile the system for a new architecture
          don't forget to do a 'make archclean' before './configure'.