-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Dear sthen, chrisz,
> >http://junkpile.org/coq.log > > > >I'm not sure why this has broken now, the port hasn't changed for a > >while. > >Might be picking up something (texlive? hevea?) in configure.. I'll try to check tonight the relevant Makefile of coq (which is generated by configure). Quick look at my log when I built coq-8.4pl4 about two weeks ago, I found the difference in the output of configure ] latex was not found; documentation will not be available I always compiled coq without latex, because texlive is a very huge size package. sthen, your building environment is changed recently? Anyway, generated Makefile should be consistent with configure. (from coq.log...) > ===> Configuring for coq-8.4pl4 > You have GNU Make 4.0. Good! > You have Objective-Caml 4.02.1. Good! > You have native-code compilation. Good! > LabelGtk2 found by ocamlfind, native threads: native CoqIde will be available. > > Coq top directory : /usr/obj/ports/coq-8.4pl4/coq-8.4pl4 > Architecture : OpenBSD > Coq VM bytecode link flags : -dllib -lcoqrun -dllpath > '/usr/local/lib/coq' > Coq tools bytecode link flags : > OS dependent libraries : -cclib -lunix > Objective-Caml/Camlp4 version : 4.02.1 > Objective-Caml/Camlp4 binaries in : /usr/local/bin > Objective-Caml library in : /usr/local/lib/ocaml > Camlp4 library in : +camlp4 > Native dynamic link support : true > Lablgtk2 library in : /usr/local/lib/ocaml/lablgtk2 > Documentation : All > CoqIde : opt > 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/local/bin > library will be copied in /usr/local/lib/coq > config files will be copied in /etc/xdg/coq > data files will be copied in /usr/local/share/coq > man pages will be copied in /usr/local/man > documentation will be copied in /usr/local/share/doc/coq > emacs mode will be copied in /usr/local/share/emacs/site-lisp > > If anything in the above is wrong, please restart './configure'. (from my log...) ] ===> Configuring for coq-8.4pl4 ] You have GNU Make 4.0. Good! ] You have Objective-Caml 4.02.0. Good! ] You have native-code compilation. Good! ] LabelGtk2 found by ocamlfind, native threads: native CoqIde will be available. ] latex was not found; documentation will not be available ] ] Coq top directory : /usr/ports/pobj/coq-8.4pl4/coq-8.4pl4 ] Architecture : OpenBSD ] Coq VM bytecode link flags : -dllib -lcoqrun -dllpath '/usr/local/lib/coq' ] Coq tools bytecode link flags : ] OS dependent libraries : -cclib -lunix ] Objective-Caml/Camlp4 version : 4.02.0 ] Objective-Caml/Camlp4 binaries in : /usr/local/bin ] Objective-Caml library in : /usr/local/lib/ocaml ] Camlp4 library in : +camlp4 ] Native dynamic link support : true ] Lablgtk2 library in : /usr/local/lib/ocaml/lablgtk2 ] Documentation : None ] CoqIde : opt ] 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/local/bin ] library will be copied in /usr/local/lib/coq ] config files will be copied in /etc/xdg/coq ] data files will be copied in /usr/local/share/coq ] man pages will be copied in /usr/local/man ] documentation will be copied in /usr/local/share/doc/coq ] emacs mode will be copied in /usr/local/share/emacs/site-lisp ] ] If anything in the above is wrong, please restart './configure'. -- yozo. -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCgAGBQJUaEJyAAoJEOjYQzBc/C/J1c4H/jj+fB178gOv78bDoEDK9vrx vPR3/KNcJMk35OKOGBmQ8igg5fyw/rpbEtapkd8DZWVhWAoG5bOy4nA6USs0XxuD PyBgUWaGlzplJxbAqrf4ipzGn/e6etGR+m3M00p1rdvk/liSKSemYAFKw1jYyUh/ bfcZU5EvWMwszXSuopnGDp9zCh6bwsTx9KIb+QE3Mv2fDw7suBX4EWC3B0EWXgcZ 7Ry8F424BjKLE0iNywRLIrC6fswr0aW1E0oYqKmgccaR338t4CTyvKXIabUtqaT/ 3kvZYKJqw4fk3LVPqzf4PRYhXsFBKlgoUc3zYu/nBzmsL1NCRJwQcJ5ry/QLQ34= =iMl6 -----END PGP SIGNATURE-----
