cvs commit: ports/devel/googletest Makefile distinfo Subject: Re: cvs commit: ports/math/coq Makefile distinfo pkg-plist

[QAT at FreeBSD.org]

 QAT - your restless neighborhood Daemon - identified a mtree error
while trying to build:
coq-8.2.1 maintained by johans at stack.nl
 Makefile ident: $FreeBSD: ports/math/coq/Makefile,v 1.19 2009/03/16 07:38:00 johans Exp $

Excerpt from http://QAT.TecNik93.com/logs/7-STABLE-FPT-NPD/coq-8.2.1.log :

cat install.sh >install 
chmod a+x install
gmake[1]: Leaving directory `/work/a/ports/math/coq/work/coq-8.2-1'
===>   Compressing manual pages for coq-8.2.1
===>   Registering installation for coq-8.2.1
===> SECURITY REPORT: 
      This port has installed the following files which may act as network
      servers and may therefore pose a remote security risk to the system.
/usr/local/bin/coqdoc
/usr/local/bin/coqdep
/usr/local/bin/coq-parser.opt
/usr/local/bin/coqchk.opt
/usr/local/bin/coqmktop
/usr/local/bin/coq-interface.opt
/usr/local/bin/coqtop.opt
/usr/local/bin/coqc
/usr/local/bin/coqide.opt

      If there are vulnerabilities in these programs there may be a security
      risk to the system. FreeBSD makes no guarantee about the security of
      ports included in the Ports Collection. Please type 'make deinstall'
      to deinstall the port if this is a concern.

      For more information, and contact details about the security
      status of this software, see the following webpage: 
http://coq.inria.fr/
================================================================
====================<phase 7: make package>====================
===>  Building package for coq-8.2.1
Creating package /tmp/packages/All/coq-8.2.1.tbz
Registering depends: ocaml-lablgtk2-2.10.1_1 gtkglarea-1.99.0_11 gtkspell-2.0.15 gnome-panel-2.24.3 gnome-desktop-2.24.3 py25-gnome-2.22.3 evolution-data-server-2.24.5 libgnomeui-2.24.1 gvfs-1.0.3 gnome-mount-0.8_2 policykit-gnome-0.9.2 gnome-keyring-2.24.1_2 libbonoboui-2.24.1 libgnome-2.24.1 libgweather-2.24.3 gnome-vfs-2.24.0 librsvg2-2.22.3_2 libgsf-1.14.11 gconf2-2.24.0 gnome-icon-theme-2.24.0_2 libnotify-0.4.5 py25-gtk-2.14.1 libgnomecanvas-2.20.1.1_2 libglade2-2.6.3 libwnck-2.24.2 gtk-engines2-2.16.1 gtk-2.14.7_1 atk-1.24.0 libcdio-0.78.2_2 cdparanoia-3.9.8_8 esound-0.2.41 libaudiofile-0.2.6 libcddb-1.3.0 shared-mime-info-0.60 hal-0.5.11_21 consolekit-0.3.0_5 policykit-0.9_3 libbonobo-2.24.1 avahi-app-0.6.24_1 dbus-glib-0.80 dbus-1.2.4.4 gnome-doc-utils-0.14.2 py25-libxml2-2.7.3 rarian-0.8.1 libxslt-1.1.24_2 libsoup-2.24.3 libcroco-0.6.2 libxml2-2.7.3 pango-1.22.4 enchant-1.4.2 py25-orbit-2.24.0 ORBit2-2.14.17 libIDL-0.8.12 py25-gobject-2.16.1 gnome-menus-2.24.2 gio-fa
 m-backend-2.18.4 gamin-0.1.10 glib-2.18.4 aspell-0.60.6_2 libgphoto2-2.4.4 libexif-0.6.17 gnutls-2.6.4 libgcrypt-1.4.4 libgpg-error-1.7 popt-1.7_5 bash-4.0.10_2 getopt-1.1.4_1 gnome-mime-data-2.18.0_3 gmake-3.81_3 gettext-0.17_1 fusefs-libs-2.7.4 samba-libsmbclient-3.0.34_1 libiconv-1.11_1 db41-4.1.25_4 gdbm-1.8.3_3 sqlite3-3.6.10 libdaemon-0.12 libltdl-1.5.26 ocaml-camlp5-5.11 ocaml-lablgl-1.03_1 ocaml-3.10.2_1 tk-8.4.19_2,2 libXft-2.1.13 py25-cairo-1.8.2 cairo-1.8.6_1,1 libXrandr-1.2.3 libXcursor-1.1.9_1 libXrender-0.9.4_1 libglut-7.3_1 libXi-1.2.1,1 libXinerama-1.0.3,1 libGLU-7.3 libGL-7.3_1 libXxf86vm-1.0.2 libXcomposite-0.4.0,1 libXpm-3.5.7 libXres-1.0.3_3 libXmu-1.0.4,1 libXext-1.0.5,1 libXdamage-1.1.1 libXfixes-4.0.3_1 startup-notification-0.9_2 libXt-1.0.5_1 libX11-1.2,1 xcb-util-0.3.3 libxcb-1.2 libdrm-2.4.5 libpthread-stubs-0.1 libusb-0.1.12_4 libvolume_id-0.81.1 nss-3.11.9_2 nspr-4.7 pcre-7.8 libXau-1.0.4 libXdmcp-1.0.2_1 xorg-fonts-truetype-7.4 font-bh-ttf-1.0.0 
 font-misc-meltho-1.0.0_1 font-misc-ethiopic-1.0.0 mkfontdir-1.0.4 mkfontscale-1.0.6 libfontenc-1.0.4 libSM-1.1.0_1,1 libICE-1.0.4_1,1 xproto-7.0.15 bitstream-vera-1.10_4 fontconfig-2.6.0,1 freetype2-2.3.7 pixman-0.14.0 libtasn1-1.8 libart_lgpl-2.3.20,1 pkg-config-0.23_1 jasper-1.900.1_7 tiff-3.8.2_3 jpeg-6b_7 png-1.2.35 perl-5.8.9_2 xcb-proto-1.4 py25-numeric-24.2_3 python25-2.5.4_1 tcl-8.4.19_2,1 gnomehier-2.3_11 hicolor-icon-theme-0.10_2 pciids-20090224 openldap-client-2.4.15_1 dmidecode-2.10 fusefs-kmod-0.3.9.p1.20080208_5 gnome_subr-1.0 docbook-xsl-1.74.0_1 docbook-1.4 docbook-4.1_3 docbook-4.2 docbook-4.3 docbook-4.4_2 docbook-4.5_2 docbook-5.0_1 docbook-sk-4.1.2_4 docbook-xml-4.2_1 docbook-xml-4.3 docbook-xml-4.4_1 docbook-xml-4.5 expat-2.0.1 iso8879-1986_2 xmlcharent-0.3_2 xmlcatmgr-2.2 encodings-1.0.2,1 font-util-1.0.1 compositeproto-0.4 damageproto-1.1.0_2 dri2proto-1.99.3 fixesproto-4.0 inputproto-1.5.0 kbproto-1.0.3 randrproto-1.2.1 renderproto-0.9.3 xextproto-7.0
 .5 xf86vidmodeproto-2.2.2 xineramaproto-1.1.2.
Creating bzip'd tar ball in '/tmp/packages/All/coq-8.2.1.tbz'
Deleting coq-8.2.1
================================================================

=== Checking filesystem state
list of extra files and directories in / (not present before this port was installed but present after it was deinstalled)
19809823        0 lrwxr-xr-x    1 root             wheel                  10 Mar 16 08:20 usr/local/bin/coqchk -> coqchk.opt
================================================================
build of /usr/ports/math/coq ended at Mon Mar 16 08:21:29 UTC 2009

The tarballed WRKDIR can be found here:
http://QAT.TecNik93.com/wrkdirs/7-STABLE-FPT-NPD/coq-8.2.1.tbz

PortsMon page for the port:
http://portsmon.freebsd.org/portoverview.py?category=math&portname=coq

The build which triggered this BotMail was done under
tinderbox-3.1.2_1; dsversion: 3.1 on RELENG_7 on amd64
with tinderd_flags="-nullfs -plistcheck -onceonly" and ccache support, with the
"official" up-to-date Ports Tree, with the following vars set:
NOPORTDOCS=yes,  NOPORTEXAMPLES=yes, NOPORTDATA=yes, FORCE_PACKAGE=yes.

A description of the testing process can be found here:
http://T32.TecNik93.com/FreeBSD/QA-Tindy/


Thanks for your work on making FreeBSD better,

--
QAT - your friendly neighborhood Daemon,
preparing  a heck of an error trapping system:
 - "HMC and EOI?"
 - "Halt, Melt and Catch fire or Execute Operator Immediately."