------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.tgz Installing /packages/All/gettext-runtime-0.20.1.tgz Installing /packages/All/ncurses-6.1.20190525.tgz Installing /packages/All/bash-5.0.7.tgz Installing /packages/All/perl5-5.28.2.tgz Message from perl5-5.28.2: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. Installing /packages/All/texi2html-5.0_2,1.tgz Installing /packages/All/expat-2.2.6_1.tgz Installing /packages/All/libICE-1.0.9_3,1.tgz Installing /packages/All/libSM-1.2.3,1.tgz Installing /packages/All/libXau-1.0.9.tgz Installing /packages/All/xorgproto-2019.1.tgz Installing /packages/All/libXdmcp-1.1.3.tgz Installing /packages/All/libxml2-2.9.9.tgz Installing /packages/All/libpthread-stubs-0.4.tgz Installing /packages/All/libxcb-1.13.1.tgz Installing /packages/All/libX11-1.6.8,1.tgz Installing /packages/All/dbus-1.12.12.tgz ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. Installing /packages/All/giflib-5.1.9.tgz Installing /packages/All/gmp-6.1.2_1.tgz Installing /packages/All/nettle-3.5.1_1.tgz Installing /packages/All/libtasn1-4.14.tgz Installing /packages/All/libunistring-0.9.10_1.tgz Installing /packages/All/libidn2-2.2.0.tgz Installing /packages/All/libffi-3.2.1_3.tgz Installing /packages/All/ca_root_nss-3.45.tgz Message from ca_root_nss-3.45: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** Installing /packages/All/p11-kit-0.23.16.1.tgz Installing /packages/All/tpm-emulator-0.7.4_2.tgz ===> Creating groups. Creating group '_tss' with gid '601'. ===> Creating users Creating user '_tss' with uid '601'. Installing /packages/All/openssl-1.0.2s,1.tgz Message from openssl-1.0.2s,1: Edit /usr/local/openssl/openssl.cnf to fit your needs. Installing /packages/All/trousers-0.3.14_2.tgz ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. Message from trousers-0.3.14_2: To run tcsd automatically, add the following line to /etc/rc.conf: tcsd_enable="YES" You might want to edit /usr/local/etc/tcsd.conf to reflect your setup. If you want to use tcsd with software TPM emulator, use the following configuration in /etc/rc.conf: tcsd_enable="YES" tcsd_mode="emulator" tpmd_enable="YES" To use TPM, add your_account to '_tss' group like following: # pw groupmod _tss -m your_account Installing /packages/All/gnutls-3.6.9.tgz Installing /packages/All/jansson-2.12.tgz Installing /packages/All/jbigkit-2.1_1.tgz Installing /packages/All/jpeg-turbo-2.0.2.tgz Installing /packages/All/tiff-4.0.10_1.tgz Installing /packages/All/lcms2-2.9.tgz Installing /packages/All/freetype2-2.10.1.tgz Message from freetype2-2.10.1: The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. If LONG_PCF_NAMES port's option was enabled, the PCF family names may include the foundry and information whether they contain wide characters. For example, "Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at run time with using pcf:no-long-family-names property, if needed. Example: FREETYPE_PROPERTIES=pcf:no-long-family-names=1 How to recreate fontconfig cache with using such environment variable, if needed: # env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/site/index.html, if documentation was installed). Installing /packages/All/fontconfig-2.12.6,1.tgz Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory fc-cache: succeeded Installing /packages/All/fribidi-0.19.7.tgz Installing /packages/All/png-1.6.37.tgz Installing /packages/All/webp-1.0.3_1.tgz Installing /packages/All/libgd-2.2.5_1,1.tgz Installing /packages/All/libXext-1.3.4,1.tgz Installing /packages/All/libXt-1.2.0,1.tgz Installing /packages/All/libXmu-1.1.3,1.tgz Installing /packages/All/libXp-1.0.3_2,1.tgz Installing /packages/All/libXpm-3.5.12_2.tgz Installing /packages/All/libXaw-1.0.13_2,2.tgz Installing /packages/All/libotf-0.9.16.tgz Installing /packages/All/m17n-db-1.8.0.tgz Installing /packages/All/libXrender-0.9.10_2.tgz Installing /packages/All/libXft-2.3.2_3.tgz Installing /packages/All/m17n-lib-1.8.0_1.tgz Installing /packages/All/libltdl-2.4.6.tgz Installing /packages/All/fftw3-3.3.8_4.tgz Installing /packages/All/openjpeg-2.3.1.tgz Installing /packages/All/pcre-8.43_2.tgz Installing /packages/All/libiconv-1.14_11.tgz Installing /packages/All/readline-8.0.0.tgz Installing /packages/All/python36-3.6.9.tgz Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== Installing /packages/All/glib-2.56.3_6,1.tgz No schema files found: doing nothing. Installing /packages/All/liblqr-1-0.4.2.tgz Message from liblqr-1-0.4.2: ========================================================================== NOTE: In order to compile examples for liblqr, you will also need pngwriter port (/xports/graphics/pngwriter). Examples are located in /usr/local/share/examples/liblqr-1 ========================================================================== Installing /packages/All/graphite2-1.3.13_1.tgz Installing /packages/All/wayland-1.16.0.tgz Installing /packages/All/pciids-20190725.tgz Installing /packages/All/libpciaccess-0.16.tgz Installing /packages/All/libdrm-2.4.99.tgz Installing /packages/All/libelf-0.8.13_3.tgz Installing /packages/All/libXfixes-5.0.3_2.tgz Installing /packages/All/libXdamage-1.1.5.tgz Installing /packages/All/libXrandr-1.5.2.tgz Installing /packages/All/libxshmfence-1.3.tgz Installing /packages/All/libXxf86vm-1.1.4_3.tgz Installing /packages/All/mesa-libs-18.3.2_1.tgz Installing /packages/All/pixman-0.38.4.tgz Installing /packages/All/cairo-1.16.0,2.tgz Installing /packages/All/harfbuzz-2.5.3_1.tgz Installing /packages/All/libraqm-0.6.0.tgz Installing /packages/All/libraw-0.19.2_1.tgz Installing /packages/All/libcroco-0.6.12.tgz Installing /packages/All/shared-mime-info-1.10_1.tgz Installing /packages/All/gdk-pixbuf2-2.38.1.tgz Installing /packages/All/libgsf-1.14.44.tgz Installing /packages/All/libfontenc-1.1.4.tgz Installing /packages/All/mkfontscale-1.2.1.tgz Installing /packages/All/font-bh-ttf-1.0.3_4.tgz Installing /packages/All/font-misc-meltho-1.0.3_4.tgz Installing /packages/All/font-misc-ethiopic-1.0.3_4.tgz Installing /packages/All/font-util-1.3.1.tgz Installing /packages/All/encodings-1.0.5,1.tgz Installing /packages/All/dejavu-2.37_1.tgz Message from dejavu-2.37_1: 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/share/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. Installing /packages/All/xorg-fonts-truetype-7.7_1.tgz Installing /packages/All/pango-1.42.4_3.tgz Installing /packages/All/librsvg2-2.40.20.tgz Installing /packages/All/libwmf-0.2.8.4_15.tgz Installing /packages/All/gsfonts-8.11_8.tgz Installing /packages/All/pkgconf-1.6.1,1.tgz Installing /packages/All/libidn-1.35.tgz Installing /packages/All/jbig2dec-0.16.tgz Installing /packages/All/libpaper-1.1.24.4.tgz Installing /packages/All/libdaemon-0.14_1.tgz Installing /packages/All/dbus-glib-0.110.tgz Installing /packages/All/gdbm-1.18.1_1.tgz Installing /packages/All/gobject-introspection-1.56.1,1.tgz Installing /packages/All/gnome_subr-1.0.tgz Installing /packages/All/avahi-app-0.7_2.tgz ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. Installing /packages/All/cups-2.2.11.tgz ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. Installing /packages/All/poppler-data-0.4.9.tgz Installing /packages/All/ghostscript9-agpl-base-9.27_2.tgz Message from ghostscript9-agpl-base-9.27_2: This package installs a script named dvipdf that depends on dvips. If you want to use this script you need to install print/tex-dvipsk. Installing /packages/All/ghostscript9-agpl-x11-9.27.tgz Installing /packages/All/ImageMagick6-6.9.10.57,1.tgz Installing /packages/All/mailutils-3.7_2.tgz Installing /packages/All/atk-2.28.1.tgz Installing /packages/All/nspr-4.21.tgz Installing /packages/All/icu-64.2,1.tgz Installing /packages/All/spidermonkey52-52.9.0_4.tgz Installing /packages/All/polkit-0.114_3.tgz ===> Creating groups. Creating group 'polkitd' with gid '565'. ===> Creating users Creating user 'polkitd' with uid '565'. Installing /packages/All/dconf-0.28.0.tgz Installing /packages/All/hicolor-icon-theme-0.17.tgz Installing /packages/All/libXinerama-1.1.4_2,1.tgz Installing /packages/All/libXi-1.7.10,1.tgz Installing /packages/All/libXcursor-1.2.0.tgz Installing /packages/All/libXcomposite-0.4.5,1.tgz Installing /packages/All/gtk-update-icon-cache-2.24.32.tgz Installing /packages/All/gtk2-2.24.32.tgz Installing /packages/All/libIDL-0.8.14_4.tgz Installing /packages/All/ORBit2-2.14.19_2.tgz Installing /packages/All/gconf2-3.2.6_5.tgz Installing /packages/All/libepoxy-1.5.2.tgz Installing /packages/All/sqlite3-3.29.0.tgz Installing /packages/All/libXScrnSaver-1.2.3_2.tgz Installing /packages/All/argyllcms-1.9.2_5.tgz Installing /packages/All/colord-1.3.5.tgz ===> Creating groups. Creating group 'colord' with gid '970'. ===> Creating users Creating user 'colord' with uid '970'. Installing /packages/All/xkeyboard-config-2.27.tgz Installing /packages/All/libxkbcommon-0.8.4.tgz Installing /packages/All/libXtst-1.2.3_2.tgz Installing /packages/All/at-spi2-core-2.28.0.tgz Installing /packages/All/at-spi2-atk-2.26.2.tgz Installing /packages/All/adwaita-icon-theme-3.28.0.tgz Installing /packages/All/wayland-protocols-1.17.tgz Installing /packages/All/gtk3-3.24.10_1.tgz Installing /packages/All/coreutils-8.31.tgz Installing /packages/All/desktop-file-utils-0.23.tgz Installing /packages/All/emacs-26.2_1,3.tgz Installing /packages/All/gmake-4.2.1_3.tgz SUCCEEDED 00:01:05 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- x/!\ proofgeneral-emacs26-4.1_14: Makefile warnings, please consider fixing /!\ Using USE_GNOME alone is deprecated, please add USES=gnome. SUCCEEDED 00:00:10 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- x/!\ proofgeneral-emacs26-4.1_14: Makefile warnings, please consider fixing /!\ Using USE_GNOME alone is deprecated, please add USES=gnome. ===> Fetching all distfiles required by proofgeneral-emacs26-4.1_14 for building SUCCEEDED 00:00:10 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- x/!\ proofgeneral-emacs26-4.1_14: Makefile warnings, please consider fixing /!\ Using USE_GNOME alone is deprecated, please add USES=gnome. ===> Fetching all distfiles required by proofgeneral-emacs26-4.1_14 for building => SHA256 Checksum OK for ProofGeneral-4.1.tgz. SUCCEEDED 00:00:10 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- x/!\ proofgeneral-emacs26-4.1_14: Makefile warnings, please consider fixing /!\ Using USE_GNOME alone is deprecated, please add USES=gnome. ===> Fetching all distfiles required by proofgeneral-emacs26-4.1_14 for building ===> Extracting for proofgeneral-emacs26-4.1_14 => SHA256 Checksum OK for ProofGeneral-4.1.tgz. Extracted Memory Use: 6.03M SUCCEEDED 00:00:11 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- x===> Patching for proofgeneral-emacs26-4.1_14 ===> Applying ports patches for proofgeneral-emacs26-4.1_14 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- x===> Configuring for proofgeneral-emacs26-4.1_14 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- x===> Building for proofgeneral-emacs26-4.1_14 gmake[1]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1' **************************************************************** Byte compiling... **************************************************************** gmake elc gmake[2]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1' /usr/local/bin/emacs-26.2 --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/construction/math/proofgeneral/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 '/construction/math/proofgeneral/ProofGeneral-4.1' **************************************************************** Finished. **************************************************************** gmake[1]: Leaving directory '/construction/math/proofgeneral/ProofGeneral-4.1' SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- x===> Staging for proofgeneral-emacs26-4.1_14 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1' for f in 16x16 32x32 48x48; do \ if [ ! -d "/construction/math/proofgeneral/stage/usr/local/share/icons/hicolor/$f" ]; then \ mkdir -p /construction/math/proofgeneral/stage/usr/local/share/icons/hicolor/$f; \ fi; \ done install -m 0644 etc/desktop/icons/16x16/proofgeneral.png /construction/math/proofgeneral/stage/usr/local/share/icons/hicolor/16x16/ install -m 0644 etc/desktop/icons/32x32/proofgeneral.png /construction/math/proofgeneral/stage/usr/local/share/icons/hicolor/32x32/ install -m 0644 etc/desktop/icons/48x48/proofgeneral.png /construction/math/proofgeneral/stage/usr/local/share/icons/hicolor/48x48/ install -m 0644 etc/desktop/icons/48x48/proofgeneral.png /construction/math/proofgeneral/stage/usr/local/share/pixmaps/ install -m 0644 etc/desktop/proofgeneral.desktop /construction/math/proofgeneral/stage/usr/local/share/applications if [ ! -d /construction/math/proofgeneral/stage/usr/local/share/mime-info ]; then mkdir /construction/math/proofgeneral/stage/usr/local/share/mime-info; fi install -m 0644 etc/desktop/mime-info/proofgeneral.mime /construction/math/proofgeneral/stage/usr/local/share/mime-info/ install -m 0644 etc/desktop/mime-info/proofgeneral.keys /construction/math/proofgeneral/stage/usr/local/share/mime-info/ mkdir -p /construction/math/proofgeneral/stage/usr/local/share/application-registry cp etc/desktop/application-registry/proofgeneral.applications /construction/math/proofgeneral/stage/usr/local/share/application-registry mkdir -p /construction/math/proofgeneral/stage/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 /construction/math/proofgeneral/stage/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 -m 0644 $f/*.el /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in isar/interface isar/isartags; do install -m 555 $f /construction/math/proofgeneral/stage/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 /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/ProofGeneral/$g; \ files=`find $g -depth 1 -type f \\! -perm +u+x`; \ if [ "$files" != "" ]; then install -m 0644 $files /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/ProofGeneral/$g; fi; \ scripts=`find $g -depth 1 -type f -perm +u+x`; \ if [ "$scripts" != "" ]; then install -m 555 $scripts /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/ProofGeneral/$g; fi; \ done; \ done **************************************************************** Byte compiling... **************************************************************** gmake elc gmake[2]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1' /usr/local/bin/emacs-26.2 --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/construction/math/proofgeneral/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 '/construction/math/proofgeneral/ProofGeneral-4.1' **************************************************************** Finished. **************************************************************** mkdir -p /construction/math/proofgeneral/stage/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 /construction/math/proofgeneral/stage/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 -m 0644 $f/*.elc /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/ProofGeneral/$f; done for f in isar/interface isar/isartags; do install -m 555 $f /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/ProofGeneral/$f; done mkdir -p /construction/math/proofgeneral/stage/usr/local/bin install -m 555 bin/proofgeneral lego/legotags coq/coqtags isar/isartags /construction/math/proofgeneral/stage/usr/local/bin mkdir -p /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/site-start.d echo ';;; pg-init.el --- setup for Proof General' > /construction/math/proofgeneral/stage/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\")))" >> /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/site-start.d/pg-init.el echo "(require 'proof-site)" >> /construction/math/proofgeneral/stage/usr/local/share/emacs/site-lisp/site-start.d/pg-init.el (cd doc; gmake EMACS=/usr/local/bin/emacs-26.2 html) gmake[2]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1/doc' gmake -f Makefile.doc DOCNAME=PG-adapting MAKE="gmake -f Makefile.doc" html gmake[3]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1/doc' texi2html -expandinfo -number-sections -split_chapter --noheader --output PG-adapting PG-adapting.texi gmake[3]: Leaving directory '/construction/math/proofgeneral/ProofGeneral-4.1/doc' gmake -f Makefile.doc DOCNAME=ProofGeneral MAKE="gmake -f Makefile.doc" html gmake[3]: Entering directory '/construction/math/proofgeneral/ProofGeneral-4.1/doc' texi2html -expandinfo -number-sections -split_chapter --noheader --output ProofGeneral ProofGeneral.texi gmake[3]: Leaving directory '/construction/math/proofgeneral/ProofGeneral-4.1/doc' gmake[2]: Leaving directory '/construction/math/proofgeneral/ProofGeneral-4.1/doc' mkdir -p /construction/math/proofgeneral/stage/usr/local/man/man1 install -m 444 doc/proofgeneral.1 /construction/math/proofgeneral/stage/usr/local/man/man1 install -m 444 doc/PG-adapting.info /construction/math/proofgeneral/stage/usr/local/share/info install -m 444 doc/ProofGeneral.info /construction/math/proofgeneral/stage/usr/local/share/info mkdir -p /construction/math/proofgeneral/stage/usr/local/share/doc/proofgeneral for f in AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER; do install -m 444 $f /construction/math/proofgeneral/stage/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 /construction/math/proofgeneral/stage/usr/local/share/doc/proofgeneral/`dirname $f`; \ install -m 444 $f /construction/math/proofgeneral/stage/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 /construction/math/proofgeneral/stage/usr/local/share/doc/proofgeneral/ProofGeneral for f in doc/ProofGeneral/*.html; do \ install -m 444 $f /construction/math/proofgeneral/stage/usr/local/share/doc/proofgeneral/ProofGeneral/`basename $f`; done mkdir -p /construction/math/proofgeneral/stage/usr/local/share/doc/proofgeneral/PG-adapting for f in doc/PG-adapting/*.html; do \ install -m 444 $f /construction/math/proofgeneral/stage/usr/local/share/doc/proofgeneral/PG-adapting/`basename $f`; done gmake[1]: Leaving directory '/construction/math/proofgeneral/ProofGeneral-4.1' ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:12 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- x====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- x===> Building package for proofgeneral-emacs26-4.1_14 file sizes/checksums [307]: 0% file sizes/checksums [307]: 32% file sizes/checksums [307]: 65% file sizes/checksums [307]: 97% file sizes/checksums [307]: 100% packing files [307]: 0% packing files [307]: 32% packing files [307]: 65% packing files [307]: 97% packing files [307]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:02 TOTAL TIME 00:02:02