Building proofgeneral-emacs-4.1_7.txz (origin /buildshare/ports/355755/math/proofgeneral) for powerpc-10-0 on XXX slot2: created x distfiles/ x distfiles/ProofGeneral-4.1.tgz x packages/ x packages/libffi-3.0.13_1.txz x packages/boehm-gc-7.2e.txz x packages/randrproto-1.4.0.txz x packages/pkgconf-0.9.5.txz x packages/libSM-1.2.2_2,1.txz x packages/hicolor-icon-theme-0.12.txz x packages/gtk-update-icon-cache-2.24.22.txz x packages/xmlto-0.0.26_1.txz x packages/gettext-0.18.3.1_1.txz x packages/libX11-1.6.2_2,1.txz x packages/fribidi-0.19.2_1.txz x packages/vala-0.20.1_1.txz x packages/font-bh-ttf-1.0.3_1.txz x packages/nettle-2.7.1.txz x packages/p5-Locale-gettext-1.05_3.txz x packages/font-misc-ethiopic-1.0.3_1.txz x packages/libXft-2.3.1_2.txz x packages/libwmf-0.2.8.4_11.txz x packages/freetype2-2.5.3_2.txz x packages/shared-mime-info-1.1_1.txz x packages/p5-XML-Parser-2.41_1.txz x packages/pkg-1.2.7_2.txz x packages/m4-1.4.17_1,1.txz x packages/libtasn1-3.3.txz x packages/damageproto-1.2.1.txz x packages/libcroco-0.6.8_1.txz x packages/jpeg-8_5.txz x packages/cups-client-1.7.2.txz x packages/emacs24-24.3_3,3.txz x packages/bison-2.7.1,1.txz x packages/tiff-4.0.3_2.txz x packages/png-1.5.18.txz x packages/xf86bigfontproto-1.2.0.txz x packages/libxml2-2.9.1_1.txz x packages/gobject-introspection-1.36.0_2.txz x packages/mkfontdir-1.0.7.txz x packages/xcmiscproto-1.2.2.txz x packages/autoconf-wrapper-20131203.txz x packages/libgcrypt-1.5.3_2.txz x packages/libltdl-2.4.2_3.txz x packages/perl5-5.16.3_10.txz x packages/m17n-lib-1.6.4_2.txz x packages/glproto-1.4.17.txz x packages/w3m-0.5.3_2.txz x packages/polkit-0.105_3.txz x packages/docbook-xml-5.0_2.txz x packages/gsfonts-8.11_6.txz x packages/texi2html-5.0_1,1.txz x packages/dri2proto-2.8.txz x packages/libXfixes-5.0.1_2.txz x packages/ImageMagick-6.8.0.7_9,1.txz x packages/m17n-db-1.6.4.txz x packages/libpciaccess-0.13.2_2.txz x packages/intltool-0.50.2.txz x packages/libGL-7.6.1_4.txz x packages/jbig2dec-0.11_1.txz x packages/gnomehier-3.0.txz x packages/gtk-engines2-2.20.2_2.txz x packages/gtk2-2.24.22_3.txz x packages/gnome_subr-1.0.txz x packages/libXt-1.1.4_2,1.txz x packages/freeglut-2.8.1_2.txz x packages/libidn-1.28_1.txz x packages/xineramaproto-1.2.1.txz x packages/libXi-1.7.2_2,1.txz x packages/xcb-proto-1.10_1.txz x packages/py27-libxml2-2.9.1.txz x packages/libXxf86vm-1.1.3_2.txz x packages/webp-0.4.0.txz x packages/pixman-0.32.4_2.txz x packages/docbook-xsl-1.76.1_2.txz x packages/libXcomposite-0.4.4_2,1.txz x packages/dconf-0.14.1_1.txz x packages/encodings-1.0.4_1,1.txz x packages/giflib-nox11-4.2.3_2.txz x packages/gdk-pixbuf2-2.28.2.txz x packages/libfontenc-1.1.2_2.txz x packages/cairo-1.10.2_10,2.txz x packages/libpthread-stubs-0.3_4.txz x packages/libotf-0.9.13_1.txz x packages/libXaw-1.0.12_2,2.txz x packages/libXdamage-1.1.4_2.txz x packages/liblqr-1-0.4.1_6.txz x packages/librsvg2-2.36.4_1.txz x packages/p11-kit-0.20.2_1.txz x packages/xextproto-7.3.0.txz x packages/libXmu-1.1.2_2,1.txz x packages/libXpm-3.5.11_2.txz x packages/ghostscript9-9.06_6.txz x packages/docbook-sgml-4.5_1.txz x packages/pango-1.34.1_4.txz x packages/libGLU-9.0.0.txz x packages/dejavu-2.34_3.txz x packages/libXp-1.0.2_2,1.txz x packages/getopt-1.1.5.txz x packages/bigreqsproto-1.1.2.txz x packages/renderproto-0.11.1.txz x packages/sdocbook-xml-1.1_1,2.txz x packages/iso8879-1986_3.txz x packages/mkfontscale-1.1.1_1.txz x packages/gconf2-2.32.0_4.txz x packages/xmlcharent-0.3_2.txz x packages/xcb-util-renderutil-0.3.8_2.txz x packages/libXinerama-1.1.3_2,1.txz x packages/libXdmcp-1.1.1_2.txz x packages/libdrm-2.4.17_1.txz x packages/atk-2.8.0.txz x packages/libgpg-error-1.13.txz x packages/cups-image-1.7.2.txz x packages/inputproto-2.3.txz x packages/ORBit2-2.14.19_1.txz x packages/libfpx-1.3.1.4.txz x packages/libiconv-1.14_3.txz x packages/docbook-1.5.txz x packages/libgsf-1.14.28_1.txz x packages/libxslt-1.1.28_3.txz x packages/libgd-2.1.0_3,1.txz x packages/libIDL-0.8.14_2.txz x packages/gmp-5.1.3_2.txz x packages/python2-2_2.txz x packages/libxcb-1.10_2.txz x packages/ca_root_nss-3.16.txz x packages/graphite2-1.2.4.txz x packages/gmake-3.82_1.txz x packages/kbproto-1.0.6.txz x packages/gnutls-2.12.23_5.txz x packages/dbus-1.8.0.txz x packages/printproto-1.0.5.txz x packages/xf86vidmodeproto-2.3.1.txz x packages/xorg-fonts-truetype-7.7_1.txz x packages/jasper-1.900.1_14.txz x packages/libXrender-0.9.8_2.txz x packages/expat-2.1.0.txz x packages/glib-2.36.3_2.txz x packages/harfbuzz-0.9.28.txz x packages/font-misc-meltho-1.0.3_1.txz x packages/pcre-8.34_1.txz x packages/compositeproto-0.4.2.txz x packages/libpaper-1.1.24_1.txz x packages/fixesproto-5.0.txz x packages/dbus-glib-0.100.2_1.txz x packages/autoconf-2.69.txz x packages/py27-setuptools27-2.0.1.txz x packages/xorg-macros-1.19.0.txz x packages/libICE-1.0.8_2,1.txz x packages/xtrans-1.3.4_1.txz x packages/python-2.7_1,2.txz x packages/bdftopcf-1.0.4.txz x packages/makedepend-1.0.5,1.txz x packages/font-util-1.3.0_1.txz x packages/libXfont-1.4.7_3,1.txz x packages/libXcursor-1.1.14_2.txz x packages/libtool-2.4.2_3.txz x packages/xcb-util-0.3.9_3,1.txz x packages/libXext-1.3.2_2,1.txz x packages/cmake-2.8.12.1_4.txz x packages/pciids-20140526.txz x packages/fftw3-3.3.3_1.txz x packages/bash-4.3.18_2.txz x packages/jbigkit-1.6.txz x packages/python27-2.7.6_4.txz x packages/help2man-1.43.3_1.txz x packages/libXrandr-1.4.2_2.txz x packages/xmlcatmgr-2.2.txz x packages/libcheck-0.9.12.txz x packages/libXau-1.0.8_2.txz x packages/icu-52.1.txz x packages/lcms2-2.6_1.txz x packages/fontconfig-2.11.0_3,1.txz x packages/fontsproto-2.1.2.txz x packages/xproto-7.0.25.txz x packages/cmake-modules-2.8.12.1_1.txz ELF ldconfig path: /lib /usr/lib /usr/lib/compat Make depends ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/sbin/pkg - not found ===> Verifying install for /usr/local/sbin/pkg in /buildshare/ports/355755/ports-mgmt/pkg ===> Installing existing package /packages/pkg-1.2.7_2.txz Installing pkg-1.2.7_2... done If you are upgrading from the old package format, first run: # pkg2ng ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on shared library: libatk-1.0.so - not found ===> Verifying for libatk-1.0.so in /buildshare/ports/355755/accessibility/atk ===> Installing existing package /packages/atk-2.8.0.txz Installing atk-2.8.0...Installing gettext-0.18.3.1_1... done Installing glib-2.36.3_2...Installing libffi-3.0.13_1... done Installing libiconv-1.14_3... done Installing pcre-8.34_1... done Installing perl5-5.16.3_10... done Installing python27-2.7.6_4... done No schema files found: doing nothing. done Installing gnomehier-3.0... done done ==== Note that some of the standard modules are provided as separate ports since they require extra dependencies: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter Install them as needed. ==== ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on shared library: libgdk_pixbuf-2.0.so - not found ===> Verifying for libgdk_pixbuf-2.0.so in /buildshare/ports/355755/graphics/gdk-pixbuf2 ===> Installing existing package /packages/gdk-pixbuf2-2.28.2.txz Installing gdk-pixbuf2-2.28.2...Installing jasper-1.900.1_14...Installing jpeg-8_5... done done Installing libX11-1.6.2_2,1...Installing kbproto-1.0.6... done Installing libXau-1.0.8_2...Installing xproto-7.0.25... done done Installing libXdmcp-1.1.1_2... done Installing libxcb-1.10_2...Installing libpthread-stubs-0.3_4... done Installing libxml2-2.9.1_1... done done done Installing libXi-1.7.2_2,1...Installing inputproto-2.3... done Installing libXext-1.3.2_2,1...Installing xextproto-7.3.0... done done Installing libXfixes-5.0.1_2...Installing fixesproto-5.0... done done done Installing libXt-1.1.4_2,1...Installing libSM-1.2.2_2,1...Installing libICE-1.0.8_2,1... done done done Installing png-1.5.18... done Installing tiff-4.0.3_2...Installing freeglut-2.8.1_2...Installing libGLU-9.0.0...Installing libGL-7.6.1_4...Installing dri2proto-2.8... done Installing expat-2.1.0... done Installing libXdamage-1.1.4_2...Installing damageproto-1.2.1... done done Installing libXxf86vm-1.1.3_2...Installing xf86vidmodeproto-2.3.1... done done Installing libdrm-2.4.17_1...Installing libpciaccess-0.13.2_2...Installing pciids-20140526... done done done done done Installing libXrandr-1.4.2_2...Installing libXrender-0.9.8_2...Installing renderproto-0.11.1... done done Installing randrproto-1.4.0... done done done Installing jbigkit-1.6... done Installing libXmu-1.1.2_2,1... done done done Since FreeBSD has new USB stack, freeglut normally doesn't build on FreeBSD 8 (yet). To workaround this a small patch adds one include file and comments out content of one function (only leaves return NULL). This might cause side effects. Joysticks do not work, and there might be ports that do not compile or applications that crash because of this. Do not hesitate to contact x11@FreeBSD.org if there are any issues and side effects because of this. ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on shared library: libglib-2.0.so - found (/usr/local/lib/libglib-2.0.so.0) ===> proofgeneral-emacs-4.1_7 depends on shared library: libpcre.so - found (/usr/local/lib/libpcre.so.3) ===> proofgeneral-emacs-4.1_7 depends on shared library: libpango-1.0.so - not found ===> Verifying for libpango-1.0.so in /buildshare/ports/355755/x11-toolkits/pango ===> Installing existing package /packages/pango-1.34.1_4.txz Installing pango-1.34.1_4...Installing cairo-1.10.2_10,2...Installing fontconfig-2.11.0_3,1...Installing freetype2-2.5.3_2... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: caching, new cache contents: 0 fonts, 1 dirs /usr/local/lib/X11/fonts/local: caching, new cache contents: 0 fonts, 0 dirs /root/.local/share/fonts: skipping, no such directory /root/.fonts: skipping, no such directory /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: caching, new cache contents: 0 fonts, 1 dirs /root/.local/share/fonts: skipping, no such directory /root/.fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory /root/.cache/fontconfig: not cleaning non-existent cache directory /root/.fontconfig: not cleaning non-existent cache directory fc-cache: succeeded done Installing pixman-0.32.4_2... done Installing xcb-util-renderutil-0.3.8_2...Installing xcb-util-0.3.9_3,1... done done done Installing encodings-1.0.4_1,1...Installing font-util-1.3.0_1... done done Installing harfbuzz-0.9.28...Installing graphite2-1.2.4... done Installing icu-52.1... done done Installing libXft-2.3.1_2... done Installing xorg-fonts-truetype-7.7_1...Installing dejavu-2.34_3... done Installing font-bh-ttf-1.0.3_1...Installing mkfontdir-1.0.7...Installing mkfontscale-1.1.1_1...Installing libfontenc-1.1.2_2... done done done done Installing font-misc-ethiopic-1.0.3_1... done Installing font-misc-meltho-1.0.3_1... done done done Make sure that the freetype module is loaded. If it is not, add the following line to the "Modules" section of your X Windows configuration file: Load "freetype" Add the following line to the "Files" section of X Windows configuration file: FontPath "/usr/local/lib/X11/fonts/dejavu/" Note: your X Windows configuration file is typically /etc/X11/XF86Config if you are using XFree86, and /etc/X11/xorg.conf if you are using X.Org. ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on executable: bash - not found ===> Verifying install for bash in /buildshare/ports/355755/shells/bash ===> Installing existing package /packages/bash-4.3.18_2.txz Installing bash-4.3.18_2...Updating /etc/shells done ====================================================================== bash requires fdescfs(5) mounted on /dev/fd If you have not done it yet, please do the following: mount -t fdescfs fdesc /dev/fd To make it permanent, you need the following lines in /etc/fstab: fdesc /dev/fd fdescfs rw 0 0 ====================================================================== ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/emacs-24.3 - not found ===> Verifying install for /usr/local/bin/emacs-24.3 in /buildshare/ports/355755/editors/emacs ===> Installing existing package /packages/emacs24-24.3_3,3.txz Installing emacs24-24.3_3,3...Installing ImageMagick-6.8.0.7_9,1...Installing fftw3-3.3.3_1... done Installing ghostscript9-9.06_6...Installing cups-image-1.7.2...Installing cups-client-1.7.2...===> Creating users and/or groups. Creating group 'cups' with gid '193'. Creating user 'cups' with uid '193'. done ===> Creating users and/or groups. Using existing group 'cups'. Using existing user 'cups'. done Installing gsfonts-8.11_6... done Installing jbig2dec-0.11_1... done Installing lcms2-2.6_1... done Installing libidn-1.28_1... done Installing libpaper-1.1.24_1... done done Installing libfpx-1.3.1.4... done Installing liblqr-1-0.4.1_6... done Installing libltdl-2.4.2_3... done Installing librsvg2-2.36.4_1...Installing gtk-engines2-2.20.2_2...Installing gtk2-2.24.22_3...Installing gtk-update-icon-cache-2.24.22...Installing hicolor-icon-theme-0.12... done Installing libXcomposite-0.4.4_2,1...Installing compositeproto-0.4.2... done done Installing libXcursor-1.1.14_2... done Installing libXinerama-1.1.3_2,1...Installing xineramaproto-1.2.1... done done Installing shared-mime-info-1.1_1... done done Installing python-2.7_1,2...Installing python2-2_2... done done done done Installing libcroco-0.6.8_1... done Installing libgsf-1.14.28_1... done done Installing libwmf-0.2.8.4_11... done Installing pkgconf-0.9.5... done Installing webp-0.4.0...Installing giflib-nox11-4.2.3_2... done done done Installing ORBit2-2.14.19_1...Installing libIDL-0.8.14_2... done done Installing dbus-1.8.0...Installing gnome_subr-1.0... done ===> Creating users and/or groups. Creating group 'messagebus' with gid '556'. Creating user 'messagebus' with uid '556'. done Installing gconf2-2.32.0_4...Installing dbus-glib-0.100.2_1... done Installing dconf-0.14.1_1... done Installing polkit-0.105_3...Installing gobject-introspection-1.36.0_2... done done done Installing gnutls-2.12.23_5...Installing libgpg-error-1.13... done Installing libtasn1-3.3... done Installing nettle-2.7.1...Installing gmp-5.1.3_2... done done Installing p11-kit-0.20.2_1...Installing ca_root_nss-3.16... done done done Installing libotf-0.9.13_1...Installing libXaw-1.0.12_2,2...Installing libXp-1.0.2_2,1...Installing printproto-1.0.5... done done Installing libXpm-3.5.11_2... done done done Installing m17n-lib-1.6.4_2...Installing fribidi-0.19.2_1... done Installing libgd-2.1.0_3,1... done Installing m17n-db-1.6.4... done done done Note: in order to use the script "dvipdf", dvips must be installed. This program may be provided by either print/dvips or print/dvipsk-tetex (print/dvipsk-tetex may be preferable since it doesn't conflict with tetex things). FAPIfontmap and FAPIcidfmap in /usr/local/share/ghostscript/9.06/Resource/Init have to be configured if you want to use FAPI feature. ========================================================================== NOTE: In order to compile examples for liblqr, you will also need pngwriter port (/buildshare/ports/355755/graphics/pngwriter). Examples are located in /usr/local/share/examples/liblqr-1 ========================================================================== ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on executable: gmake - not found ===> Verifying install for gmake in /buildshare/ports/355755/devel/gmake ===> Installing existing package /packages/gmake-3.82_1.txz Installing gmake-3.82_1... done ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on executable: texi2html - not found ===> Verifying install for texi2html in /buildshare/ports/355755/textproc/texi2html ===> Installing existing package /packages/texi2html-5.0_1,1.txz Installing texi2html-5.0_1,1... done ===> Returning to build of proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on executable: gtk-update-icon-cache - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/perl5.16.3 - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/share/icons/hicolor/index.theme - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/emacs-24.3 - found ===> proofgeneral-emacs-4.1_7 depends on executable: gtk-update-icon-cache - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/perl5.16.3 - found Make install ===> License GPLv2 accepted by the user ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by proofgeneral-emacs-4.1_7 for building ===> Extracting for proofgeneral-emacs-4.1_7 => SHA256 Checksum OK for ProofGeneral-4.1.tgz. ===> Patching for proofgeneral-emacs-4.1_7 ===> Applying FreeBSD patches for proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on executable: bash - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/emacs-24.3 - found ===> proofgeneral-emacs-4.1_7 depends on executable: gmake - found ===> proofgeneral-emacs-4.1_7 depends on executable: texi2html - found ===> proofgeneral-emacs-4.1_7 depends on executable: gtk-update-icon-cache - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/perl5.16.3 - found ===> proofgeneral-emacs-4.1_7 depends on shared library: libatk-1.0.so - found (/usr/local/lib/libatk-1.0.so.0) ===> proofgeneral-emacs-4.1_7 depends on shared library: libgdk_pixbuf-2.0.so - found (/usr/local/lib/libgdk_pixbuf-2.0.so.0) ===> proofgeneral-emacs-4.1_7 depends on shared library: libglib-2.0.so - found (/usr/local/lib/libglib-2.0.so.0) ===> proofgeneral-emacs-4.1_7 depends on shared library: libpcre.so - found (/usr/local/lib/libpcre.so.3) ===> proofgeneral-emacs-4.1_7 depends on shared library: libpango-1.0.so - found (/usr/local/lib/libpango-1.0.so.0.3400.1) ===> Configuring for proofgeneral-emacs-4.1_7 ===> Building for proofgeneral-emacs-4.1_7 gmake[1]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' **************************************************************** Byte compiling... **************************************************************** gmake elc gmake[2]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' emacs --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile generic/proof-autoloads.el gmake[2]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' **************************************************************** Finished. **************************************************************** gmake[1]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' ===> Installing for proofgeneral-emacs-4.1_7 ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/share/icons/hicolor/index.theme - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/emacs-24.3 - found ===> proofgeneral-emacs-4.1_7 depends on executable: gtk-update-icon-cache - found ===> proofgeneral-emacs-4.1_7 depends on file: /usr/local/bin/perl5.16.3 - found ===> Generating temporary packing list ===> Checking if math/proofgeneral already installed gmake[1]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' for f in 16x16 32x32 48x48; do \ if [ ! -d "/usr/local/share/icons/hicolor/$f" ]; then \ mkdir -p /usr/local/share/icons/hicolor/$f; \ fi; \ done install -o root -g wheel -m 444 etc/desktop/icons/16x16/proofgeneral.png /usr/local/share/icons/hicolor/16x16/ install -o root -g wheel -m 444 etc/desktop/icons/32x32/proofgeneral.png /usr/local/share/icons/hicolor/32x32/ install -o root -g wheel -m 444 etc/desktop/icons/48x48/proofgeneral.png /usr/local/share/icons/hicolor/48x48/ install -o root -g wheel -m 444 etc/desktop/icons/48x48/proofgeneral.png /usr/local/share/pixmaps/ install -o root -g wheel -m 444 etc/desktop/proofgeneral.desktop /usr/local/share/applications if [ ! -d /usr/local/share/mime-info ]; then mkdir /usr/local/share/mime-info; fi install -o root -g wheel -m 444 etc/desktop/mime-info/proofgeneral.mime /usr/local/share/mime-info/ install -o root -g wheel -m 444 etc/desktop/mime-info/proofgeneral.keys /usr/local/share/mime-info/ mkdir -p /usr/local/share/application-registry cp etc/desktop/application-registry/proofgeneral.applications /usr/local/share/application-registry mkdir -p /usr/local/share/emacs/site-lisp/ProofGeneral for f in acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm images; do mkdir -p /usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm; do install -o root -g wheel -m 444 $f/*.el /usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in isar/interface isar/isartags; do install -o root -g wheel -m 555 $f /usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in images; \ do for g in `find -d $f -type d`; \ do mkdir -p /usr/local/share/emacs/site-lisp/ProofGeneral/$g; \ files=`find $g -depth 1 -type f \\! -perm +u+x`; \ if [ "$files" != "" ]; then install -o root -g wheel -m 444 $files /usr/local/share/emacs/site-lisp/ProofGeneral/$g; fi; \ scripts=`find $g -depth 1 -type f -perm +u+x`; \ if [ "$scripts" != "" ]; then install -o root -g wheel -m 555 $scripts /usr/local/share/emacs/site-lisp/ProofGeneral/$g; fi; \ done; \ done **************************************************************** Byte compiling... **************************************************************** gmake elc gmake[2]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' emacs --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile generic/proof-autoloads.el gmake[2]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' **************************************************************** Finished. **************************************************************** mkdir -p /usr/local/share/emacs/site-lisp/ProofGeneral for f in acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm images; do mkdir -p /usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm; do install -o root -g wheel -m 444 $f/*.elc /usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in isar/interface isar/isartags; do install -o root -g wheel -m 555 $f /usr/local/share/emacs/site-lisp/ProofGeneral/$f; done mkdir -p /usr/local/bin install -o root -g wheel -m 555 bin/proofgeneral lego/legotags coq/coqtags isar/isartags /usr/local/bin mkdir -p /usr/local/share/emacs/site-lisp/site-start.d echo ';;; pg-init.el --- setup for Proof General' > /usr/local/share/emacs/site-lisp/site-start.d/pg-init.el echo "(setq load-path (append load-path '(\"/usr/local/share/emacs/site-lisp/ProofGeneral/generic\")))" >> /usr/local/share/emacs/site-lisp/site-start.d/pg-init.el echo "(require 'proof-site)" >> /usr/local/share/emacs/site-lisp/site-start.d/pg-init.el (cd doc; gmake EMACS=emacs html) gmake[2]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/doc' gmake -f Makefile.doc DOCNAME=PG-adapting MAKE="gmake -f Makefile.doc" html gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/doc' texi2html -expandinfo -number-sections -split_chapter --noheader --output PG-adapting PG-adapting.texi gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/doc' gmake -f Makefile.doc DOCNAME=ProofGeneral MAKE="gmake -f Makefile.doc" html gmake[3]: Entering directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/doc' texi2html -expandinfo -number-sections -split_chapter --noheader --output ProofGeneral ProofGeneral.texi gmake[3]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/doc' gmake[2]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1/doc' mkdir -p /usr/local/man/man1 install -o root -g wheel -m 444 doc/proofgeneral.1 /usr/local/man/man1 install -o root -g wheel -m 444 doc/PG-adapting.info /usr/local/info install -o root -g wheel -m 444 doc/ProofGeneral.info /usr/local/info mkdir -p /usr/local/share/doc/proofgeneral for f in AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER; do install -o root -g wheel -m 444 $f /usr/local/share/doc/proofgeneral; done for f in acl2/*.acl2 hol98/*.sml isar/*.thy lclam/*.lcm lego/*.l pgshell/*.pgsh phox/*.phx plastic/*.lf twelf/*.elf; do mkdir -p /usr/local/share/doc/proofgeneral/`dirname $f`; \ install -o root -g wheel -m 444 $f /usr/local/share/doc/proofgeneral/$f; done install: lclam/*.lcm: No such file or directory install: plastic/*.lf: No such file or directory mkdir -p /usr/local/share/doc/proofgeneral/ProofGeneral for f in doc/ProofGeneral/*.html; do \ install -o root -g wheel -m 444 $f /usr/local/share/doc/proofgeneral/ProofGeneral/`basename $f`; done mkdir -p /usr/local/share/doc/proofgeneral/PG-adapting for f in doc/PG-adapting/*.html; do \ install -o root -g wheel -m 444 $f /usr/local/share/doc/proofgeneral/PG-adapting/`basename $f`; done gmake[1]: Leaving directory `/obj/buildshare/ports/355755/math/proofgeneral/work/ProofGeneral-4.1' ------------------------------------------------------------------------------- Please register your interest in this software before use: http://proofgeneral.inf.ed.ac.uk/register To load Proof General automatically when starting x/emacs, add the following line to the .emacs or .xemacs/init.el file: (load-file "/usr/local/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el") ------------------------------------------------------------------------------ install-info --quiet /usr/local/info/PG-adapting.info /usr/local/info/dir install-info --quiet /usr/local/info/ProofGeneral.info /usr/local/info/dir ===> Compressing manual pages for proofgeneral-emacs-4.1_7 ===> Registering installation for proofgeneral-emacs-4.1_7 Installing proofgeneral-emacs-4.1_7... done Make package ===> Building package for proofgeneral-emacs-4.1_7 Creating package for proofgeneral-emacs-4.1_7 slot2: removed