=> Building lang/hope Started : Thursday, 30 AUG 2018 at 16:40:45 UTC Platform: 5.3-DEVELOPMENT DragonFly 5.3-DEVELOPMENT #140: Wed Aug 29 22:06:30 PDT 2018 root@test.backplane.com:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.3-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.3-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for hope-1.1_1: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/lang/hope XDG_CONFIG_HOME=/construction/lang/hope HOME=/construction/lang/hope TMPDIR="/tmp" PATH=/construction/lang/hope/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/lang/hope XDG_CONFIG_HOME=/construction/lang/hope HOME=/construction/lang/hope TMPDIR="/tmp" PATH=/construction/lang/hope/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- WITH_DOCS=yes DESTDIR=/construction/lang/hope/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" TEXMFDIR="share/texmf" TEXMFDISTDIR="share/texmf-dist" TEXMFLOCALDIR="share/texmf-local" TEXMFVARDIR="share/texmf-var" TEXMFCONFIGDIR="share/texmf-config" FMTUTIL_CNF="share/texmf-config/web2c/fmtutil.cnf" OSREL=5.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/hope" EXAMPLESDIR="share/examples/hope" DATADIR="share/hope" WWWDIR="www/hope" ETCDIR="etc/hope" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/hope DOCSDIR=/usr/local/share/doc/hope EXAMPLESDIR=/usr/local/share/examples/hope WWWDIR=/usr/local/www/hope ETCDIR=/usr/local/etc/hope -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=LiveSystem USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=12 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500316 OSVERSION=9999999 OSREL=5.3 _OSRELEASE=5.3-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> hope-1.1_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_1.txz Installing pkg-1.10.5_1... Extracting pkg-1.10.5_1: .......... done ===> hope-1.1_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hope-1.1_1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> Fetching all distfiles required by hope-1.1_1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> Fetching all distfiles required by hope-1.1_1 for building => SHA256 Checksum OK for hope.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by hope-1.1_1 for building ===> Extracting for hope-1.1_1 => SHA256 Checksum OK for hope.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for hope-1.1_1 ===> Applying ports patches for hope-1.1_1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> hope-1.1_1 depends on executable: latex2html - not found ===> Installing existing package /packages/All/latex2html-2016_1.txz Installing latex2html-2016_1... `-- Installing ghostscript9-agpl-base-9.23_1... | `-- Installing cups-2.2.8_1... | | `-- Installing avahi-app-0.6.31_6... | | `-- Installing dbus-glib-0.108... | | | `-- Installing dbus-1.10.16_1... | | | `-- Installing expat-2.2.5... | | | `-- Extracting expat-2.2.5: .......... done | | | `-- Installing libICE-1.0.9_1,1... | | | | `-- Installing xproto-7.0.31... | | | | `-- Extracting xproto-7.0.31: .......... done | | | `-- Extracting libICE-1.0.9_1,1: .......... done | | | `-- Installing libSM-1.2.2_3,1... | | | `-- Extracting libSM-1.2.2_3,1: .......... done | | | `-- Installing libX11-1.6.5,1... | | | | `-- Installing kbproto-1.0.7... | | | | `-- Extracting kbproto-1.0.7: .......... done | | | | `-- Installing libXau-1.0.8_3... | | | | `-- Extracting libXau-1.0.8_3: .......... done | | | | `-- Installing libXdmcp-1.1.2... | | | | `-- Extracting libXdmcp-1.1.2: ......... done | | | | `-- Installing libxcb-1.13... | | | | `-- Installing libpthread-stubs-0.4... | | | | `-- Extracting libpthread-stubs-0.4: .... done | | | | `-- Installing libxml2-2.9.7... | | | | `-- Extracting libxml2-2.9.7: .......... done | | | | `-- Extracting libxcb-1.13: .......... done | | | `-- Extracting libX11-1.6.5,1: .......... done ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. | | | `-- Extracting dbus-1.10.16_1: ......... done | | | `-- Installing gettext-runtime-0.19.8.1_1... | | | `-- Installing indexinfo-0.3.1... | | | `-- Extracting indexinfo-0.3.1: .... done | | | `-- Extracting gettext-runtime-0.19.8.1_1: .......... done | | | `-- Installing glib-2.50.3_4,1... | | | `-- Installing libffi-3.2.1_2... | | | `-- Extracting libffi-3.2.1_2: .......... done | | | `-- Installing libiconv-1.14_11... | | | `-- Extracting libiconv-1.14_11: .......... done | | | `-- Installing pcre-8.42... | | | `-- Extracting pcre-8.42: .......... done | | | `-- Installing perl5-5.26.2... | | | `-- Extracting perl5-5.26.2: .......... done | | | `-- Installing python27-2.7.15... | | | | `-- Installing libressl-2.7.4... | | | | `-- Extracting libressl-2.7.4: .......... done | | | | `-- Installing ncurses-6.0.0s20171223_1... | | | | `-- Extracting ncurses-6.0.0s20171223_1: .......... done | | | | `-- Installing readline-7.0.3_1... | | | | `-- Extracting readline-7.0.3_1: .......... done | | | `-- Extracting python27-2.7.15: .......... done | | | `-- Extracting glib-2.50.3_4,1: .......... done No schema files found: doing nothing. | | `-- Extracting dbus-glib-0.108: .......... done | | `-- Installing gdbm-1.13_1... | | `-- Extracting gdbm-1.13_1: .......... done | | `-- Installing gnome_subr-1.0... | | `-- Extracting gnome_subr-1.0: .... done | | `-- Installing gobject-introspection-1.50.0_1,1... | | `-- Extracting gobject-introspection-1.50.0_1,1: .......... done | | `-- Installing libdaemon-0.14_1... | | `-- Extracting libdaemon-0.14_1: .......... done ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. | | `-- Extracting avahi-app-0.6.31_6: .......... done | | `-- Installing gnutls-3.5.18... | | `-- Installing ca_root_nss-3.38... | | `-- Extracting ca_root_nss-3.38: ........ done | | `-- Installing gmp-6.1.2... | | `-- Extracting gmp-6.1.2: .......... done | | `-- Installing libidn2-2.0.5... | | | `-- Installing libunistring-0.9.10... | | | `-- Extracting libunistring-0.9.10: .......... done | | `-- Extracting libidn2-2.0.5: .......... done | | `-- Installing libtasn1-4.13... | | `-- Extracting libtasn1-4.13: .......... done | | `-- Installing nettle-3.4... | | `-- Extracting nettle-3.4: .......... done | | `-- Installing p11-kit-0.23.12... | | `-- Extracting p11-kit-0.23.12: .......... done | | `-- Installing trousers-0.3.14_2... | | | `-- Installing tpm-emulator-0.7.4_2... ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | `-- Extracting tpm-emulator-0.7.4_2: ......... done ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | `-- Extracting trousers-0.3.14_2: .......... done | | `-- Extracting gnutls-3.5.18: .......... done | | `-- Installing libpaper-1.1.24.4... | | `-- Extracting libpaper-1.1.24.4: .......... done ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. | `-- Extracting cups-2.2.8_1: .......... done | `-- Installing fontconfig-2.12.6,1... | | `-- Installing freetype2-2.9.1... | | `-- Extracting freetype2-2.9.1: .......... done | `-- Extracting fontconfig-2.12.6,1: .......... done 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 jbig2dec-0.14... | | `-- Installing png-1.6.34... | | `-- Extracting png-1.6.34: .......... done | `-- Extracting jbig2dec-0.14: .......... done | `-- Installing jpeg-turbo-1.5.3... | `-- Extracting jpeg-turbo-1.5.3: .......... done | `-- Installing libidn-1.34... | `-- Extracting libidn-1.34: .......... done | `-- Installing libijs-0.35_5... | `-- Extracting libijs-0.35_5: .......... done | `-- Installing openjpeg-2.3.0... | | `-- Installing lcms2-2.9... | | `-- Installing tiff-4.0.9_1... | | | `-- Installing jbigkit-2.1_1... | | | `-- Extracting jbigkit-2.1_1: .......... done | | `-- Extracting tiff-4.0.9_1: .......... done | | `-- Extracting lcms2-2.9: .......... done | `-- Extracting openjpeg-2.3.0: .......... done | `-- Installing poppler-data-0.4.9... | `-- Extracting poppler-data-0.4.9: .......... done `-- Extracting ghostscript9-agpl-base-9.23_1: .......... done `-- Installing netpbm-10.80.00... | `-- Installing jasper-1.900.1_17... | `-- Extracting jasper-1.900.1_17: .......... done `-- Extracting netpbm-10.80.00: .......... done `-- Installing tex-dvipsk-5.995_1... | `-- Installing tex-kpathsea-6.2.1_1... | `-- Extracting tex-kpathsea-6.2.1_1: .......... done | `-- Installing tex-web2c-20150521_2... | | `-- Installing cairo-1.14.8_1,2... | | `-- Installing dri2proto-2.8... | | `-- Extracting dri2proto-2.8: ....... done | | `-- Installing glproto-1.4.17... | | `-- Extracting glproto-1.4.17: ......... done | | `-- Installing libXext-1.3.3_1,1... | | | `-- Installing xextproto-7.3.0... | | | `-- Extracting xextproto-7.3.0: .......... done | | `-- Extracting libXext-1.3.3_1,1: .......... done | | `-- Installing libXrender-0.9.10... | | | `-- Installing renderproto-0.11.1... | | | `-- Extracting renderproto-0.11.1: ....... done | | `-- Extracting libXrender-0.9.10: .......... done | | `-- Installing mesa-libs-18.1.2... | | | `-- Installing libXdamage-1.1.4_3... | | | `-- Installing damageproto-1.2.1... | | | `-- Extracting damageproto-1.2.1: ....... done | | | `-- Installing libXfixes-5.0.3... | | | | `-- Installing fixesproto-5.0... | | | | `-- Extracting fixesproto-5.0: ....... done | | | `-- Extracting libXfixes-5.0.3: .......... done | | | `-- Extracting libXdamage-1.1.4_3: ......... done | | | `-- Installing libXxf86vm-1.1.4_1... | | | `-- Installing xf86vidmodeproto-2.3.1... | | | `-- Extracting xf86vidmodeproto-2.3.1: ....... done | | | `-- Extracting libXxf86vm-1.1.4_1: .......... done | | | `-- Installing libdrm-2.4.92,1... | | | `-- Installing libpciaccess-0.13.5... | | | | `-- Installing pciids-20180428... | | | | `-- Extracting pciids-20180428: ..... done | | | `-- Extracting libpciaccess-0.13.5: ......... done | | | `-- Extracting libdrm-2.4.92,1: .......... done | | | `-- Installing libelf-0.8.13_3... | | | `-- Extracting libelf-0.8.13_3: .......... done | | | `-- Installing libxshmfence-1.2_2... | | | `-- Extracting libxshmfence-1.2_2: ......... done | | `-- Extracting mesa-libs-18.1.2: .......... done | | `-- Installing pixman-0.34.0... | | `-- Extracting pixman-0.34.0: .......... done | | `-- Installing xcb-util-renderutil-0.3.9_1... | | | `-- Installing xcb-util-0.4.0_2,1... | | | `-- Extracting xcb-util-0.4.0_2,1: .......... done | | `-- Extracting xcb-util-renderutil-0.3.9_1: ......... done | | `-- Extracting cairo-1.14.8_1,2: .......... done | | `-- Installing mpfr-4.0.1... | | `-- Extracting mpfr-4.0.1: .......... done | | `-- Installing openjpeg15-1.5.2_1... | | `-- Extracting openjpeg15-1.5.2_1: .......... done | | `-- Installing tex-ptexenc-1.3.3_2... | | `-- Extracting tex-ptexenc-1.3.3_2: .......... done | | `-- Installing zziplib-0.13.62_2... | | `-- Extracting zziplib-0.13.62_2: .......... done | `-- Extracting tex-web2c-20150521_2: .......... done | `-- Installing texlive-texmf-20150523_4... | | `-- Installing texlive-base-20150521_27... | | `-- Installing graphite2-1.3.11... | | `-- Extracting graphite2-1.3.11: .......... done | | `-- Installing harfbuzz-1.8.2... | | `-- Extracting harfbuzz-1.8.2: .......... done | | `-- Installing harfbuzz-icu-1.8.2_2... | | | `-- Installing icu-62.1_1,1... | | | `-- Extracting icu-62.1_1,1: .......... done | | `-- Extracting harfbuzz-icu-1.8.2_2: ..... done | | `-- Installing libgd-2.2.4_1,1... | | | `-- Installing webp-1.0.0... | | | `-- Installing giflib-5.1.4... | | | `-- Extracting giflib-5.1.4: .......... done | | | `-- Extracting webp-1.0.0: .......... done | | `-- Extracting libgd-2.2.4_1,1: .......... done | | `-- Installing libpotrace-1.12... | | `-- Extracting libpotrace-1.12: ........ done | | `-- Installing poppler-0.57.0_1... | | | `-- Installing nspr-4.19... | | | `-- Extracting nspr-4.19: .......... done | | | `-- Installing nss-3.38... | | | `-- Installing sqlite3-3.24.0_1... | | | `-- Extracting sqlite3-3.24.0_1: .......... done | | | `-- Extracting nss-3.38: .......... done | | `-- Extracting poppler-0.57.0_1: .......... done | | `-- Installing psutils-1.17_5... | | `-- Extracting psutils-1.17_5: .......... done | | `-- Installing t1lib-5.1.2_4,1... | | | `-- Installing libXaw-1.0.13,2... | | | `-- Installing libXmu-1.1.2_3,1... | | | | `-- Installing libXt-1.1.5,1... | | | | `-- Extracting libXt-1.1.5,1: .......... done | | | `-- Extracting libXmu-1.1.2_3,1: .......... done | | | `-- Installing libXp-1.0.3,1... | | | | `-- Installing printproto-1.0.5... | | | | `-- Extracting printproto-1.0.5: ....... done | | | `-- Extracting libXp-1.0.3,1: .......... done | | | `-- Installing libXpm-3.5.12... | | | `-- Extracting libXpm-3.5.12: .......... done | | | `-- Extracting libXaw-1.0.13,2: .......... done | | `-- Extracting t1lib-5.1.2_4,1: .......... done | | `-- Installing teckit-2.5.7... | | `-- Extracting teckit-2.5.7: .......... done | | `-- Installing texlive-tlmgr-20150523_2... | | `-- Extracting texlive-tlmgr-20150523_2: ......... done | | `-- Installing xpdfopen-0.86... | | `-- Extracting xpdfopen-0.86: .... done | | `-- Extracting texlive-base-20150521_27: .......... done mktexlsr: Updating /usr/local/share/texmf/ls-R... mktexlsr: Updating /usr/local/share/texmf-config/ls-R... mktexlsr: Updating /usr/local/share/texmf-dist/ls-R... mktexlsr: Updating /usr/local/share/texmf-local/ls-R... mktexlsr: Updating /usr/local/share/texmf-var/ls-R... mktexlsr: Done. | `-- Extracting texlive-texmf-20150523_4: .......... done mktexlsr: Updating /usr/local/share/texmf/ls-R... mktexlsr: Done. mktexlsr: Updating /usr/local/share/texmf-dist/ls-R... mktexlsr: Done. `-- Extracting tex-dvipsk-5.995_1: .......... done mktexlsr: Updating /usr/local/share/texmf-dist/ls-R... mktexlsr: Done. `-- Installing tex-formats-20150521_2... | `-- Installing tex-basic-engines-20150521... | `-- Extracting tex-basic-engines-20150521: .......... done `-- Extracting tex-formats-20150521_2: .......... done mktexlsr: Updating /usr/local/share/texmf-var/ls-R... mktexlsr: Done. Extracting latex2html-2016_1: .......... done mktexlsr: Updating /usr/local/share/texmf/ls-R... mktexlsr: Done. Message from perl5-5.26.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. Message from python27-2.7.15: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter =========================================================================== Message from ca_root_nss-3.38: ********************************* 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 *************************************************************************** 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 Message from freetype2-2.9.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. The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/ft2-toc.html, if documentation was installed). Message from libijs-0.35_5: ===> NOTICE: The libijs port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from ghostscript9-agpl-base-9.23_1: 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. Message from zziplib-0.13.62_2: ===> NOTICE: The zziplib port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from latex2html-2016_1: **** Individual user configurations can be accomplished by placing a copy of /usr/local/share/latex2html/dot.latex2html-init in the user's home directory and editing to preference. ===> hope-1.1_1 depends on executable: latex2html - found ===> Returning to build of hope-1.1_1 ===> hope-1.1_1 depends on file: /usr/local/share/texmf-var/web2c/tex/tex.fmt - found ===> hope-1.1_1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_2.txz Installing gmake-4.2.1_2... Extracting gmake-4.2.1_2: .......... done ===> hope-1.1_1 depends on executable: gmake - found ===> Returning to build of hope-1.1_1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for hope-1.1_1 configure: warning: x86_64-portbld-dragonfly5.3: invalid host type loading site script /xports/Templates/config.site creating cache ./config.cache checking for mawk... (cached) /usr/bin/awk checking for gcc... cc checking whether the C compiler (cc -pipe -O2 -fno-strict-aliasing ) works... yes checking whether the C compiler (cc -pipe -O2 -fno-strict-aliasing ) is a cross-compiler... no checking whether we are using GNU C... yes checking whether cc accepts -g... yes checking how to run the C preprocessor... cpp checking for a BSD compatible install... /usr/bin/install -c checking for bison... no checking for byacc... byacc checking for atan in -lm... yes checking for ANSI C header files... (cached) yes checking for malloc.h... (cached) no checking for unistd.h... (cached) yes checking for working const... yes checking return type of signal handlers... void checking for size_t... (cached) yes checking for working alloca.h... (cached) no checking for alloca... yes checking for vprintf... (cached) yes checking for remove... yes checking for atanh... yes checking for erf... yes checking for hypot... yes updating cache ./config.cache creating ./config.status creating doc/Makefile creating lib/Makefile creating src/Makefile creating src/config.h ../sh/makedepend -- -- bad_rectype.c builtin.c cases.c char.c char_array.c compare.c compile.c deftype.c eval.c expr.c functor_type.c functors.c interpret.c interrupt.c main.c memory.c module.c newstring.c number.c output.c path.c polarity.c pr_expr.c pr_ty_value.c pr_type.c pr_value.c remember_type.c runtime.c set.c source.c stream.c table.c type_check.c type_value.c value.c yylex.c yyparse.c -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for hope-1.1_1 gmake[1]: Entering directory '/construction/lang/hope/hope' for dir in lib src doc; do (cd $dir; gmake all); done gmake[2]: Entering directory '/construction/lang/hope/hope/lib' gmake[2]: Nothing to be done for 'all'. gmake[2]: Leaving directory '/construction/lang/hope/hope/lib' gmake[2]: Entering directory '/construction/lang/hope/hope/src' cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o bad_rectype.o bad_rectype.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o builtin.o builtin.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o cases.o cases.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o char.o char.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o char_array.o char_array.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o compare.o compare.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o compile.o compile.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o deftype.o deftype.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o eval.o eval.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o expr.o expr.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o functor_type.o functor_type.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o functors.o functors.c functor_type.c: In function 'result_domain': functor_type.c:89:21: warning: unused parameter 'head' [-Wunused-parameter] result_domain(Type *head, Cell *tail_type, Cell **targ) ^ char.c:105:0: warning: ISO C forbids an empty translation unit [-Wpedantic] #endif /* UCS */ ^ cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o interpret.o interpret.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o interrupt.o interrupt.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o main.o main.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o memory.o memory.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o module.o module.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o newstring.o newstring.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o number.o number.c interrupt.c: In function 'onintr': interrupt.c:33:12: warning: unused parameter 'sig' [-Wunused-parameter] onintr(int sig) ^ interrupt.c: In function 'onalarm': interrupt.c:41:13: warning: unused parameter 'sig' [-Wunused-parameter] onalarm(int sig) ^ cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o output.o output.c memory.c: In function 'init_memory': memory.c:25:22: warning: passing argument 2 of 'memset' makes integer from pointer without a cast [-Wint-conversion] memset(base_memory, NULL, (size_t)MEMSIZE); ^ In file included from defs.h:50:0, from memory.c:1: /usr/include/string.h:71:7: note: expected 'int' but argument is of type 'void *' void *memset(void *, int, size_t); ^ In file included from memory.c:4:0: align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:27: note: in expansion of macro 'ALIGNMENT' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:26:29: note: in expansion of macro 'RoundDown' top_memory = base_memory + RoundDown(MEMSIZE); ^ align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:37: note: in expansion of macro 'ALIGNMENT' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:26:29: note: in expansion of macro 'RoundDown' top_memory = base_memory + RoundDown(MEMSIZE); ^ memory.c: In function 's_alloc': align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:24: note: in definition of macro 'RoundDown' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:14:37: note: in expansion of macro 'ALIGNMENT' #define RoundUp(n) RoundDown((n) + (ALIGNMENT-1)) ^ memory.c:38:16: note: in expansion of macro 'RoundUp' top_string += RoundUp(n); ^ In file included from memory.c:4:0: align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:27: note: in expansion of macro 'ALIGNMENT' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:14:20: note: in expansion of macro 'RoundDown' #define RoundUp(n) RoundDown((n) + (ALIGNMENT-1)) ^ memory.c:38:16: note: in expansion of macro 'RoundUp' top_string += RoundUp(n); ^ align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:37: note: in expansion of macro 'ALIGNMENT' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:14:20: note: in expansion of macro 'RoundDown' #define RoundUp(n) RoundDown((n) + (ALIGNMENT-1)) ^ memory.c:38:16: note: in expansion of macro 'RoundUp' top_string += RoundUp(n); ^ memory.c: In function 't_alloc': align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:24: note: in definition of macro 'RoundDown' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:14:37: note: in expansion of macro 'ALIGNMENT' #define RoundUp(n) RoundDown((n) + (ALIGNMENT-1)) ^ memory.c:48:15: note: in expansion of macro 'RoundUp' base_temp -= RoundUp(n); ^ In file included from memory.c:4:0: align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:27: note: in expansion of macro 'ALIGNMENT' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:14:20: note: in expansion of macro 'RoundDown' #define RoundUp(n) RoundDown((n) + (ALIGNMENT-1)) ^ memory.c:48:15: note: in expansion of macro 'RoundUp' base_temp -= RoundUp(n); ^ align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ memory.c:13:37: note: in expansion of macro 'ALIGNMENT' #define RoundDown(n) ((n)/ALIGNMENT*ALIGNMENT) ^ memory.c:14:20: note: in expansion of macro 'RoundDown' #define RoundUp(n) RoundDown((n) + (ALIGNMENT-1)) ^ memory.c:48:15: note: in expansion of macro 'RoundUp' base_temp -= RoundUp(n); ^ In file included from newstring.c:4:0: align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ newstring.c:11:12: note: in expansion of macro 'ALIGNMENT' char text[ALIGNMENT]; /* stub for size purposes */ ^ newstring.c:11:2: warning: variably modified 'text' at file scope char text[ALIGNMENT]; /* stub for size purposes */ ^ In file included from newstring.c:4:0: newstring.c: In function 'newnstring': align.h:10:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define ALIGNMENT ((int)&(((PtrRec *)0)->d)) ^ newstring.c:13:39: note: in expansion of macro 'ALIGNMENT' #define SizeIdent(n) (sizeof(Ident) - ALIGNMENT + 1 + (n)) ^ newstring.c:42:33: note: in expansion of macro 'SizeIdent' np = (Ident *)s_alloc((Natural)SizeIdent(n)); ^ cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o path.o path.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o polarity.o polarity.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o pr_expr.o pr_expr.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o pr_ty_value.o pr_ty_value.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o pr_type.o pr_type.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o pr_value.o pr_value.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o remember_type.o remember_type.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o runtime.o runtime.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o set.o set.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o source.o source.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o stream.o stream.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o table.o table.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o type_check.o type_check.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o type_value.o type_value.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o value.o value.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o yylex.o yylex.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o yyparse.o yyparse.c cc -o hope bad_rectype.o builtin.o cases.o char.o char_array.o compare.o compile.o deftype.o eval.o expr.o functor_type.o functors.o interpret.o interrupt.o main.o memory.o module.o newstring.o number.o output.o path.o polarity.o pr_expr.o pr_ty_value.o pr_type.o pr_value.o remember_type.o runtime.o set.o source.o stream.o table.o type_check.o type_value.o value.o yylex.o yyparse.o -lm source.o:source.c:function get_script: warning: warning: mktemp() possibly used unsafely; consider using mkstemp() source.o:source.c:function start_err_line: warning: warning: mktemp() possibly used unsafely; consider using mkstemp() gmake[2]: Leaving directory '/construction/lang/hope/hope/src' gmake[2]: Entering directory '/construction/lang/hope/hope/doc' sed -n 's/^#define[ ][ ]*\(M[IA][NX]PREC\)[ ][ ]*\([0-9]*\).*/\\newcommand{\\\1}{\2}/p' ../src/op.h >op.tex ../sh/header ../lib/Standard.hop | /usr/bin/awk -f h2l.awk | expand >Standard.tex /usr/bin/awk -f verb.nawk hope_tut.src >hope_tut.tex /usr/bin/awk -f verb.nawk examples.src >examples.tex latex examples latex hope_tut latex ref_man This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. entering extended mode (./hope_tut.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9l> and hyphenation patterns for 79 languages loaded. (/usr/local/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/local/share/texmf-dist/tex/latex/base/size11.cloentering extended mode (./ref_man.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9l> and hyphenation patterns for 79 languages loaded. (/usr/local/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/local/share/texmf-dist/tex/latex/base/size11.clo)))) (/usr/local/share/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/local/share/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/local/share/texmf-dist/tex/latex/ntgclass/a4.sty (/usr/local/share/texmf-dist/tex/latex/ntgclass/a4.sty))) (./html.sty) (./latexonly.tex) (./op.tex) No file ref_man.aux. LaTeX Warning: Citation `tutorial' on page 1 undefined on input line 72. (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd) [1]entering extended mode (./examples.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9l> and hyphenation patterns for 79 languages loaded. (/usr/local/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/local/share/texmf-dist/tex/latex/base/size10.clo)) (./html.sty) LaTeX Warning: Reference `sec:definitions' on page 2 undefined on input line 15 4. LaTeX Warning: Reference `sec:standard' on page 2 undefined on input line 164. LaTeX Warning: Reference `operators' on page 2 undefined on input line 176. LaTeX Warning: Reference `sec:standard' on page 2 undefined on input line 185. LaTeX Warning: Reference `sec:definitions' on page 2 undefined on input line 18 8. LaTeX Warning: Reference `sec:commands' on page 2 undefined on input line 189. [2] No file examples.aux. [1] (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd) [2] LaTeX Warning: Reference `sec:regular' on page 3 undefined on input line 261. LaTeX Warning: Reference `sec:pattern-matching' on page 3 undefined on input li ne 289. [3] Overfull \hbox (27.74675pt too wide) in paragraph at lines 153--153 [] \OT1/cmtt/m/n/10 --- evaluate(e1 AND e2, a) <= evaluate(e1, a) and evalu ate(e2, a);[] Overfull \hbox (17.24684pt too wide) in paragraph at lines 153--153 [] \OT1/cmtt/m/n/10 --- evaluate(e1 OR e2, a) <= evaluate(e1, a) or evaluat e(e2, a);[] [3] Overfull \hbox (1.49698pt too wide) in paragraph at lines 224--224 [] \OT1/cmtt/m/n/10 (dist(e, interpretations(vars(e )))));[] [4] [5] (./examples.aux) ) (see the transcript file for additional information) Output written on examples.dvi (5 pages, 7796 bytes). Transcript written on examples.log. [4]if grep -s '^LaTeX Warning: Citation .* undefined' examples.log;\ then bibtex examples; latex examples;\ fi LaTeX Warning: Reference `sec:pattern-matching' on page 5 undefined on input li ne 403. Overfull \hbox (5.58156pt too wide) in paragraph at lines 424--425 []\OT1/cmtt/m/n/10.95 (lambda \OT1/cmr/m/it/10.95 pat-tern \OT1/cmtt/m/n/10.95 => $[][]$)(fix(lambda \OT1/cmr/m/it/10.95 pat-tern \OT1/cmtt/m/n/10.95 => $[][] $)) [5]if grep -s '^LaTeX Warning: Label(s) may have changed' examples.log;\ then latex examples;\ fi LaTeX Warning: Reference `sec:definitions' on page 6 undefined on input line 46 4. [6] No file ref_man.bbl. LaTeX Warning: Citation `hope' undefined on input line 579. LaTeX Warning: Citation `tutorial' undefined on input line 580. LaTeX Warning: Citation `field&harrison' undefined on input line 581. LaTeX Warning: Citation `bailey' undefined on input line 582. [7]dvips examples -o examples.ps (./Standard.texrm -rf examples [8]latex2html -info '' -no_navigation -address 'Ross Paterson <ross@soi.city.ac.uk>' examples.tex [9]) [10] [11] [12] (./ref_man.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on ref_man.dvi (12 pages, 31596 bytes). Transcript written on ref_man.log. if grep -s '^LaTeX Warning: Citation .* undefined' ref_man.log;\ then bibtex ref_man; latex ref_man;\ fi LaTeX Warning: Citation `tutorial' on page 1 undefined on input line 72. LaTeX Warning: Citation `hope' undefined on input line 579. LaTeX Warning: Citation `tutorial' undefined on input line 580. LaTeX Warning: Citation `field&harrison' undefined on input line 581. LaTeX Warning: Citation `bailey' undefined on input line 582. ) (./html.styThis is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2018.08.30:1643' -> examples.ps ) . No file hope_tut.aux. [1Unescaped left brace in regex is deprecated here (and will be fatal in Perl 5.30), passed through in regex; marked by <-- HERE in m/^([^{]*){ <-- HERE / at /usr/local/bin/latex2html line 1896. ] [2 ] [1] [2] [3] [4] [5] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] Overfull \hbox (34.48734pt too wide) in paragraph at lines 805--805 [] \OT1/cmtt/m/n/10.95 [ tip ( 'a' ),empty,node ( tip ( 'c' ), empty) ] : list ( tree ( char ) )[] [14] [15] Overfull \hbox (11.49258pt too wide) in paragraph at lines 919--919 [] \OT1/cmtt/m/n/10.95 map ( wordlist ( "The form remains, the function nev er dies" ), length ) ;[] [16] [17] Overfull \hbox (11.49258pt too wide) in paragraph at lines 1045--1045 [] \OT1/cmtt/m/n/10.95 --- sort ( l ) <= redtree( reduce ( l, instree, empt y ), nonop ::, nil ) ;[] [18] [19] [20] (./hope_tut.aux) ) (see the transcript file for additional information) Output written on hope_tut.dvi (20 pages, 63740 bytes). Transcript written on hope_tut.log. This is BibTeX, Version 0.99d (Web2C 2015) The top-level auxiliary file: ref_man.aux The style file: html-plain.bst Database file #1: hope.bib if grep -s '^LaTeX Warning: Citation .* undefined' hope_tut.log;\ then bibtex hope_tut; latex hope_tut;\ fi if grep -s '^LaTeX Warning: Label(s) may have changed' hope_tut.log;\ then latex hope_tut;\ fi dvips hope_tut -o hope_tut.ps rm -rf hope_tut latex2html -info '' -no_navigation -address 'Roger Bailey <rb@doc.ic.ac.uk>' hope_tut.tex Unescaped left brace in regex is deprecated here (and will be fatal in Perl 5.30), passed through in regex; marked by <-- HERE in m/^([^{]*){ <-- HERE / at /usr/local/bin/latex2html line 1896. This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2018.08.30:1643' -> hope_tut.ps . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] entering extended mode (./ref_man.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9l> and hyphenation patterns for 79 languages loaded. (/usr/local/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/local/share/texmf-dist/tex/latex/base/size11.clo)) (/usr/local/share/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/local/share/texmf-dist/tex/latex/ntgclass/a4.sty)) (./html.sty) (./latexonly.tex) (./op.tex) (./ref_man.aux) LaTeX Warning: Citation `tutorial' on page 1 undefined on input line 72. (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd) [1] [2]This is LaTeX2HTML Version 2016 (1.71) by Nikos Drakos, Computer Based Learning Unit, University of Leeds. Revised and extended by: Marcus Hennecke, Ross Moore, Herb Swan and others ...producing markup for HTML version 4.0 Extension: loading /usr/local/share/latex2html/versions/latin1.pl [3] [4] HTML version: loading /usr/local/share/latex2html/versions/html4_0.pl *** processing declarations *** Overfull \hbox (5.58156pt too wide) in paragraph at lines 424--425 []\OT1/cmtt/m/n/10.95 (lambda \OT1/cmr/m/it/10.95 pat-tern \OT1/cmtt/m/n/10.95 => $[][]$)(fix(lambda \OT1/cmr/m/it/10.95 pat-tern \OT1/cmtt/m/n/10.95 => $[][] $)) [5] [6] (./ref_man.bbl [7]) LaTeX Warning: Citation `hope' undefined on input line 579. LaTeX Warning: Citation `tutorial' undefined on input line 580. LaTeX Warning: Citation `field&harrison' undefined on input line 581. LaTeX Warning: Citation `bailey' undefined on input line 582. [8] (./Standard.tex [9] [10]This is LaTeX2HTML Version 2016 (1.71) by Nikos Drakos, Computer Based Learning Unit, University of Leeds. Revised and extended by: Marcus Hennecke, Ross Moore, Herb Swan and others ...producing markup for HTML version 4.0 Extension: loading /usr/local/share/latex2html/versions/latin1.pl) [11] [12] [13] (./ref_man.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on ref_man.dvi (13 pages, 32352 bytes). Transcript written on ref_man.log. if grep -s '^LaTeX Warning: Label(s) may have changed' ref_man.log;\ then latex ref_man;\ fi LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. HTML version: loading /usr/local/share/latex2html/versions/html4_0.pl *** processing declarations *** This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. OPENING /construction/lang/hope/hope/doc/hope_tut.tex OPENING /construction/lang/hope/hope/doc/examples.tex Note: Working directory is /construction/lang/hope/hope/doc/hope_tut Note: Images will be generated in /tmp/l2h186336 Note: Working directory is /construction/lang/hope/hope/doc/examples Note: Images will be generated in /tmp/l2h186105 entering extended mode (./ref_man.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9l> and hyphenation patterns for 79 languages loaded. (/usr/local/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/local/share/texmf-dist/tex/latex/base/size11.clo)) (/usr/local/share/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/local/share/texmf-dist/tex/latex/ntgclass/a4.sty)) (./html.sty) (./latexonly.tex) (./op.tex) (./ref_man.aux) (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd) [1] [2] [3]texexpand V2016 (Revision 1.12) [4] Overfull \hbox (5.58156pt too wide) in paragraph at lines 424--425 []\OT1/cmtt/m/n/10.95 (lambda \OT1/cmr/m/it/10.95 pat-tern \OT1/cmtt/m/n/10.95 => $[][]$)(fix(lambda \OT1/cmr/m/it/10.95 pat-tern \OT1/cmtt/m/n/10.95 => $[][] $)) [5] [6] (./ref_man.bbl [7]) [8] (./Standard.tex [9] Loading /usr/local/share/latex2html/styles/texdefs.perl... [10]) [11] Package: loading /usr/local/share/latex2html/styles/article.perl [12] Package: loading /usr/local/share/latex2html/styles/html.perl [13] (./ref_man.aux) ) (see the transcript file for additional information) Output written on ref_man.dvi (13 pages, 32352 bytes). Transcript written on ref_man.log. dvips ref_man -o ref_man.ps Reading ...rm -rf ref_man latex2html -info '' -no_navigation -address 'Ross Paterson <ross@soi.city.ac.uk>' ref_man.tex %'texexpand V2016 (Revision 1.12) '''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''Unescaped left brace in regex is deprecated here (and will be fatal in Perl 5.30), passed through in regex; marked by <-- HERE in m/^([^{]*){ <-- HERE / at /usr/local/bin/latex2html line 1896. ++ Loading /usr/local/share/latex2html/styles/texdefs.perl...This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2018.08.30:1643' -> ref_man.ps Package: loading /usr/local/share/latex2html/styles/article.perl . Package: loading /usr/local/share/latex2html/styles/html.perl [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] Reading ... @@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%'''''''''''''''''''''''''''''++ @@@@@@@@@@@@@@@@@@@@@@@ Translating ... 0/25:top of hope_tut: for hope_tut.html *** translating preamble *** ... Warning: No implementation found for package: a4wide.. *** preamble done *** ;...;... 1/25:section:.."Introducing functional programming" for node1.html ;.; 2/25:subsection:..."Functions in conventional languages:" for node2.html ;.,,.,, Translating ..., 0/4:top of examples: for examples.html *** translating preamble *** .,,..;................ . *** preamble done *** ;. 3/25:subsection:...;...."Programming with functions" for node3.html ; 1/4:section:....;.... 4/25:subsection:..."A simple Hope example -- conditionals" for node4.html ;..,"The Factorial Function" for node1.html ;..,...,,.,,.; . 2/4:section:...;......."Fibonacci Numbers" for node2.html .;.....,...,..,...,........... .,. 5/25:subsection:; . 3/4:section:...."Using functions that we've defined" for node5.html "Breadth-first tree traversal" for node3.html ;;.,..,,,..,,.;.,. .; 6/25:subsection:. 4/4:section:...."Symbolic Boolean Expressions" for node4.html ;."A more interesting example -- repetition" for node6.html ,;,..,,,,,.,.,,,,,,,,,,,,,,,.;, .;.. Doing section links .................... 7/25:subsection:..."Another way of using functions" for node7.html ;..,.;... . 8/25:subsection:...."Other kinds of data" for node8.html ;......;........ *** Adding document-specific styles *** Done. ........ 9/25:section:.."Data structures" for node9.html ;.; 10/25:subsection:..."Tuples and lists" for node10.html ;.,,....,,,,,.,,,..;..................... 11/25:subsection:..."Functions that define lists" for node11.html ;.,,,.,,.;.......... 12/25:subsection:.This is LaTeX2HTML Version 2016 (1.71) by Nikos Drakos, Computer Based Learning Unit, University of Leeds. Revised and extended by: Marcus Hennecke, Ross Moore, Herb Swan and others ....producing markup for HTML version 4.0 . Extension: loading /usr/local/share/latex2html/versions/latin1.pl"Data structures as parameters" for node12.html ;.,,,,,,.;................ 13/25:subsection:..."Pattern-matching" for node13.html ;..,..,,,.,.;.................... 14/25:subsection:..."Simplifying expressions" for node14.html ;.,,,,.,.,.,,,,,,.;............ 15/25:subsection:..."Review" for node15.html ;...; 16/25:section:.."Making functions more powerful" for node16.html ;.; 17/25:subsection:. HTML version: loading /usr/local/share/latex2html/versions/html4_0.pl *** processing declarations *** .."Introducing polymorphic functions" for node17.html ;....,,,,..;....................... 18/25:subsection:..."Defining your own data types" for node18.html ;.,,,,,,.;............ 19/25:subsection:..."Making data more abstract" for node19.html ;..,.,,,,.;........ 20/25:section:.."Functions as data" for node20.html ;.; 21/25:subsection:..."Even more concise programs" for node21.html ;..,,,,,,,,,.,.,,,.;................................... 22/25:subsection:..."Common patterns of recursion" for node22.html ;.,,,,,,.,,,.,,,,,.;............................... 23/25:subsection:..."Anonymous functions" for node23.html ;.,,,.;................. 24/25:subsection:..."Functions that create new functions" for node24.html ;.,,,,,,,,.;............ 25/25:section:.."In conclusion" for node25.html ;.....; Doing section links ................................ OPENING /construction/lang/hope/hope/doc/ref_man.tex ........ Note: Working directory is /construction/lang/hope/hope/doc/ref_man Note: Images will be generated in /tmp/l2h187404 .............. *** Adding document-specific styles *** texexpand V2016 (Revision 1.12) Loading /usr/local/share/latex2html/styles/texdefs.perl... Package: loading /usr/local/share/latex2html/styles/article.perl Package: loading /usr/local/share/latex2html/styles/html.perl Reading ... %,,,,,,++ @@@@@@@@@@ Doing ./op.tex %' *********** WARNINGS *********** No implementation found for style `a4wide' '' Done. Processing macros ...,,,,,,,,,,,,,,,,,,,,,,,,,,+,{},{},{},{},{},{},{},{},{},{},{},{} 12 new environments replaced +................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Doing ./Standard.tex ''''''''''''''''''''''''''''' Processing macros ...++................... @@@@@@@@@@@@@@ Reading aux file: /construction/lang/hope/hope/doc/ref_man.aux ... Processing macros ...++............................................................................ Translating ... 0/17:top of ref_man: for ref_man.html *** translating preamble *** ...... Warning: No implementation found for package: a4wide.. *** preamble done *** ;....;... 1/17:section:..."Lexical structure" for node1.html ;.,..,.......,,...........;......... 2/17:section:..."Identifiers" for node2.html ;.,..................................................................................;.................... 3/17:section:..."Composite structures" for node3.html ;..............;....... 4/17:subsection:...."Modules" for node4.html ;................;...... 5/17:subsection:...."Definitions" for node5.html ;.,.............................................................................................................................................................................................................................................................................................................................................;....................................... 6/17:subsection:...."Types" for node6.html ;.,....................................;. 7/17:subsection:...."Patterns" for node7.html ;.,............................................................................................................................................................................................;...................... 8/17:subsection:...."Expressions" for node8.html ;.,......................................................................................................................................................................................................................................................................................................................,..........................................................,.............................,.............................................................................................,................,....................................;..................................................... 9/17:subsection:...."Interactive commands" for node9.html ;...,.......................................................................;.............. 10/17:section:..."Semantics of pattern matching" for node10.html ;..,....,.................................,.....................................................,....................;............. 11/17:bibliography:.. Reading bbl file: /construction/lang/hope/hope/doc/ref_man.bbl ... Processing macros ...++ @@@@,................... "Bibliography" for node11.html ;....;...... 12/17:section:..."Appendix: The Standard module" for node12.html ;.; 13/17:subsection:..."Standard type constructors" for node13.html ;.,,,,,,,,,,; 14/17:subsection:..."Internally defined functions" for node14.html ;.,,,,,,,,,..;. 15/17:section:..."Deviations from other versions of the language" for node15.html ;....................;........ 16/17:subsection:...."Regular types" for node16.html ;.,...,,,.;.. 17/17:subsection:...."Functors" for node17.html ;.....,,.,,,,.........;...... Doing section links ...................................... *** Adding document-specific styles *** *********** WARNINGS *********** No implementation found for style `a4wide' Unknown commands: textmd Done. gmake[2]: Leaving directory '/construction/lang/hope/hope/doc' gmake[1]: Leaving directory '/construction/lang/hope/hope' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for hope-1.1_1 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/lang/hope/hope' for dir in lib src doc; do (cd $dir; gmake install); done gmake[2]: Entering directory '/construction/lang/hope/hope/lib' /usr/bin/install -c -d /construction/lang/hope/stage/usr/local/share/hope/lib for f in *.hop; do install -m 0644 $f /construction/lang/hope/stage/usr/local/share/hope/lib; done /usr/bin/install -c -d /construction/lang/hope/stage/usr/local/share/hope/lib.new sed -f list.sed Standard.hop >Standard-new.hop install -m 0644 Standard-new.hop /construction/lang/hope/stage/usr/local/share/hope/lib.new/Standard.hop rm -f Standard-new.hop gmake[2]: Leaving directory '/construction/lang/hope/hope/lib' gmake[2]: Entering directory '/construction/lang/hope/hope/src' for file in ../test/*.in;\ do STEM=`basename $file .in`;\ HOPEPATH=../lib nice ./hope -f $file 2>&1 |\ diff - ../test/$STEM.out |\ sed "s/^/$STEM: /";\ done >errors LC_ALL=C; for file in ../lib/[a-z]*.hop;\ do HOPEPATH=../lib nice ./hope -f $file 2>&1;\ done >>errors test ! -s errors /usr/bin/install -c -d /construction/lang/hope/stage/usr/local/share/hope/lib install -s -m 555 -s hope /construction/lang/hope/stage/usr/local/bin install -m 0644 hope.1 /construction/lang/hope/stage/usr/local/man/man1 gmake[2]: Leaving directory '/construction/lang/hope/hope/src' gmake[2]: Entering directory '/construction/lang/hope/hope/doc' /usr/bin/install -c -d /construction/lang/hope/stage/usr/local/share/doc/hope for file in ref_man.dvi hope_tut.dvi examples.dvi ref_man.ps hope_tut.ps examples.ps; do gzip <$file >/construction/lang/hope/stage/usr/local/share/doc/hope/$file.gz; done /usr/bin/install -c -d /construction/lang/hope/stage/usr/local/share/doc/hope for dir in ref_man hope_tut examples; do rm -rf /construction/lang/hope/stage/usr/local/share/doc/hope/$dir; done for dir in ref_man hope_tut examples; do rm -rf /construction/lang/hope/stage$dir/*.pl /construction/lang/hope/stage$dir/WARNINGS; done cp -r ref_man hope_tut examples /construction/lang/hope/stage/usr/local/share/doc/hope # cp hope_tut.src examples.src /usr/local/share/doc/hope/src gmake[2]: Leaving directory '/construction/lang/hope/hope/doc' gmake[1]: Leaving directory '/construction/lang/hope/hope' ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for hope-1.1_1 file sizes/checksums [91]: . done packing files [91]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 30 AUG 2018 at 16:43:39 UTC Duration: 00:02:53