------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/jbigkit-2.1_1.tgz Installing /packages/All/jpeg-turbo-2.0.2.tgz Installing /packages/All/tiff-4.0.10_1.tgz Installing /packages/All/png-1.6.37.tgz Installing /packages/All/jasper-1.900.1_17.tgz Installing /packages/All/perl5-5.28.2.tgz Message from perl5-5.28.2: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. Installing /packages/All/netpbm-10.87.01.tgz Installing /packages/All/indexinfo-0.3.1.tgz Installing /packages/All/tex-kpathsea-6.2.1_2.tgz Installing /packages/All/lcms2-2.9.tgz Installing /packages/All/openjpeg15-1.5.2_1.tgz Installing /packages/All/zziplib-0.13.69_1.tgz Message from zziplib-0.13.69_1: ===> 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 Installing /packages/All/gmp-6.1.2_1.tgz Installing /packages/All/mpfr-4.0.2.tgz Installing /packages/All/tex-ptexenc-1.3.3_2.tgz Installing /packages/All/freetype2-2.10.1.tgz Message from freetype2-2.10.1: The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. If LONG_PCF_NAMES port's option was enabled, the PCF family names may include the foundry and information whether they contain wide characters. For example, "Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at run time with using pcf:no-long-family-names property, if needed. Example: FREETYPE_PROPERTIES=pcf:no-long-family-names=1 How to recreate fontconfig cache with using such environment variable, if needed: # env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/site/index.html, if documentation was installed). Installing /packages/All/expat-2.2.6_1.tgz Installing /packages/All/fontconfig-2.12.6,1.tgz Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory fc-cache: succeeded Installing /packages/All/pcre-8.43_2.tgz Installing /packages/All/libffi-3.2.1_3.tgz Installing /packages/All/gettext-runtime-0.20.1.tgz Installing /packages/All/libxml2-2.9.9.tgz Installing /packages/All/libiconv-1.14_11.tgz Installing /packages/All/ncurses-6.1.20190525.tgz Installing /packages/All/readline-8.0.0.tgz Installing /packages/All/openssl-1.0.2s,1.tgz Message from openssl-1.0.2s,1: Edit /usr/local/openssl/openssl.cnf to fit your needs. Installing /packages/All/python36-3.6.9.tgz Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== Installing /packages/All/glib-2.56.3_6,1.tgz No schema files found: doing nothing. Installing /packages/All/wayland-1.16.0.tgz Installing /packages/All/pciids-20190725.tgz Installing /packages/All/libpciaccess-0.16.tgz Installing /packages/All/libdrm-2.4.99.tgz Installing /packages/All/libelf-0.8.13_3.tgz Installing /packages/All/libXau-1.0.9.tgz Installing /packages/All/xorgproto-2019.1.tgz Installing /packages/All/libXdmcp-1.1.3.tgz Installing /packages/All/libpthread-stubs-0.4.tgz Installing /packages/All/libxcb-1.13.1.tgz Installing /packages/All/libX11-1.6.8,1.tgz Installing /packages/All/libXfixes-5.0.3_2.tgz Installing /packages/All/libXdamage-1.1.5.tgz Installing /packages/All/libXext-1.3.4,1.tgz Installing /packages/All/libXrender-0.9.10_2.tgz Installing /packages/All/libXrandr-1.5.2.tgz Installing /packages/All/libxshmfence-1.3.tgz Installing /packages/All/libXxf86vm-1.1.4_3.tgz Installing /packages/All/mesa-libs-18.3.2_1.tgz Installing /packages/All/pixman-0.38.4.tgz Installing /packages/All/cairo-1.16.0,2.tgz Installing /packages/All/tex-web2c-20150521_3.tgz Installing /packages/All/tex-basic-engines-20150521.tgz Installing /packages/All/texlive-tlmgr-20150523_2.tgz Installing /packages/All/icu-64.2,1.tgz Installing /packages/All/libICE-1.0.9_3,1.tgz Installing /packages/All/libSM-1.2.3,1.tgz Installing /packages/All/libXt-1.2.0,1.tgz Installing /packages/All/libXmu-1.1.3,1.tgz Installing /packages/All/libXp-1.0.3_2,1.tgz Installing /packages/All/libXpm-3.5.12_2.tgz Installing /packages/All/libXaw-1.0.13_2,2.tgz Installing /packages/All/t1lib-5.1.2_5,1.tgz Installing /packages/All/teckit-2.5.7.tgz Installing /packages/All/giflib-5.1.9.tgz Installing /packages/All/webp-1.0.3_1.tgz Installing /packages/All/libgd-2.2.5_1,1.tgz Installing /packages/All/graphite2-1.3.13_1.tgz Installing /packages/All/harfbuzz-2.5.3_1.tgz Installing /packages/All/harfbuzz-icu-2.5.3.tgz Installing /packages/All/nspr-4.21.tgz Installing /packages/All/sqlite3-3.29.0.tgz Installing /packages/All/nss-3.45_1.tgz Installing /packages/All/openjpeg-2.3.1.tgz Installing /packages/All/poppler-data-0.4.9.tgz Installing /packages/All/poppler-0.79.0.tgz Installing /packages/All/libpotrace-1.12.tgz Installing /packages/All/libpaper-1.1.24.4.tgz Installing /packages/All/psutils-1.17_5.tgz Installing /packages/All/xpdfopen-0.86.tgz Installing /packages/All/libidn-1.35.tgz Installing /packages/All/jbig2dec-0.16.tgz Installing /packages/All/libdaemon-0.14_1.tgz Installing /packages/All/dbus-1.12.12.tgz ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. Installing /packages/All/dbus-glib-0.110.tgz Installing /packages/All/gdbm-1.18.1_1.tgz Installing /packages/All/gobject-introspection-1.56.1,1.tgz Installing /packages/All/gnome_subr-1.0.tgz Installing /packages/All/avahi-app-0.7_2.tgz ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. Installing /packages/All/nettle-3.5.1_1.tgz Installing /packages/All/libtasn1-4.14.tgz Installing /packages/All/libunistring-0.9.10_1.tgz Installing /packages/All/libidn2-2.2.0.tgz Installing /packages/All/ca_root_nss-3.45.tgz Message from ca_root_nss-3.45: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** Installing /packages/All/p11-kit-0.23.16.1.tgz Installing /packages/All/tpm-emulator-0.7.4_2.tgz ===> Creating groups. Creating group '_tss' with gid '601'. ===> Creating users Creating user '_tss' with uid '601'. Installing /packages/All/trousers-0.3.14_2.tgz ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. Message from trousers-0.3.14_2: To run tcsd automatically, add the following line to /etc/rc.conf: tcsd_enable="YES" You might want to edit /usr/local/etc/tcsd.conf to reflect your setup. If you want to use tcsd with software TPM emulator, use the following configuration in /etc/rc.conf: tcsd_enable="YES" tcsd_mode="emulator" tpmd_enable="YES" To use TPM, add your_account to '_tss' group like following: # pw groupmod _tss -m your_account Installing /packages/All/gnutls-3.6.9.tgz Installing /packages/All/cups-2.2.11.tgz ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. Installing /packages/All/ghostscript9-agpl-base-9.27_2.tgz Message from ghostscript9-agpl-base-9.27_2: This package installs a script named dvipdf that depends on dvips. If you want to use this script you need to install print/tex-dvipsk. Installing /packages/All/texlive-base-20150521_39.tgz Installing /packages/All/texlive-texmf-20150523_4.tgz Installing /packages/All/tex-formats-20150521_2.tgz Installing /packages/All/tex-dvipsk-5.995_2.tgz Installing /packages/All/latex2html-2016_1.tgz 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. Installing /packages/All/gmake-4.2.1_3.tgz SUCCEEDED 00:01:41 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- x/!\ hope-1.1_1: Makefile warnings, please consider fixing /!\ Please set LICENSE for this port SUCCEEDED 00:00:10 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- x/!\ hope-1.1_1: Makefile warnings, please consider fixing /!\ Please set LICENSE for this port ===> Fetching all distfiles required by hope-1.1_1 for building SUCCEEDED 00:00:10 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- x/!\ hope-1.1_1: Makefile warnings, please consider fixing /!\ Please set LICENSE for this port ===> Fetching all distfiles required by hope-1.1_1 for building => SHA256 Checksum OK for hope.tar.gz. SUCCEEDED 00:00:10 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- x/!\ hope-1.1_1: Makefile warnings, please consider fixing /!\ Please set LICENSE for this port ===> Fetching all distfiles required by hope-1.1_1 for building ===> Extracting for hope-1.1_1 => SHA256 Checksum OK for hope.tar.gz. Extracted Memory Use: 1.05M SUCCEEDED 00:00:11 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- x===> Patching for hope-1.1_1 ===> Applying ports patches for hope-1.1_1 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- x===> Configuring for hope-1.1_1 configure: warning: x86_64-portbld-dragonfly5.7: 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 SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- x===> Building for hope-1.1_1 gmake[1]: Entering directory '/construction/lang/hope/hope' for dir in lib src doc; do (cd $dir; gmake all); done gmake[2]: Entering directory '/construction/lang/hope/hope/lib' gmake[2]: Nothing to be done for 'all'. gmake[2]: Leaving directory '/construction/lang/hope/hope/lib' gmake[2]: Entering directory '/construction/lang/hope/hope/src' cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o bad_rectype.o bad_rectype.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o builtin.o builtin.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o cases.o cases.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o char.o char.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o char_array.o char_array.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o compare.o compare.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o compile.o compile.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o deftype.o deftype.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o eval.o eval.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o expr.o expr.c char.c:105: 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 functor_type.o functor_type.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o functors.o functors.c functor_type.c: In function 'result_domain': functor_type.c:89:21: warning: unused parameter 'head' [-Wunused-parameter] result_domain(Type *head, Cell *tail_type, Cell **targ) ~~~~~~^~~~ 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 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 main.o main.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o memory.o memory.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o module.o module.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o newstring.o newstring.c cc -pipe -O2 -fno-strict-aliasing -pipe -pedantic -Wall -W -Wshadow -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wpointer-arith -Wnested-externs -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -c -o number.o number.c 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, 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: 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: 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: 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); ^~~~~~~ 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 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 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 In file included from newstring.c:4: 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: 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 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 source.c: In function 'init_source': source.c:96:21: warning: array subscript -1 is below array bounds of 'Source[16]' {aka 'struct [16]'} [-Warray-bounds] cur_source = source-1; ~~~~~~^~ source.c: In function 're_edit_script': source.c:471:43: warning: '%s' directive writing up to 99 bytes into a region of size between 74 and 84 [-Wformat-overflow=] (void)sprintf(command, "${EDITOR-vi} +%d %s", first_error, list_file); ^~ ~~~~~~~~~ source.c:471:8: note: 'sprintf' output between 17 and 126 bytes into a destination of size 100 (void)sprintf(command, "${EDITOR-vi} +%d %s", first_error, list_file); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ source.c:471:43: warning: '%s' directive writing up to 99 bytes into a region of size between 74 and 84 [-Wformat-overflow=] (void)sprintf(command, "${EDITOR-vi} +%d %s", first_error, list_file); ^~ ~~~~~~~~~ source.c:471:8: note: 'sprintf' output between 17 and 126 bytes into a destination of size 100 (void)sprintf(command, "${EDITOR-vi} +%d %s", first_error, list_file); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 source.c: In function 'edit': source.c:410:39: warning: '%s' directive writing up to 99 bytes into a region of size 87 [-Wformat-overflow=] (void)sprintf(command, "${EDITOR-vi} %s", filename); ^~ ~~~~~~~~ source.c:410:8: note: 'sprintf' output between 14 and 113 bytes into a destination of size 100 (void)sprintf(command, "${EDITOR-vi} %s", filename); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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 ref_man latex examples latex hope_tut 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) 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]This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. [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]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 [11 Document Class: article 2014/09/29 v1.4h Standard LaTeX document class ](/usr/local/share/texmf-dist/tex/latex/base/size10.clo [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. ) (./html.sty) No file examples.aux. 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. [1LaTeX 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. ] (/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]This is pdfTeX, Version 3.14159265-2.6-1.40.16 (Web2C 2015) (preloaded format=latex) restricted \write18 enabled. (./examples.aux) ) (see the transcript file for additional information) Output written on examples.dvi (5 pages, 7796 bytes). Transcript written on examples.log. 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 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. This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2019.08.26:2359' -> examples.ps . 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. 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[1] [2)] [3] [4] [5] [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]) (/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, 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. 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] [4] 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 This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2019.08.26:2359' -> hope_tut.ps . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] 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, 32352 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 This is dvips(k) 5.995 Copyright 2015 Radical Eye Software (www.radicaleye.com) ' TeX output 2019.08.26:2359' -> ref_man.ps . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] 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/examples.tex Note: Working directory is /construction/lang/hope/hope/doc/examples Note: Images will be generated in /tmp/l2h176120 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 *** 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/l2h178684 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 OPENING /construction/lang/hope/hope/doc/hope_tut.tex %''' Note: Working directory is /construction/lang/hope/hope/doc/hope_tut Note: Images will be generated in /tmp/l2h178466 Processing macros ...,,,,,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 ... %'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''',,,,,,,,,,,,,,,,,,,,,+,{},{},{},{},{},{},{},{},{},{},{},{} 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 section links ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ 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 ;.,......................................................................................................................................................................................................................................................................................................................,..........................................................,.............................,......................... *** Adding document-specific styles *** ......................................................................................,................,....................................;..................................................... 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 .............. *********** WARNINGS *********** No implementation found for style `a4wide' Done. ........................ *** 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' SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- x SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- x===> 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) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- x====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- x===> Building package for hope-1.1_1 file sizes/checksums [91]: 0% file sizes/checksums [91]: 100% packing files [91]: 0% packing files [91]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:02:35