=> Bootstrap dependency digest>=20010302: found digest-20080510 => 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.3pl1nb1 ========================================================================== 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) ========================================================================== => Build dependency ocaml>=3.10: found ocaml-3.12.0nb3 => Build dependency checkperms>=1.1: found checkperms-1.11 => Full dependency camlp5>=5.01: found camlp5-5.15 ===> Overriding tools for coq-8.3pl1nb1 ===> Extracting for coq-8.3pl1nb1 ===> Patching for coq-8.3pl1nb1 => Applying pkgsrc patches for coq-8.3pl1nb1 ===> Creating toolchain wrappers for coq-8.3pl1nb1 ===> Configuring for coq-8.3pl1nb1 => 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.0. 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.0 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'.