=> Building lang/hope build started at Tue Oct 4 21:39:06 PDT 2016 port directory: /usr/ports/lang/hope building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: lev@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/bleeding-edge-default/ref/../03//usr/ports/lang/hope/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400702 !!! Jail is newer than host. (Jail: 400702, Host: 400700) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/bleeding-edge-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=hope-1.1_1 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/bleeding-edge-default/ref/.p/pool MASTERNAME=bleeding-edge-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ===> 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 ---End OPTIONS List--- --CONFIGURE_ARGS-- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/lang/hope XDG_CONFIG_HOME=/wrkdirs/lang/hope HOME=/wrkdirs/lang/hope TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/lang/hope XDG_CONFIG_HOME=/wrkdirs/lang/hope HOME=/wrkdirs/lang/hope TMPDIR="/tmp" 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 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- 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=4.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/hope" EXAMPLESDIR="share/examples/hope" DATADIR="share/hope" WWWDIR="www/hope" ETCDIR="etc/hope" --End PLIST_SUB-- --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 --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== =========================================================================== =================================================== ===> hope-1.1_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> hope-1.1_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hope-1.1_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by hope-1.1_1 for building =========================================================================== =================================================== ===> Fetching all distfiles required by hope-1.1_1 for building => SHA256 Checksum OK for hope.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by hope-1.1_1 for building ===> Extracting for hope-1.1_1 => SHA256 Checksum OK for hope.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for hope-1.1_1 ===> Applying ports patches for hope-1.1_1 =========================================================================== =================================================== ===> hope-1.1_1 depends on executable: latex2html - not found ===> Installing existing package /packages/All/latex2html-2008_4.txz Installing latex2html-2008_4... `-- Installing tex-dvipsk-5.995_1... | `-- Installing indexinfo-0.2.5... | `-- Extracting indexinfo-0.2.5: .... done | `-- Installing libpaper-1.1.24.4... | `-- Extracting libpaper-1.1.24.4: .......... done | `-- Installing tex-kpathsea-6.2.1_1... | `-- Extracting tex-kpathsea-6.2.1_1: .......... done | `-- Installing texlive-texmf-20150523_3... | | `-- Installing texlive-tlmgr-20150523_2... | | `-- Installing perl5-5.20.3_15... | | `-- Extracting perl5-5.20.3_15: .......... done | | `-- Extracting texlive-tlmgr-20150523_2: ......... done | | `-- Installing texlive-base-20150521_13... | | `-- Installing harfbuzz-1.3.2... | | | `-- Installing cairo-1.14.6_1,2... | | | `-- Installing glproto-1.4.17... | | | `-- Extracting glproto-1.4.17: ...... done | | | `-- Installing libEGL-11.2.2... | | | | `-- Installing libdevq-0.0.2_1... | | | | `-- Extracting libdevq-0.0.2_1: ....... done | | | | `-- Installing libXdamage-1.1.4_3... | | | | `-- Installing libXfixes-5.0.1_3... | | | | | `-- Installing xproto-7.0.28... | | | | | `-- Extracting xproto-7.0.28: .......... done | | | | | `-- Installing fixesproto-5.0... | | | | | `-- Extracting fixesproto-5.0: .... done | | | | | `-- Installing libX11-1.6.3,1... | | | | | `-- Installing kbproto-1.0.7... | | | | | `-- Extracting kbproto-1.0.7: .......... done | | | | | `-- Installing libXdmcp-1.1.2... | | | | | `-- Extracting libXdmcp-1.1.2: ......... done | | | | | `-- Installing libxcb-1.11.1... | | | | | | `-- Installing libxml2-2.9.4... | | | | | | `-- Extracting libxml2-2.9.4: .......... done | | | | | | `-- Installing libpthread-stubs-0.3_6... | | | | | | `-- Extracting libpthread-stubs-0.3_6: ..... done | | | | | | `-- Installing libXau-1.0.8_3... | | | | | | `-- Extracting libXau-1.0.8_3: .......... done | | | | | `-- Extracting libxcb-1.11.1: .......... done | | | | | `-- Extracting libX11-1.6.3,1: .......... done | | | | `-- Extracting libXfixes-5.0.1_3: .......... done | | | | `-- Installing damageproto-1.2.1... | | | | `-- Extracting damageproto-1.2.1: .... done | | | | `-- Extracting libXdamage-1.1.4_3: ...... done | | | | `-- Installing libxshmfence-1.2... | | | | `-- Extracting libxshmfence-1.2: ......... 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 expat-2.2.0... | | | | `-- Extracting expat-2.2.0: .......... done | | | | `-- Installing gbm-11.2.2... | | | | `-- Installing libglapi-11.2.2... | | | | | `-- Installing libXvMC-1.0.9... | | | | | `-- Installing libXv-1.0.10_3,1... | | | | | | `-- Installing videoproto-2.3.2... | | | | | | `-- Extracting videoproto-2.3.2: ...... done | | | | | `-- Extracting libXv-1.0.10_3,1: .......... done | | | | | `-- Extracting libXvMC-1.0.9: .......... done | | | | | `-- Installing libdrm-2.4.66,1... | | | | | `-- Installing libpciaccess-0.13.4... | | | | | | `-- Installing pciids-20160621... | | | | | | `-- Extracting pciids-20160621: ..... done | | | | | `-- Extracting libpciaccess-0.13.4: ...... done | | | | | `-- Extracting libdrm-2.4.66,1: .......... done | | | | | `-- Installing libelf-0.8.13_1... | | | | | `-- Installing gettext-runtime-0.19.8.1... | | | | | `-- Extracting gettext-runtime-0.19.8.1: .......... done | | | | | `-- Extracting libelf-0.8.13_1: .......... done | | | | `-- Extracting libglapi-11.2.2: ... done | | | | `-- Extracting gbm-11.2.2: ..... done | | | | `-- Installing llvm37-3.7.1_3... | | | | `-- Installing python27-2.7.12... | | | | | `-- Installing readline-6.3.8... | | | | | `-- Installing ncurses-6.0_5... | | | | | `-- Extracting ncurses-6.0_5: .......... done | | | | | `-- Extracting readline-6.3.8: .......... done | | | | | `-- Installing libffi-3.2.1... | | | | | `-- Extracting libffi-3.2.1: .......... done | | | | | `-- Installing libressl-2.4.3... | | | | | `-- Extracting libressl-2.4.3: .......... done | | | | `-- Extracting python27-2.7.12: .......... done | | | | `-- Installing libedit-3.1.20150325_2,1... | | | | `-- Extracting libedit-3.1.20150325_2,1: .......... done | | | | `-- Extracting llvm37-3.7.1_3: .......... done | | | `-- Extracting libEGL-11.2.2: .......... done | | | `-- Installing libXrender-0.9.9... | | | | `-- Installing renderproto-0.11.1... | | | | `-- Extracting renderproto-0.11.1: .... done | | | `-- Extracting libXrender-0.9.9: .......... done | | | `-- Installing libGL-11.2.2... | | | | `-- Installing dri2proto-2.8... | | | | `-- Extracting dri2proto-2.8: .... 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 | | | `-- Extracting libGL-11.2.2: .......... done | | | `-- Installing freetype2-2.6.3... | | | `-- Extracting freetype2-2.6.3: .......... done | | | `-- Installing xcb-util-renderutil-0.3.9_1... | | | | `-- Installing xcb-util-0.4.0_1,1... | | | | `-- Extracting xcb-util-0.4.0_1,1: .......... done | | | `-- Extracting xcb-util-renderutil-0.3.9_1: ...... done | | | `-- Installing png-1.6.23... | | | `-- Extracting png-1.6.23: .......... done | | | `-- Installing fontconfig-2.12.1,1... | | | `-- Extracting fontconfig-2.12.1,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 pixman-0.34.0... | | | `-- Extracting pixman-0.34.0: .......... done | | | `-- Installing glib-2.46.2_3... | | | | `-- Installing libiconv-1.14_9... | | | | `-- Extracting libiconv-1.14_9: .......... done | | | | `-- Installing pcre-8.39... | | | | `-- Extracting pcre-8.39: .......... done | | | `-- Extracting glib-2.46.2_3: .......... done No schema files found: doing nothing. | | | `-- Extracting cairo-1.14.6_1,2: .......... done | | | `-- Installing icu-57.1,1... | | | `-- Extracting icu-57.1,1: .......... done | | | `-- Installing graphite2-1.3.8... | | | `-- Extracting graphite2-1.3.8: .......... done | | `-- Extracting harfbuzz-1.3.2: .......... done | | `-- Installing libgd-2.2.3,1... | | | `-- Installing jpeg-turbo-1.4.2... | | | `-- Extracting jpeg-turbo-1.4.2: .......... done | | | `-- Installing tiff-4.0.6_2... | | | `-- Installing jbigkit-2.1_1... | | | `-- Extracting jbigkit-2.1_1: .......... done | | | `-- Extracting tiff-4.0.6_2: .......... done | | `-- Extracting libgd-2.2.3,1: .......... done | | `-- Installing libpotrace-1.12... | | `-- Extracting libpotrace-1.12: ........ done | | `-- Installing teckit-2.5.1_1... | | `-- Extracting teckit-2.5.1_1: .......... done | | `-- Installing t1lib-5.1.2_4,1... | | | `-- Installing libXaw-1.0.13,2... | | | `-- Installing libXpm-3.5.11_4... | | | | `-- Installing libXt-1.1.5,1... | | | | `-- Installing libSM-1.2.2_3,1... | | | | | `-- Installing libICE-1.0.9_1,1... | | | | | `-- Extracting libICE-1.0.9_1,1: .......... done | | | | `-- Extracting libSM-1.2.2_3,1: .......... done | | | | `-- Extracting libXt-1.1.5,1: .......... done | | | `-- Extracting libXpm-3.5.11_4: .......... done | | | `-- Installing libXmu-1.1.2_3,1... | | | `-- Extracting libXmu-1.1.2_3,1: .......... done | | | `-- Installing printproto-1.0.5... | | | `-- Extracting printproto-1.0.5: .... done | | | `-- Installing libXp-1.0.3,1... | | | `-- Extracting libXp-1.0.3,1: .......... done | | | `-- Extracting libXaw-1.0.13,2: .......... done | | `-- Extracting t1lib-5.1.2_4,1: .......... done | | `-- Installing xpdfopen-0.86... | | `-- Extracting xpdfopen-0.86: .... done | | `-- Installing ghostscript9-agpl-base-9.16_5... | | | `-- Installing cups-2.1.4... | | | `-- Installing avahi-app-0.6.31_5... | | | | `-- Installing gnome_subr-1.0... | | | | `-- Extracting gnome_subr-1.0: . done | | | | `-- Installing gobject-introspection-1.46.0... | | | | `-- Installing python2-2_3... | | | | `-- Extracting python2-2_3: ...... done | | | | `-- Extracting gobject-introspection-1.46.0: .......... done | | | | `-- Installing gdbm-1.12... | | | | `-- Extracting gdbm-1.12: .......... done | | | | `-- Installing libdaemon-0.14_1... | | | | `-- Extracting libdaemon-0.14_1: .......... done | | | | `-- Installing dbus-glib-0.104... | | | | `-- Installing dbus-1.8.20... ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. | | | | `-- Extracting dbus-1.8.20: ......... done | | | | `-- Extracting dbus-glib-0.104: .......... done ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. | | | `-- Extracting avahi-app-0.6.31_5: .......... done | | | `-- Installing gnutls-3.4.15... | | | | `-- Installing nettle-3.2... | | | | `-- Installing gmp-5.1.3_3... | | | | `-- Extracting gmp-5.1.3_3: .......... done | | | | `-- Extracting nettle-3.2: .......... done | | | | `-- Installing ca_root_nss-3.27... | | | | `-- Extracting ca_root_nss-3.27: ....... done | | | | `-- Installing libtasn1-4.9... | | | | `-- Extracting libtasn1-4.9: .......... done | | | | `-- Installing trousers-0.3.13_1... | | | | `-- Installing tpm-emulator-0.7.4_1... ===> Creating groups. Creating group '_tss' with gid '601'. ===> Creating users Creating user '_tss' with uid '601'. | | | | `-- Extracting tpm-emulator-0.7.4_1: ......... done ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | | `-- Extracting trousers-0.3.13_1: .......... done | | | | `-- Installing p11-kit-0.23.2... | | | | `-- Extracting p11-kit-0.23.2: .......... done | | | | `-- Installing libidn-1.33_1... | | | | `-- Extracting libidn-1.33_1: .......... done | | | `-- Extracting gnutls-3.4.15: .......... done ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. | | | `-- Extracting cups-2.1.4: .......... done | | | `-- Installing jbig2dec-0.13... | | | `-- Extracting jbig2dec-0.13: .......... done | | | `-- Installing gsfonts-8.11_6... | | | `-- Extracting gsfonts-8.11_6: .......... done | | | `-- Installing lcms2-2.7_2... | | | `-- Extracting lcms2-2.7_2: .......... done | | `-- Extracting ghostscript9-agpl-base-9.16_5: .......... done | | `-- Installing psutils-1.17_5... | | `-- Extracting psutils-1.17_5: .......... done | | `-- Installing poppler-0.46.0_1... | | | `-- Installing openjpeg15-1.5.2_1... | | | `-- Extracting openjpeg15-1.5.2_1: .......... done | | | `-- Installing poppler-data-0.4.7... | | | `-- Extracting poppler-data-0.4.7: .......... done | | `-- Extracting poppler-0.46.0_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 | | `-- Installing tex-web2c-20150521_1... | | | `-- Installing mpfr-3.1.5... | | | `-- Extracting mpfr-3.1.5: .......... done | | `-- Extracting tex-web2c-20150521_1: .......... done | | `-- Extracting texlive-base-20150521_13: .......... done | `-- Extracting texlive-texmf-20150523_3: .......... done `-- Extracting tex-dvipsk-5.995_1: .......... done `-- Installing tex-formats-20150521_2... | `-- Installing tex-basic-engines-20150521... | `-- Extracting tex-basic-engines-20150521: .......... done `-- Extracting tex-formats-20150521_2: .......... done `-- Installing netpbm-10.35.98... | `-- Installing jasper-1.900.1_16... | `-- Extracting jasper-1.900.1_16: .......... done `-- Extracting netpbm-10.35.98: .......... done Extracting latex2html-2008_4: .......... done Message from perl5-5.20.3_15: 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 ncurses-6.0_5: ===> NOTICE: The ncurses 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 python27-2.7.12: =========================================================================== 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.27: ********************************* 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.13_1: 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 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 netpbm-10.35.98: ===> NOTICE: The netpbm 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-2008_4: **** 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_1.txz Installing gmake-4.2.1_1... Extracting gmake-4.2.1_1: .......... done ===> hope-1.1_1 depends on executable: gmake - found ===> Returning to build of hope-1.1_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for hope-1.1_1 configure: warning: x86_64-portbld-dragonfly4.7: invalid host type loading site script /usr/ports/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 =========================================================================== =================================================== ===> Building for hope-1.1_1 gmake[1]: Entering directory '/wrkdirs/lang/hope/hope' for dir in lib src doc; do (cd $dir; gmake all); done gmake[2]: Entering directory '/wrkdirs/lang/hope/hope/lib' gmake[2]: Nothing to be done for 'all'. gmake[2]: Leaving directory '/wrkdirs/lang/hope/hope/lib' gmake[2]: Entering directory '/wrkdirs/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 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 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 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 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 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 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); ^ 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 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 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 '/wrkdirs/lang/hope/hope/src' gmake[2]: Entering directory '/wrkdirs/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 hope_tut latex examples 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 (./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.cloentering 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)) (./html.sty) No file examples.aux. [1] (/usr/local/share/texmf-dist/tex/latex/base/omscmr.fd)) (/usr/local/share/texmf-dist/tex/latex/a4wide/a4wide.sty (/usr/local/share/texmf-dist/tex/latex/ntgclass/a4.sty) [2)] (./html.sty) 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, 7800 bytes). Transcript written on examples.log. No file hope_tut.aux. [1] [2] [3] [4]if grep -s '^LaTeX Warning: Citation .* undefined' examples.log;\ then bibtex examples; latex examples;\ fi [5] [6]if grep -s '^LaTeX Warning: Label(s) may have changed' examples.log;\ then latex examples;\ fi [7] [8] [9] [10] [11] [12]dvips examples -o examples.ps rm -rf examples latex2html -info '' -no_navigation -address 'Ross Paterson <ross@soi.city.ac.uk>' examples.tex [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]latex ref_man [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 This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2016.10.05:0442' -> examples.ps . This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. [1] [2] [3] [4] [5] 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] 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]This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2016.10.05:0442' -> hope_tut.ps [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, 31600 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. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] 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 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) 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, 32356 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. $* is no longer supported at /usr/local/bin/latex2html line 10588. $* is no longer supported at /usr/local/bin/latex2html line 10600. $* is no longer supported at /usr/local/bin/latex2html line 10588. $* is no longer supported at /usr/local/bin/latex2html line 10600. This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. $* is no longer supported at /usr/local/bin/latex2html line 11415. $* is no longer supported at /usr/local/bin/latex2html line 11426. $* is no longer supported at /usr/local/bin/latex2html line 11415. $* is no longer supported at /usr/local/bin/latex2html line 11426. 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]$* is no longer supported at /usr/local/bin/latex2html line 13143. $* is no longer supported at /usr/local/bin/latex2html line 13145. [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]$* is no longer supported at /usr/local/bin/latex2html line 13143. $* is no longer supported at /usr/local/bin/latex2html line 13145. [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, 32352 bytes). Transcript written on ref_man.log. This is LaTeX2HTML Version 2008 (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 3.2 Extension: loading /usr/local/share/latex2html/versions/latin1.pl$* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 409. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 411. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 437. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 439. dvips ref_man -o ref_man.ps rm -rf ref_man $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 599. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 601. latex2html -info '' -no_navigation -address 'Ross Paterson <ross@soi.city.ac.uk>' ref_man.tex $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 826. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 828. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 969. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 969. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1060. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1081. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1258. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1258. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1283. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1283. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1303. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1303. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1323. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1323. HTML version: loading /usr/local/share/latex2html/versions/html3_2.pl *** processing declarations *** OPENING /wrkdirs/lang/hope/hope/doc/examples.tex This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2016.10.05:0442' -> ref_man.ps . Note: Working directory is /wrkdirs/lang/hope/hope/doc/examples Note: Images will be generated in /tmp/l2h926764 [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] texexpand V2008 (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$* is no longer supported at /usr/local/share/latex2html/styles/html.perl line 239, line 2. $* is no longer supported at /usr/local/share/latex2html/styles/html.perl line 239, line 2. 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 *** $* is no longer supported at /usr/local/bin/latex2html line 10588. $* is no longer supported at /usr/local/bin/latex2html line 10600. $* is no longer supported at /usr/local/bin/latex2html line 11415. $* is no longer supported at /usr/local/bin/latex2html line 11426. $* is no longer supported at /usr/local/bin/latex2html line 13143. $* is no longer supported at /usr/local/bin/latex2html line 13145. Done. This is LaTeX2HTML Version 2008 (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 3.2 Extension: loading /usr/local/share/latex2html/versions/latin1.pl$* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 409. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 411. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 437. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 439. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 599. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 601. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 826. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 828. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 969. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 969. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1060. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1081. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1258. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1258. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1283. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1283. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1303. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1303. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1323. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1323. HTML version: loading /usr/local/share/latex2html/versions/html3_2.pl *** processing declarations *** This is LaTeX2HTML Version 2008 (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 3.2 Extension: loading /usr/local/share/latex2html/versions/latin1.pl$* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 409. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 411. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 437. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 439. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 599. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 601. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 826. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 828. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 969. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 969. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1060. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1081. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1258. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1258. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1283. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1283. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1303. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1303. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1323. $* is no longer supported at /usr/local/share/latex2html/versions/html3_2.pl line 1323. OPENING /wrkdirs/lang/hope/hope/doc/ref_man.tex HTML version: loading /usr/local/share/latex2html/versions/html3_2.pl *** processing declarations *** Note: Working directory is /wrkdirs/lang/hope/hope/doc/ref_man Note: Images will be generated in /tmp/l2h926966 texexpand V2008 (Revision 1.12) OPENING /wrkdirs/lang/hope/hope/doc/hope_tut.tex Note: Working directory is /wrkdirs/lang/hope/hope/doc/hope_tut Note: Images will be generated in /tmp/l2h926802 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$* is no longer supported at /usr/local/share/latex2html/styles/html.perl line 239, line 3. $* is no longer supported at /usr/local/share/latex2html/styles/html.perl line 239, line 3. Reading ... %,,,,,,++ @@@@@@@@@@ Doing ./op.tex texexpand V2008 (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$* is no longer supported at /usr/local/share/latex2html/styles/html.perl line 239, line 3. $* is no longer supported at /usr/local/share/latex2html/styles/html.perl line 239, line 3. Processing macros ..., Reading ...,,,,,, ,,,,,,,%''''''''''''''''','''''''''''''''''''''''''''''''''''''''''''',''''''''''''''''''''''''''''''''''''''''''''''''',,,,,,,,,,+,{},{},{},{},{}+,+{},{},{},{},{},{},{} 12 new environments replaced +............................................. @@@@@.......................@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@............... ................................. 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 ./Standard.tex .; Doing section links .......''''''''''''''''''''''''''''' Processing macros ...++................... @@@@@@@@@@@@@@ Reading aux file: /wrkdirs/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: *** Adding document-specific styles *** ...."Types" for node6.html ;.,....................................;. 7/17:subsection:...."Patterns" for node7.html ;.,......................................... *********** WARNINGS *********** No implementation found for style `a4wide' ........ Done. ...........................................................................................................................................;...................... 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: /wrkdirs/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 '/wrkdirs/lang/hope/hope/doc' gmake[1]: Leaving directory '/wrkdirs/lang/hope/hope' =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for hope-1.1_1 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/lang/hope/hope' for dir in lib src doc; do (cd $dir; gmake install); done gmake[2]: Entering directory '/wrkdirs/lang/hope/hope/lib' /usr/bin/install -c -d /wrkdirs/lang/hope/stage/usr/local/share/hope/lib for f in *.hop; do install -m 0644 $f /wrkdirs/lang/hope/stage/usr/local/share/hope/lib; done /usr/bin/install -c -d /wrkdirs/lang/hope/stage/usr/local/share/hope/lib.new sed -f list.sed Standard.hop >Standard-new.hop install -m 0644 Standard-new.hop /wrkdirs/lang/hope/stage/usr/local/share/hope/lib.new/Standard.hop rm -f Standard-new.hop gmake[2]: Leaving directory '/wrkdirs/lang/hope/hope/lib' gmake[2]: Entering directory '/wrkdirs/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 /wrkdirs/lang/hope/stage/usr/local/share/hope/lib install -s -m 555 -s hope /wrkdirs/lang/hope/stage/usr/local/bin install -m 0644 hope.1 /wrkdirs/lang/hope/stage/usr/local/man/man1 gmake[2]: Leaving directory '/wrkdirs/lang/hope/hope/src' gmake[2]: Entering directory '/wrkdirs/lang/hope/hope/doc' /usr/bin/install -c -d /wrkdirs/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 >/wrkdirs/lang/hope/stage/usr/local/share/doc/hope/$file.gz; done /usr/bin/install -c -d /wrkdirs/lang/hope/stage/usr/local/share/doc/hope for dir in ref_man hope_tut examples; do rm -rf /wrkdirs/lang/hope/stage/usr/local/share/doc/hope/$dir; done for dir in ref_man hope_tut examples; do rm -rf /wrkdirs/lang/hope/stage$dir/*.pl /wrkdirs/lang/hope/stage$dir/WARNINGS; done cp -r ref_man hope_tut examples /wrkdirs/lang/hope/stage/usr/local/share/doc/hope # cp hope_tut.src examples.src /usr/local/share/doc/hope/src gmake[2]: Leaving directory '/wrkdirs/lang/hope/hope/doc' gmake[1]: Leaving directory '/wrkdirs/lang/hope/hope' ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for hope-1.1_1 file sizes/checksums [91]: . done packing files [91]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for hope-1.1_1 build of lang/hope ended at Tue Oct 4 21:42:15 PDT 2016 build time: 00:03:09