=> Building lang/hope Started : Thursday, 19 APR 2018 at 21:35:39 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.81.g32506c-DEVELOPMENT #29: Tue Apr 10 08:49:52 PDT 2018 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.0-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.0-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 LIBDIR="/usr/lib" 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.0 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=Release-5.0 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=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500000 OSVERSION=9999999 OSREL=5.0 _OSRELEASE=5.0-SYNTH -------------------------------------------------------------------------------- -- 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.txz Installing pkg-1.10.5... Extracting pkg-1.10.5: .......... 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.16_5... | `-- Installing cups-2.2.6... | | `-- 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.12_2... | | | | `-- 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.12_2: .......... 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_1,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.40_1... | | | `-- Extracting pcre-8.40_1: .......... done | | | `-- Installing perl5-5.26.1... | | | `-- Extracting perl5-5.26.1: .......... done | | | `-- Installing python27-2.7.14_1... | | | | `-- Installing libressl-2.6.4... | | | | `-- Extracting libressl-2.6.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.14_1: .......... done | | | `-- Extracting glib-2.50.3_1,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.36... | | `-- Extracting ca_root_nss-3.36: ........ done | | `-- Installing gmp-6.1.2... | | `-- Extracting gmp-6.1.2: .......... done | | `-- Installing libidn2-2.0.4... | | | `-- Installing libunistring-0.9.9... | | | `-- Extracting libunistring-0.9.9: .......... done | | `-- Extracting libidn2-2.0.4: .......... done | | `-- Installing libtasn1-4.13... | | `-- Extracting libtasn1-4.13: .......... done | | `-- Installing nettle-3.4... | | `-- Extracting nettle-3.4: .......... done | | `-- Installing p11-kit-0.23.10... | | `-- Extracting p11-kit-0.23.10: .......... 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.6: .......... done | `-- Installing fontconfig-2.12.1_3,1... | | `-- Installing freetype2-2.9_1... | | `-- Extracting freetype2-2.9_1: .......... done | `-- Extracting fontconfig-2.12.1_3,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 gsfonts-8.11_8... | `-- Extracting gsfonts-8.11_8: .......... done | `-- 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 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 | `-- Installing libidn-1.33_1... | `-- Extracting libidn-1.33_1: .......... done `-- Extracting ghostscript9-agpl-base-9.16_5: .......... 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_1... | | `-- 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-17.3.1... | | | `-- 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.89,1... | | | `-- Installing libpciaccess-0.13.5... | | | | `-- Installing pciids-20180219... | | | | `-- Extracting pciids-20180219: ..... done | | | `-- Extracting libpciaccess-0.13.5: ...... done | | | `-- Extracting libdrm-2.4.89,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-17.3.1: .......... 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-3.1.6... | | `-- Extracting mpfr-3.1.6: .......... 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_1: .......... done | `-- Installing texlive-texmf-20150523_4... | | `-- Installing texlive-base-20150521_25... | | `-- Installing graphite2-1.3.11... | | `-- Extracting graphite2-1.3.11: .......... done | | `-- Installing harfbuzz-1.7.6... | | `-- Extracting harfbuzz-1.7.6: .......... done | | `-- Installing harfbuzz-icu-1.7.6... | | | `-- Installing icu-60.2_2,1... | | | `-- Extracting icu-60.2_2,1: .......... done | | `-- Extracting harfbuzz-icu-1.7.6: ..... done | | `-- Installing libgd-2.2.4_1,1... | | | `-- Installing webp-0.6.1... | | | `-- Installing giflib-5.1.4... | | | `-- Extracting giflib-5.1.4: .......... done | | | `-- Extracting webp-0.6.1: .......... done | | `-- Extracting libgd-2.2.4_1,1: .......... done | | `-- Installing libpotrace-1.12... | | `-- Extracting libpotrace-1.12: ........ done | | `-- Installing poppler-0.57.0... | | | `-- Installing nspr-4.19... | | | `-- Extracting nspr-4.19: .......... done | | | `-- Installing nss-3.36... | | | `-- Installing sqlite3-3.22.0_1... | | | `-- Extracting sqlite3-3.22.0_1: .......... done | | | `-- Extracting nss-3.36: .......... done | | | `-- Installing openjpeg-2.3.0... | | | `-- Extracting openjpeg-2.3.0: .......... done | | | `-- Installing poppler-data-0.4.8... | | | `-- Extracting poppler-data-0.4.8: .......... done | | `-- Extracting poppler-0.57.0: .......... 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_25: .......... 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.1: 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.14_1: =========================================================================== 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.36: ********************************* 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 ghostscript9-agpl-base-9.16_5: Note: in order to use the script "dvipdf", dvips must be installed. This program is provided by another package print/tex-dvipsk. FAPIfontmap and FAPIcidfmap in /usr/local/share/ghostscript/9.16/Resource/Init have to be configured if you want to use FAPI feature. 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.0: 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 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 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 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 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) ^ 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 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 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 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); ^ 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)); ^ 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); ^ 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 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 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 ref_man This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. latex hope_tut 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) No file examples.aux. [1] (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd) [2] 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. This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. if grep -s '^LaTeX Warning: Citation .* undefined' examples.log;\ then bibtex examples; latex examples;\ fi if grep -s '^LaTeX Warning: Label(s) may have changed' examples.log;\ then latex examples;\ fi dvips examples -o examples.ps rm -rf examples latex2html -info '' -no_navigation -address 'Ross Paterson <ross@soi.city.ac.uk>' examples.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. 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. 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.clo)) (/usr/local/share/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/local/share/texmf-dist/tex/latex/ntgclass/a4.sty)) (./html.sty) No file hope_tut.aux. [1] [2] [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. 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 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) 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] 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] 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] [4]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. 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] 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] (./Standard.tex [8] [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. This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2018.04.19:2140' -> hope_tut.ps 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 . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. 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)This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2018.04.19:2140' -> examples.ps . [1] [2] [3] [4] [5] LaTeX Warning: Citation `tutorial' on page 1 undefined on input line 72. (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd) [1] [2] [3] [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]) 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]) [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. This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. 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.plentering 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] HTML version: loading /usr/local/share/latex2html/versions/html4_0.pl *** processing declarations *** [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] [10]) [11] [12] [13] (./ref_man.aux) ) (see the transcript file for additional information) Output written on ref_man.dvi (13 pages, 32348 bytes). Transcript written on ref_man.log. dvips ref_man -o ref_man.ps rm -rf ref_man latex2html -info '' -no_navigation -address 'Ross Paterson <ross@soi.city.ac.uk>' ref_man.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 dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2018.04.19:2140' -> ref_man.ps . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] OPENING /construction/lang/hope/hope/doc/examples.tex Note: Working directory is /construction/lang/hope/hope/doc/examples Note: Images will be generated in /tmp/l2h246237 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 HTML version: loading /usr/local/share/latex2html/versions/html4_0.pl *** processing declarations *** 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/l2h247042 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 ... %'''''''''''''''''''''''''''''++ @@@@@@@@@@@@@@@@@@@@@@@ Translating ... 0/4:top of examples: for examples.html *** translating preamble *** .... *** preamble done *** ;...;.. 1/4:section:.."The Factorial Function" for node1.html ;.,.,.,,.; 2/4:section:.."Fibonacci Numbers" for node2.html ;.,,,,...,.; 3/4:section:.."Breadth-first tree traversal" for node3.html ;.,.,,.,,.; 4/4:section:.."Symbolic Boolean Expressions" for node4.html ;.,,.,,,,.,,,,,,,,,,,.; Doing section links ............ *** Adding document-specific styles *** Done. 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 HTML version: loading /usr/local/share/latex2html/versions/html4_0.pl *** processing declarations *** OPENING /construction/lang/hope/hope/doc/hope_tut.tex 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 %''' Processing macros ...,,,,, Note: Working directory is /construction/lang/hope/hope/doc/hope_tut Note: Images will be generated in /tmp/l2h246259 ,,,,,,,,,,,,,,,,,,,,,+,{},{},{},{},{},{},{},{},{},{},{}texexpand V2016 (Revision 1.12) ,{} 12 new environments replaced +.............................. 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 ...... ..............................%.....'.'.'..''''.'''''''.'''''''.'.''''.'''.''''.'.'.'.''''''.''''''''.''''''.''''.'.'.'''.''.'.'.'''.''.'''..'''..'''.''..'''.'.''.''''.'.''''.'''''.'.'''.'.................................................................++ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 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 ;.,,.,,,.,,.;.............. 3/25:subsection:..."Programming with functions" for node3.html ;...;.... 4/25:subsection:..."A simple Hope example -- conditionals" for node4.html ;.,...,...;............................ 5/25:subsection:..."Using functions that we've defined" for node5.html ;.,.,.;.. 6/25:subsection:..."A more interesting example -- repetition" for node6.html ;.,.,,,,,,.;.................. 7/25:subsection:..."Another way of using functions" for node7.html ;.,.;... 8/25:subsection:..."Other kinds of data" for node8.html ;.....;............ 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:..."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:......."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 .............................................................................................. *** Adding document-specific styles *** @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 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 ;.,.................. *********** WARNINGS *********** No implementation found for style `a4wide' ...... Done. ..............................................................................................................................................................................................................................................................................................,..........................................................,.............................,.............................................................................................,................,....................................;..................................................... 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, 19 APR 2018 at 21:40:22 UTC Duration: 00:04:43