=>> Building math/alt-ergo build started at Sat Apr 6 03:03:17 BST 2024 port directory: /usr/ports/math/alt-ergo package name: alt-ergo-0.95.2_5 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: ports@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1454 Feb 25 10:26 /usr/ports/math/alt-ergo/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: 1189805d57 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 11 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/11/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- ports@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/alt-ergo/work/.cache HOME=/wrkdirs/usr/ports/math/alt-ergo/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/alt-ergo/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/alt-ergo/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache" CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/alt-ergo/work/.cache HOME=/wrkdirs/usr/ports/math/alt-ergo/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/alt-ergo/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/alt-ergo/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CCACHE_DIR="/root/.ccache" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=13.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/alt-ergo" EXAMPLESDIR="share/examples/alt-ergo" DATADIR="share/alt-ergo" WWWDIR="www/alt-ergo" ETCDIR="etc/alt-ergo" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/alt-ergo DOCSDIR=/usr/local/share/doc/alt-ergo EXAMPLESDIR=/usr/local/share/examples/alt-ergo WWWDIR=/usr/local/www/alt-ergo ETCDIR=/usr/local/etc/alt-ergo --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The alt-ergo 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://docs.freebsd.org/en/articles/contributing/#ports-contributing =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> alt-ergo-0.95.2_5 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done ===> alt-ergo-0.95.2_5 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of alt-ergo-0.95.2_5 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The alt-ergo 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://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> Fetching all distfiles required by alt-ergo-0.95.2_5 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The alt-ergo 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://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> Fetching all distfiles required by alt-ergo-0.95.2_5 for building => SHA256 Checksum OK for alt-ergo-0.95.2.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> alt-ergo-0.95.2_5 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.14.1.pkg [pkg-builder.dan.net.uk] Installing ocaml-4.14.1... [pkg-builder.dan.net.uk] Extracting ocaml-4.14.1: .......... done ===> alt-ergo-0.95.2_5 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of alt-ergo-0.95.2_5 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> NOTICE: The alt-ergo 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://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> Fetching all distfiles required by alt-ergo-0.95.2_5 for building ===> Extracting for alt-ergo-0.95.2_5 => SHA256 Checksum OK for alt-ergo-0.95.2.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> alt-ergo-0.95.2_5 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for alt-ergo-0.95.2_5 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> alt-ergo-0.95.2_5 depends on package: ocaml-zarith>1.2 - not found ===> Installing existing package /packages/All/ocaml-zarith-1.13_1.pkg [pkg-builder.dan.net.uk] Installing ocaml-zarith-1.13_1... [pkg-builder.dan.net.uk] `-- Installing gmp-6.3.0... [pkg-builder.dan.net.uk] | `-- Installing indexinfo-0.3.1... [pkg-builder.dan.net.uk] | `-- Extracting indexinfo-0.3.1: . done [pkg-builder.dan.net.uk] `-- Extracting gmp-6.3.0: .......... done [pkg-builder.dan.net.uk] `-- Installing ocaml-findlib-1.9.6_2... [pkg-builder.dan.net.uk] | `-- Installing ocaml-labltk-8.06.12... [pkg-builder.dan.net.uk] | | `-- Installing tcl86-8.6.14_1... [pkg-builder.dan.net.uk] | | `-- Extracting tcl86-8.6.14_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing tk86-8.6.14_1... [pkg-builder.dan.net.uk] | | `-- Installing fontconfig-2.15.0_2,1... [pkg-builder.dan.net.uk] | | | `-- Installing expat-2.6.1... [pkg-builder.dan.net.uk] | | | `-- Extracting expat-2.6.1: .......... done [pkg-builder.dan.net.uk] | | | `-- Installing freetype2-2.13.2... [pkg-builder.dan.net.uk] | | | `-- Extracting freetype2-2.13.2: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting fontconfig-2.15.0_2,1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libX11-1.8.7_1,1... [pkg-builder.dan.net.uk] | | | `-- Installing libxcb-1.16.1... [pkg-builder.dan.net.uk] | | | `-- Installing libXau-1.0.9_1... [pkg-builder.dan.net.uk] | | | `-- Extracting libXau-1.0.9_1: .......... done [pkg-builder.dan.net.uk] | | | `-- Installing libXdmcp-1.1.5... [pkg-builder.dan.net.uk] | | | | `-- Installing xorgproto-2023.2... [pkg-builder.dan.net.uk] | | | | `-- Extracting xorgproto-2023.2: .......... done [pkg-builder.dan.net.uk] | | | `-- Extracting libXdmcp-1.1.5: ...... done [pkg-builder.dan.net.uk] | | | `-- Extracting libxcb-1.16.1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting libX11-1.8.7_1,1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libXScrnSaver-1.2.4_1... [pkg-builder.dan.net.uk] | | | `-- Installing libXext-1.3.6,1... [pkg-builder.dan.net.uk] | | | `-- Extracting libXext-1.3.6,1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting libXScrnSaver-1.2.4_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libXft-2.3.7_1... [pkg-builder.dan.net.uk] | | | `-- Installing libXrender-0.9.10_2... [pkg-builder.dan.net.uk] | | | `-- Extracting libXrender-0.9.10_2: ....... done [pkg-builder.dan.net.uk] | | `-- Extracting libXft-2.3.7_1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting tk86-8.6.14_1: .......... done [pkg-builder.dan.net.uk] | `-- Extracting ocaml-labltk-8.06.12: .......... done [pkg-builder.dan.net.uk] `-- Extracting ocaml-findlib-1.9.6_2: .......... done [pkg-builder.dan.net.uk] Extracting ocaml-zarith-1.13_1: .......... done ==> Running trigger: fontconfig.ucl Running fc-cache to build fontconfig cache... ===== Message from freetype2-2.13.2: -- 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/index.html, if documentation was installed). ===> alt-ergo-0.95.2_5 depends on package: ocaml-zarith>1.2 - found ===> Returning to build of alt-ergo-0.95.2_5 ===> alt-ergo-0.95.2_5 depends on package: ocaml-num>=0 - not found ===> Installing existing package /packages/All/ocaml-num-1.4_2.pkg [pkg-builder.dan.net.uk] Installing ocaml-num-1.4_2... [pkg-builder.dan.net.uk] Extracting ocaml-num-1.4_2: .......... done ===> alt-ergo-0.95.2_5 depends on package: ocaml-num>=0 - found ===> Returning to build of alt-ergo-0.95.2_5 ===> alt-ergo-0.95.2_5 depends on package: ocaml-ocamlgraph>1.8 - not found ===> Installing existing package /packages/All/ocaml-ocamlgraph-1.8.8_2.pkg [pkg-builder.dan.net.uk] Installing ocaml-ocamlgraph-1.8.8_2... [pkg-builder.dan.net.uk] Extracting ocaml-ocamlgraph-1.8.8_2: .......... done ===== Message from ocaml-ocamlgraph-1.8.8_2: -- ===> NOTICE: The ocaml-ocamlgraph 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://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> alt-ergo-0.95.2_5 depends on package: ocaml-ocamlgraph>1.8 - found ===> Returning to build of alt-ergo-0.95.2_5 ===> alt-ergo-0.95.2_5 depends on package: ocaml-lablgtk2>=0 - not found ===> Installing existing package /packages/All/ocaml-lablgtk2-2.18.13_2.pkg [pkg-builder.dan.net.uk] Installing ocaml-lablgtk2-2.18.13_2... [pkg-builder.dan.net.uk] `-- Installing at-spi2-core-2.50.1... [pkg-builder.dan.net.uk] | `-- Installing dbus-1.14.10_4,1... [pkg-builder.dan.net.uk] | | `-- Installing libICE-1.1.0_2,1... [pkg-builder.dan.net.uk] | | `-- Extracting libICE-1.1.0_2,1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libSM-1.2.3_1,1... [pkg-builder.dan.net.uk] | | `-- Extracting libSM-1.2.3_1,1: ........ done ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. [pkg-builder.dan.net.uk] | `-- Extracting dbus-1.14.10_4,1: ......... done [pkg-builder.dan.net.uk] | `-- Installing gettext-runtime-0.22.3_1... [pkg-builder.dan.net.uk] | `-- Extracting gettext-runtime-0.22.3_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing glib-2.80.0,2... [pkg-builder.dan.net.uk] | | `-- Installing libffi-3.4.4_1... [pkg-builder.dan.net.uk] | | `-- Extracting libffi-3.4.4_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libiconv-1.17_1... [pkg-builder.dan.net.uk] | | `-- Extracting libiconv-1.17_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing pcre2-10.43... [pkg-builder.dan.net.uk] | | `-- Installing readline-8.2.10... [pkg-builder.dan.net.uk] | | `-- Extracting readline-8.2.10: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting pcre2-10.43: .......... done [pkg-builder.dan.net.uk] | | `-- Installing py39-packaging-23.2... [pkg-builder.dan.net.uk] | | `-- Installing python39-3.9.18_1... [pkg-builder.dan.net.uk] | | | `-- Installing mpdecimal-2.5.1... [pkg-builder.dan.net.uk] | | | `-- Extracting mpdecimal-2.5.1: .......... done [pkg-builder.dan.net.uk] | | | `-- Installing openssl-3.0.13_1,1... [pkg-builder.dan.net.uk] | | | `-- Extracting openssl-3.0.13_1,1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting python39-3.9.18_1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting py39-packaging-23.2: .......... done [pkg-builder.dan.net.uk] | `-- Extracting glib-2.80.0,2: .......... done [pkg-builder.dan.net.uk] | `-- Installing libXi-1.8_1,1... [pkg-builder.dan.net.uk] | | `-- Installing libXfixes-6.0.0_1... [pkg-builder.dan.net.uk] | | `-- Extracting libXfixes-6.0.0_1: ....... done [pkg-builder.dan.net.uk] | `-- Extracting libXi-1.8_1,1: .......... done [pkg-builder.dan.net.uk] | `-- Installing libXtst-1.2.3_3... [pkg-builder.dan.net.uk] | `-- Extracting libXtst-1.2.3_3: .......... done [pkg-builder.dan.net.uk] `-- Extracting at-spi2-core-2.50.1: .......... done [pkg-builder.dan.net.uk] `-- Installing cairo-1.17.4_2,3... [pkg-builder.dan.net.uk] | `-- Installing libglvnd-1.7.0... [pkg-builder.dan.net.uk] | `-- Extracting libglvnd-1.7.0: .......... done [pkg-builder.dan.net.uk] | `-- Installing pixman-0.42.2... [pkg-builder.dan.net.uk] | `-- Extracting pixman-0.42.2: ....... done [pkg-builder.dan.net.uk] | `-- Installing png-1.6.43... [pkg-builder.dan.net.uk] | `-- Extracting png-1.6.43: .......... done [pkg-builder.dan.net.uk] `-- Extracting cairo-1.17.4_2,3: .......... done [pkg-builder.dan.net.uk] `-- Installing gdk-pixbuf2-2.42.10_2... [pkg-builder.dan.net.uk] | `-- Installing jpeg-turbo-3.0.2... [pkg-builder.dan.net.uk] | `-- Extracting jpeg-turbo-3.0.2: .......... done [pkg-builder.dan.net.uk] | `-- Installing libxml2-2.11.7... [pkg-builder.dan.net.uk] | `-- Extracting libxml2-2.11.7: .......... done [pkg-builder.dan.net.uk] | `-- Installing shared-mime-info-2.2_2... [pkg-builder.dan.net.uk] | `-- Extracting shared-mime-info-2.2_2: ......... done [pkg-builder.dan.net.uk] | `-- Installing tiff-4.4.0_3... [pkg-builder.dan.net.uk] | | `-- Installing jbigkit-2.1_2... [pkg-builder.dan.net.uk] | | `-- Extracting jbigkit-2.1_2: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libdeflate-1.19... [pkg-builder.dan.net.uk] | | `-- Extracting libdeflate-1.19: .......... done [pkg-builder.dan.net.uk] | | `-- Installing zstd-1.5.5_1... [pkg-builder.dan.net.uk] | | `-- Installing liblz4-1.9.4_1,1... [pkg-builder.dan.net.uk] | | `-- Extracting liblz4-1.9.4_1,1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting zstd-1.5.5_1: .......... done [pkg-builder.dan.net.uk] | `-- Extracting tiff-4.4.0_3: .......... done [pkg-builder.dan.net.uk] `-- Extracting gdk-pixbuf2-2.42.10_2: .......... done [pkg-builder.dan.net.uk] `-- Installing gtk2-2.24.33_1... [pkg-builder.dan.net.uk] | `-- Installing cups-2.4.7_2... [pkg-builder.dan.net.uk] | | `-- Installing avahi-app-0.8_2... [pkg-builder.dan.net.uk] | | `-- Installing dbus-glib-0.112_1... [pkg-builder.dan.net.uk] | | `-- Extracting dbus-glib-0.112_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing gdbm-1.23... [pkg-builder.dan.net.uk] | | `-- Extracting gdbm-1.23: .......... done [pkg-builder.dan.net.uk] | | `-- Installing gnome_subr-1.0... [pkg-builder.dan.net.uk] | | `-- Extracting gnome_subr-1.0: . done [pkg-builder.dan.net.uk] | | `-- Installing libdaemon-0.14_1... [pkg-builder.dan.net.uk] | | `-- Extracting libdaemon-0.14_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libevent-2.1.12... [pkg-builder.dan.net.uk] | | `-- Extracting libevent-2.1.12: .......... done ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. [pkg-builder.dan.net.uk] | | `-- Extracting avahi-app-0.8_2: .......... done [pkg-builder.dan.net.uk] | | `-- Installing gnutls-3.7.10_2... [pkg-builder.dan.net.uk] | | `-- Installing libidn2-2.3.7... [pkg-builder.dan.net.uk] | | | `-- Installing libunistring-1.2... [pkg-builder.dan.net.uk] | | | `-- Extracting libunistring-1.2: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting libidn2-2.3.7: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libtasn1-4.19.0_1... [pkg-builder.dan.net.uk] | | `-- Extracting libtasn1-4.19.0_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing nettle-3.9.1... [pkg-builder.dan.net.uk] | | `-- Extracting nettle-3.9.1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing p11-kit-0.25.3_1... [pkg-builder.dan.net.uk] | | `-- Extracting p11-kit-0.25.3_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing unbound-1.19.3... [pkg-builder.dan.net.uk] | | | `-- Installing libnghttp2-1.60.0... [pkg-builder.dan.net.uk] | | | `-- Extracting libnghttp2-1.60.0: ....... done ===> Creating groups. Using existing group 'unbound'. ===> Creating users Using existing user 'unbound'. [pkg-builder.dan.net.uk] | | `-- Extracting unbound-1.19.3: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting gnutls-3.7.10_2: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libpaper-1.1.28_1... [pkg-builder.dan.net.uk] | | `-- Extracting libpaper-1.1.28_1: .......... done ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. [pkg-builder.dan.net.uk] | `-- Extracting cups-2.4.7_2: .......... done [pkg-builder.dan.net.uk] | `-- Installing gtk-update-icon-cache-3.24.31_1... [pkg-builder.dan.net.uk] | `-- Extracting gtk-update-icon-cache-3.24.31_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing hicolor-icon-theme-0.17... [pkg-builder.dan.net.uk] | `-- Extracting hicolor-icon-theme-0.17: . done [pkg-builder.dan.net.uk] | `-- Installing libXcomposite-0.4.6_1,1... [pkg-builder.dan.net.uk] | `-- Extracting libXcomposite-0.4.6_1,1: .......... done [pkg-builder.dan.net.uk] | `-- Installing libXcursor-1.2.2... [pkg-builder.dan.net.uk] | `-- Extracting libXcursor-1.2.2: .......... done [pkg-builder.dan.net.uk] | `-- Installing libXdamage-1.1.6... [pkg-builder.dan.net.uk] | `-- Extracting libXdamage-1.1.6: ...... done [pkg-builder.dan.net.uk] | `-- Installing libXinerama-1.1.4_3,1... [pkg-builder.dan.net.uk] | `-- Extracting libXinerama-1.1.4_3,1: .......... done [pkg-builder.dan.net.uk] | `-- Installing libXrandr-1.5.2_1... [pkg-builder.dan.net.uk] | `-- Extracting libXrandr-1.5.2_1: .......... done [pkg-builder.dan.net.uk] | `-- Installing pango-1.50.14... [pkg-builder.dan.net.uk] | | `-- Installing encodings-1.1.0,1... [pkg-builder.dan.net.uk] | | `-- Extracting encodings-1.1.0,1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing fribidi-1.0.13_1... [pkg-builder.dan.net.uk] | | `-- Extracting fribidi-1.0.13_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing harfbuzz-8.3.0... [pkg-builder.dan.net.uk] | | `-- Installing graphite2-1.3.14... [pkg-builder.dan.net.uk] | | `-- Extracting graphite2-1.3.14: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting harfbuzz-8.3.0: .......... done [pkg-builder.dan.net.uk] | | `-- Installing libthai-0.1.29_1... [pkg-builder.dan.net.uk] | | `-- Installing libdatrie-0.2.13_2... [pkg-builder.dan.net.uk] | | `-- Extracting libdatrie-0.2.13_2: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting libthai-0.1.29_1: .......... done [pkg-builder.dan.net.uk] | | `-- Installing xorg-fonts-truetype-7.7_1... [pkg-builder.dan.net.uk] | | `-- Installing dejavu-2.37_3... [pkg-builder.dan.net.uk] | | | `-- Installing mkfontscale-1.2.3... [pkg-builder.dan.net.uk] | | | `-- Installing libfontenc-1.1.8... [pkg-builder.dan.net.uk] | | | `-- Extracting libfontenc-1.1.8: ...... done [pkg-builder.dan.net.uk] | | | `-- Extracting mkfontscale-1.2.3: .... done [pkg-builder.dan.net.uk] | | `-- Extracting dejavu-2.37_3: .......... done [pkg-builder.dan.net.uk] | | `-- Installing font-bh-ttf-1.0.3_5... [pkg-builder.dan.net.uk] | | `-- Extracting font-bh-ttf-1.0.3_5: .......... done [pkg-builder.dan.net.uk] | | `-- Installing font-misc-ethiopic-1.0.4... [pkg-builder.dan.net.uk] | | `-- Extracting font-misc-ethiopic-1.0.4: ... done [pkg-builder.dan.net.uk] | | `-- Installing font-misc-meltho-1.0.3_5... [pkg-builder.dan.net.uk] | | `-- Extracting font-misc-meltho-1.0.3_5: .......... done [pkg-builder.dan.net.uk] | `-- Extracting pango-1.50.14: .......... done [pkg-builder.dan.net.uk] `-- Extracting gtk2-2.24.33_1: .......... done [pkg-builder.dan.net.uk] `-- Installing gtkglarea-2.0.1_12... [pkg-builder.dan.net.uk] | `-- Installing libGLU-9.0.2_2... [pkg-builder.dan.net.uk] | `-- Extracting libGLU-9.0.2_2: ..... done [pkg-builder.dan.net.uk] `-- Extracting gtkglarea-2.0.1_12: ........ done [pkg-builder.dan.net.uk] `-- Installing gtksourceview2-2.10.5_9... [pkg-builder.dan.net.uk] `-- Extracting gtksourceview2-2.10.5_9: .......... done [pkg-builder.dan.net.uk] `-- Installing gtkspell-2.0.16_7... [pkg-builder.dan.net.uk] | `-- Installing enchant-1.6.0_10... [pkg-builder.dan.net.uk] | | `-- Installing hunspell-1.7.2_1... [pkg-builder.dan.net.uk] | | `-- Installing perl5-5.36.3_1... [pkg-builder.dan.net.uk] | | `-- Extracting perl5-5.36.3_1: .......... done [pkg-builder.dan.net.uk] | | `-- Extracting hunspell-1.7.2_1: .......... done [pkg-builder.dan.net.uk] | `-- Extracting enchant-1.6.0_10: .......... done [pkg-builder.dan.net.uk] `-- Extracting gtkspell-2.0.16_7: .......... done [pkg-builder.dan.net.uk] `-- Installing libglade2-2.6.4_13... [pkg-builder.dan.net.uk] | `-- Installing xmlcatmgr-2.2_4... [pkg-builder.dan.net.uk] | `-- Extracting xmlcatmgr-2.2_4: ........ done + Creating /usr/local/share/sgml/catalog + Registering CATALOG catalog.ports (SGML) + Creating /usr/local/share/sgml/catalog.ports + Creating /usr/local/share/xml/catalog + Registering nextCatalog catalog.ports (XML) + Creating /usr/local/share/xml/catalog.ports [pkg-builder.dan.net.uk] `-- Extracting libglade2-2.6.4_13: .......... done [pkg-builder.dan.net.uk] `-- Installing librsvg2-rust-2.56.4_5... [pkg-builder.dan.net.uk] `-- Extracting librsvg2-rust-2.56.4_5: .......... done [pkg-builder.dan.net.uk] `-- Installing ocaml-lablgl-1.05_6,1... [pkg-builder.dan.net.uk] | `-- Installing freeglut-3.2.1... [pkg-builder.dan.net.uk] | | `-- Installing libXxf86vm-1.1.4_4... [pkg-builder.dan.net.uk] | | `-- Extracting libXxf86vm-1.1.4_4: .......... done [pkg-builder.dan.net.uk] | `-- Extracting freeglut-3.2.1: .......... done [pkg-builder.dan.net.uk] | `-- Installing libXmu-1.1.4,1... [pkg-builder.dan.net.uk] | | `-- Installing libXt-1.3.0,1... [pkg-builder.dan.net.uk] | | `-- Extracting libXt-1.3.0,1: .......... done [pkg-builder.dan.net.uk] | `-- Extracting libXmu-1.1.4,1: .......... done [pkg-builder.dan.net.uk] `-- Extracting ocaml-lablgl-1.05_6,1: .......... done [pkg-builder.dan.net.uk] Extracting ocaml-lablgtk2-2.18.13_2: .......... done ==> Running trigger: fontconfig.ucl Running fc-cache to build fontconfig cache... ==> Running trigger: gdk-pixbuf-query-loaders.ucl Generating gdk-pixbuf modules cache ==> Running trigger: gio-modules.ucl Generating GIO modules cache ==> Running trigger: gtk-update-icon-cache.ucl Generating GTK icon cache for /usr/local/share/icons/hicolor ==> Running trigger: glib-schemas.ucl Compiling glib schemas No schema files found: doing nothing. ==> Running trigger: shared-mime-info.ucl Building the Shared MIME-Info database cache ===== Message from python39-3.9.18_1: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 ===== Message from dejavu-2.37_3: -- Make sure that the freetype module is loaded. If it is not, add the following line to the "Modules" section of your X Windows configuration file: Load "freetype" Add the following line to the "Files" section of X Windows configuration file: FontPath "/usr/local/share/fonts/dejavu/" Note: your X Windows configuration file is typically /etc/X11/XF86Config if you are using XFree86, and /etc/X11/xorg.conf if you are using X.Org. ===== Message from gtkglarea-2.0.1_12: -- ===> NOTICE: The gtkglarea 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://docs.freebsd.org/en/articles/contributing/#ports-contributing ===== Message from xmlcatmgr-2.2_4: -- The following catalogs are installed: 1) /usr/local/share/sgml/catalog The top level catalog for SGML stuff. It is not changed by any ports/packages except textproc/xmlcatmgr. 2) /usr/local/share/sgml/catalog.ports This catalog is for handling SGML stuff installed under /usr/local/share/sgml. It is changed by ports/packages. 3) /usr/local/share/xml/catalog The top level catalog for XML stuff. It is not changed by any ports/packages except textproc/xmlcatmgr. 4) /usr/local/share/xml/catalog.ports This catalog is for handling XML stuff installed under /usr/local/share/xml. It is changed by ports/packages. ===== Message from freeglut-3.2.1: -- Joystick support is untested and it is unknown if it works. Do not hesitate to contact x11@FreeBSD.org if this causes issues. ===== Message from ocaml-lablgl-1.05_6,1: -- ===> NOTICE: The ocaml-lablgl 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://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> alt-ergo-0.95.2_5 depends on package: ocaml-lablgtk2>=0 - found ===> Returning to build of alt-ergo-0.95.2_5 ===> alt-ergo-0.95.2_5 depends on file: /usr/local/bin/ocamlc - found ===> alt-ergo-0.95.2_5 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [pkg-builder.dan.net.uk] Installing gmake-4.4.1... [pkg-builder.dan.net.uk] Extracting gmake-4.4.1: .......... done ===> alt-ergo-0.95.2_5 depends on package: gmake>=4.4.1 - found ===> Returning to build of alt-ergo-0.95.2_5 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for alt-ergo-0.95.2_5 configure: loading site script /usr/ports/Templates/config.site checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.14.1 ocaml library path is /usr/local/lib/ocaml checking for ocamlfind... yes ocamlfind found ocamlgraph in -I /usr/local/lib/ocaml/ocamlgraph ocamlfind found zarith in -I /usr/local/lib/ocaml/site-lib/zarith checking for ocp-ocamlopt... no checking for ocamlopt... ocamlopt checking ocamlopt version... ok checking for ocp-ocamlc.opt... no checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version... ok checking for ocp-ocamlopt.opt... no checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version... ok checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc ocamlfind found lablgtk2.sourceview2 in -I /usr/local/lib/ocaml/site-lib/lablgtk2 checking for ocamlweb... true checking platform... checking for ocamlwizard... true configure: creating ./config.status config.status: creating Makefile config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for alt-ergo-0.95.2_5 ocamlyacc -v src/parsing/why_parser.mly ocamllex.opt src/parsing/why_lexer.mll > /dev/null ocamlyacc -v src/parsing/smt_parser.mly ocamllex.opt src/parsing/smt_lex.mll > /dev/null ocamlyacc -v src/parsing/smtlib2_parse.mly ocamllex.opt src/parsing/smtlib2_lex.mll > /dev/null ocamldep -slash -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/*.ml* src/structures/*.ml* src/theories/*.ml* src/instances/*.ml* src/sat/*.ml* src/preprocess/*.ml* src/parsing/*.ml* src/gui/*.ml* src/main/*.ml* > .depend ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/version.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/numbers.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/timers.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/options.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/loc.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/hashcons.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/util/hstring.ml File "src/util/hstring.ml", line 50, characters 24-45: 50 | with Invalid_argument "index out of bounds" -> false ^^^^^^^^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/ty.ml File "src/structures/ty.ml", line 178, characters 33-51: 178 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 201, characters 17-35: 201 | | t1 , t2 -> Pervasives.compare t1 t2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 244, characters 52-70: 244 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 297, characters 30-48: 297 | let compare_subst = M.compare Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 332, characters 45-63: 332 | Set.Make(struct type t = int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/symbols.ml File "src/structures/symbols.ml", line 74, characters 10-28: 74 | | _ -> Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/subst.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/subst.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/term.ml File "src/structures/term.ml", line 108, characters 10-28: 108 | let c = Pervasives.compare t2.tag t1.tag in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/literal.ml File "src/structures/literal.ml", line 93, characters 22-40: 93 | let compare a1 a2 = Pervasives.compare a1.tag a2.tag ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/formula.ml File "src/structures/formula.ml", line 86, characters 33-51: 86 | and compare_t (t1,_) (t2,_) = Pervasives.compare t1.tag t2.tag ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/formula.ml", line 253, characters 10-28: 253 | let c = Pervasives.compare (size f1) (size f2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/explanation.ml File "src/structures/explanation.ml", line 30, characters 28-46: 30 | | Fresh i1, Fresh i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/exception.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/why_ptree.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/why_ptree.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smtlib2_ast.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/structures/smtlib2_ast.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/errors.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/errors.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/why_parser.ml ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/why_lexer.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smt_ast.mli ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_parser.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smt_parser.ml ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smt_lex.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_parse.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smtlib2_parse.ml ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/parsing/smtlib2_lex.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/existantial.ml ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/smt_to_why.ml ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/smtlib2_to_why.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/triggers.ml File "src/preprocess/triggers.ml", line 26, characters 54-72: 26 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/preprocess/triggers.ml", line 43, characters 17-35: 43 | | x , y -> Pervasives.compare x y ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/preprocess/triggers.ml", line 68, characters 11-29: 68 | | _ -> Pervasives.compare c1 c2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/why_typing.ml File "src/preprocess/why_typing.ml", line 26, characters 48-66: 26 | Map.Make(struct type t = string let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/cnf.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/boxed.mli ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sig.mli ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/instances/matching.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/polynome.ml File "src/theories/polynome.ml", line 97, characters 24-38: 97 | | Invalid_argument("List.iter2") -> List.length l1 - List.length l2 ^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "_none_", line 1: Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/ac.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/intervals.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/fm.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/fm.ml File "src/theories/fm.ml", line 475, characters 3-18: 475 | I.new_borne_sup expl b is_le uints ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 477, characters 3-18: 477 | I.new_borne_inf expl b is_le uints in ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 495, characters 12-27: 495 | I.new_borne_inf expl c is_le (I.undefined ty) ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 497, characters 5-20: 497 | I.new_borne_sup expl c is_le (I.undefined ty) in ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 592, characters 19-37: 592 | with Failure "big_int_of_ratio" -> a, b ^^^^^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/arith.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/records.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/bitv.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/arrays.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/sum.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/combine.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/use.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/uf.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/incr_match.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/incr_match.ml ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/boxed.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/instantiation.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/custom_theory.ml File "src/theories/custom_theory.ml", line 154, characters 12-24: 154 | CC.Rel.query t.CC.relation (rna, Some na, ex_rna) ^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function. ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/theories/cc.ml File "src/theories/cc.ml", line 311, characters 16-28: 311 | X.Rel.assume env.relation sa are_eq are_neq class_of classes in ^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function. File "src/theories/cc.ml", line 647, characters 10-23: 647 | Env.Rel.query env.Env.relation (rna, Some na, ex_rna) ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function. ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/sat/sat.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/pruning.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/preprocess/pruning.ml File "src/preprocess/pruning.ml", line 45, characters 18-36: 45 | let compare = Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/frontend.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/main/frontend.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/main/main_text.mli ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo src/main/main_text.ml ocamlopt.opt -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/subst.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/incr_match.cmx src/theories/boxed.cmx src/theories/instantiation.cmx src/theories/custom_theory.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/cc.cmx src/sat/sat.cmx src/preprocess/pruning.cmx src/main/frontend.cmx src/main/main_text.cmx ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/version.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/numbers.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/timers.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/options.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/loc.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hashcons.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/util/hstring.ml File "src/util/hstring.ml", line 50, characters 24-45: 50 | with Invalid_argument "index out of bounds" -> false ^^^^^^^^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/exception.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/symbols.ml File "src/structures/symbols.ml", line 74, characters 10-28: 74 | | _ -> Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/subst.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/ty.ml File "src/structures/ty.ml", line 178, characters 33-51: 178 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 201, characters 17-35: 201 | | t1 , t2 -> Pervasives.compare t1 t2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 244, characters 52-70: 244 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 297, characters 30-48: 297 | let compare_subst = M.compare Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/ty.ml", line 332, characters 45-63: 332 | Set.Make(struct type t = int let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/why_ptree.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/smtlib2_ast.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/term.ml File "src/structures/term.ml", line 108, characters 10-28: 108 | let c = Pervasives.compare t2.tag t1.tag in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/literal.ml File "src/structures/literal.ml", line 93, characters 22-40: 93 | let compare a1 a2 = Pervasives.compare a1.tag a2.tag ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/formula.ml File "src/structures/formula.ml", line 86, characters 33-51: 86 | and compare_t (t1,_) (t2,_) = Pervasives.compare t1.tag t2.tag ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/structures/formula.ml", line 253, characters 10-28: 253 | let c = Pervasives.compare (size f1) (size f2) in ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/structures/explanation.ml File "src/structures/explanation.ml", line 30, characters 28-46: 30 | | Fresh i1, Fresh i2 -> Pervasives.compare i1 i2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/errors.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_parser.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/why_lexer.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_parser.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smt_lex.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_parse.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/parsing/smtlib2_lex.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/existantial.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/smt_to_why.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/smtlib2_to_why.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/triggers.ml File "src/preprocess/triggers.ml", line 26, characters 54-72: 26 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/preprocess/triggers.ml", line 43, characters 17-35: 43 | | x , y -> Pervasives.compare x y ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims File "src/preprocess/triggers.ml", line 68, characters 11-29: 68 | | _ -> Pervasives.compare c1 c2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/why_typing.ml File "src/preprocess/why_typing.ml", line 26, characters 48-66: 26 | Map.Make(struct type t = string let compare = Pervasives.compare end) ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/preprocess/cnf.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/instances/matching.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/polynome.ml File "src/theories/polynome.ml", line 97, characters 24-38: 97 | | Invalid_argument("List.iter2") -> List.length l1 - List.length l2 ^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) File "_none_", line 1: Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/ac.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/intervals.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/fm.ml File "src/theories/fm.ml", line 475, characters 3-18: 475 | I.new_borne_sup expl b is_le uints ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 477, characters 3-18: 477 | I.new_borne_inf expl b is_le uints in ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 495, characters 12-27: 495 | I.new_borne_inf expl c is_le (I.undefined ty) ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 497, characters 5-20: 497 | I.new_borne_sup expl c is_le (I.undefined ty) in ^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. File "src/theories/fm.ml", line 592, characters 19-37: 592 | with Failure "big_int_of_ratio" -> a, b ^^^^^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arith.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/records.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/bitv.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/arrays.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/sum.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/combine.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/incr_match.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/boxed.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/instantiation.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/custom_theory.ml File "src/theories/custom_theory.ml", line 154, characters 12-24: 154 | CC.Rel.query t.CC.relation (rna, Some na, ex_rna) ^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function. ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/uf.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/use.ml ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.ml File "src/theories/cc.ml", line 311, characters 16-28: 311 | X.Rel.assume env.relation sa are_eq are_neq class_of classes in ^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function. File "src/theories/cc.ml", line 647, characters 10-23: 647 | Env.Rel.query env.Env.relation (rna, Some na, ex_rna) ^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels are_eq, are_neq, class_of, classes were omitted in the application of this function. ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.ml ocamlc.opt -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -pack -o altErgo.cmo src/util/version.cmo src/util/numbers.cmo src/util/timers.cmo src/util/options.cmo src/util/loc.cmo src/util/hashcons.cmo src/util/hstring.cmo src/structures/exception.cmo src/structures/symbols.cmo src/structures/subst.cmo src/structures/ty.cmo src/structures/why_ptree.cmo src/structures/smtlib2_ast.cmo src/structures/term.cmo src/structures/literal.cmo src/structures/formula.cmo src/structures/explanation.cmo src/parsing/errors.cmo src/parsing/why_parser.cmo src/parsing/why_lexer.cmo src/parsing/smt_parser.cmo src/parsing/smt_lex.cmo src/parsing/smtlib2_parse.cmo src/parsing/smtlib2_lex.cmo src/preprocess/existantial.cmo src/preprocess/smt_to_why.cmo src/preprocess/smtlib2_to_why.cmo src/preprocess/triggers.cmo src/preprocess/why_typing.cmo src/preprocess/cnf.cmo src/instances/matching.cmo src/theories/polynome.cmo src/theories/ac.cmo src/theories/intervals.cmo src/theories/fm.cmo src/theories/arith.cmo src/theories/records.cmo src/theories/bitv.cmo src/theories/arrays.cmo src/theories/sum.cmo src/theories/combine.cmo src/theories/incr_match.cmo src/theories/boxed.cmo src/theories/instantiation.cmo src/theories/custom_theory.cmo src/theories/uf.cmo src/theories/use.cmo src/theories/cc.cmo src/sat/sat.cmo ocamlopt.opt -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -pack -o altErgo.cmx src/util/version.cmx src/util/numbers.cmx src/util/timers.cmx src/util/options.cmx src/util/loc.cmx src/util/hashcons.cmx src/util/hstring.cmx src/structures/exception.cmx src/structures/symbols.cmx src/structures/subst.cmx src/structures/ty.cmx src/structures/why_ptree.cmx src/structures/smtlib2_ast.cmx src/structures/term.cmx src/structures/literal.cmx src/structures/formula.cmx src/structures/explanation.cmx src/parsing/errors.cmx src/parsing/why_parser.cmx src/parsing/why_lexer.cmx src/parsing/smt_parser.cmx src/parsing/smt_lex.cmx src/parsing/smtlib2_parse.cmx src/parsing/smtlib2_lex.cmx src/preprocess/existantial.cmx src/preprocess/smt_to_why.cmx src/preprocess/smtlib2_to_why.cmx src/preprocess/triggers.cmx src/preprocess/why_typing.cmx src/preprocess/cnf.cmx src/instances/matching.cmx src/theories/polynome.cmx src/theories/ac.cmx src/theories/intervals.cmx src/theories/fm.cmx src/theories/arith.cmx src/theories/records.cmx src/theories/bitv.cmx src/theories/arrays.cmx src/theories/sum.cmx src/theories/combine.cmx src/theories/incr_match.cmx src/theories/boxed.cmx src/theories/instantiation.cmx src/theories/custom_theory.cmx src/theories/uf.cmx src/theories/use.cmx src/theories/cc.cmx src/sat/sat.cmx =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> alt-ergo-0.95.2_5 depends on package: ocaml-ocamlgraph>1.8 - found ===> alt-ergo-0.95.2_5 depends on package: ocaml-lablgtk2>=0 - found ===> alt-ergo-0.95.2_5 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for alt-ergo-0.95.2_5 ===> Generating temporary packing list mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/man/man1 install -m 444 doc/*.1 /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/man/man1 mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/bin install -m 555 alt-ergo.opt /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/bin/alt-ergo mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.cmx /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.o /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.cmo /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.cmi /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 META /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2024-04-06T02:03:17+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=1189805d57' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for alt-ergo-0.95.2_5 ===> Building alt-ergo-0.95.2_5 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for alt-ergo-0.95.2_5 build of math/alt-ergo | alt-ergo-0.95.2_5 ended at Sat Apr 6 03:04:40 BST 2024 build time: 00:01:24