=> Building math/alt-ergo Started : Thursday, 19 APR 2018 at 23:46:03 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.81.g32506c-DEVELOPMENT #29: Tue Apr 10 08:49:52 PDT 2018 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.0-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.0-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for alt-ergo-0.95.2_2: GUI=on: GUI (Graphical User Interface) support ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/math/alt-ergo XDG_CONFIG_HOME=/construction/math/alt-ergo HOME=/construction/math/alt-ergo TMPDIR="/tmp" PATH=/construction/math/alt-ergo/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/alt-ergo XDG_CONFIG_HOME=/construction/math/alt-ergo HOME=/construction/math/alt-ergo TMPDIR="/tmp" PATH=/construction/math/alt-ergo/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/alt-ergo/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" GUI="" NO_GUI="@comment " OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=5.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/alt-ergo" EXAMPLESDIR="share/examples/alt-ergo" DATADIR="share/alt-ergo" WWWDIR="www/alt-ergo" ETCDIR="etc/alt-ergo" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- GUI="" NO_GUI="@comment " 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 -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.0 USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500000 OSVERSION=9999999 OSREL=5.0 _OSRELEASE=5.0-SYNTH -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> 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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License CeCILL-C accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> alt-ergo-0.95.2_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5.txz Installing pkg-1.10.5... Extracting pkg-1.10.5: .......... done ===> alt-ergo-0.95.2_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of alt-ergo-0.95.2_2 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> 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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License CeCILL-C accepted by the user ===> Fetching all distfiles required by alt-ergo-0.95.2_2 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> 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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License CeCILL-C accepted by the user ===> Fetching all distfiles required by alt-ergo-0.95.2_2 for building => SHA256 Checksum OK for alt-ergo-0.95.2.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- ===> alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.02.3.txz Installing ocaml-4.02.3... `-- Installing libX11-1.6.5,1... | `-- Installing kbproto-1.0.7... | `-- Extracting kbproto-1.0.7: .......... done | `-- Installing libXau-1.0.8_3... | | `-- Installing xproto-7.0.31... | | `-- Extracting xproto-7.0.31: .......... done | `-- Extracting libXau-1.0.8_3: .......... done | `-- Installing libXdmcp-1.1.2... | `-- Extracting libXdmcp-1.1.2: ......... done | `-- Installing libxcb-1.12_2... | | `-- Installing libpthread-stubs-0.4... | | `-- Extracting libpthread-stubs-0.4: .... done | | `-- Installing libxml2-2.9.7... | | `-- Extracting libxml2-2.9.7: .......... done | `-- Extracting libxcb-1.12_2: .......... done `-- Extracting libX11-1.6.5,1: .......... done Extracting ocaml-4.02.3: .......... done ===> alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of alt-ergo-0.95.2_2 -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> 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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License CeCILL-C accepted by the user ===> Fetching all distfiles required by alt-ergo-0.95.2_2 for building ===> Extracting for alt-ergo-0.95.2_2 => SHA256 Checksum OK for alt-ergo-0.95.2.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- ===> alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for alt-ergo-0.95.2_2 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> alt-ergo-0.95.2_2 depends on package: ocaml-zarith>1.2 - not found ===> Installing existing package /packages/All/ocaml-zarith-1.4.1.txz Installing ocaml-zarith-1.4.1... `-- Installing gmp-6.1.2... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gmp-6.1.2: .......... done `-- Installing ocaml-findlib-1.7.1... | `-- Installing ocaml-labltk-8.06.0_1... | | `-- Installing tcl85-8.5.19_1... | | `-- Extracting tcl85-8.5.19_1: .......... done | | `-- Installing tk85-8.5.19_1... | | `-- Installing libXScrnSaver-1.2.2_3... | | | `-- Installing libXext-1.3.3_1,1... | | | `-- Installing xextproto-7.3.0... | | | `-- Extracting xextproto-7.3.0: .......... done | | | `-- Extracting libXext-1.3.3_1,1: .......... done | | | `-- Installing scrnsaverproto-1.2.2... | | | `-- Extracting scrnsaverproto-1.2.2: ... done | | `-- Extracting libXScrnSaver-1.2.2_3: .......... done | | `-- Installing libXft-2.3.2_1... | | | `-- Installing fontconfig-2.12.1_3,1... | | | `-- Installing expat-2.2.5... | | | `-- Extracting expat-2.2.5: .......... done | | | `-- Installing freetype2-2.9_1... | | | `-- Extracting freetype2-2.9_1: .......... done | | | `-- Extracting fontconfig-2.12.1_3,1: .......... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory fc-cache: succeeded | | | `-- Installing libXrender-0.9.10... | | | `-- Installing renderproto-0.11.1... | | | `-- Extracting renderproto-0.11.1: .... done | | | `-- Extracting libXrender-0.9.10: .......... done | | `-- Extracting libXft-2.3.2_1: .......... done | | `-- Extracting tk85-8.5.19_1: .......... done | `-- Extracting ocaml-labltk-8.06.0_1: .......... done `-- Extracting ocaml-findlib-1.7.1: .......... done Extracting ocaml-zarith-1.4.1: .......... done Message from freetype2-2.9_1: The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/ft2-toc.html, if documentation was installed). Message from ocaml-zarith-1.4.1: ===> NOTICE: The ocaml-zarith port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> alt-ergo-0.95.2_2 depends on package: ocaml-zarith>1.2 - found ===> Returning to build of alt-ergo-0.95.2_2 ===> alt-ergo-0.95.2_2 depends on package: ocaml-ocamlgraph>1.8 - not found ===> Installing existing package /packages/All/ocaml-ocamlgraph-1.8.7_2.txz Installing ocaml-ocamlgraph-1.8.7_2... `-- Installing ocaml-lablgtk2-2.18.3_2... | `-- Installing ORBit2-2.14.19_2... | | `-- Installing gettext-runtime-0.19.8.1_1... | | `-- Extracting gettext-runtime-0.19.8.1_1: .......... done | | `-- Installing glib-2.50.3_1,1... | | `-- Installing libffi-3.2.1_2... | | `-- Extracting libffi-3.2.1_2: .......... done | | `-- Installing libiconv-1.14_11... | | `-- Extracting libiconv-1.14_11: .......... done | | `-- Installing pcre-8.40_1... | | `-- Extracting pcre-8.40_1: .......... done | | `-- Installing perl5-5.26.1... | | `-- Extracting perl5-5.26.1: .......... done | | `-- Installing python27-2.7.14_1... | | | `-- Installing libressl-2.6.4... | | | `-- Extracting libressl-2.6.4: .......... done | | | `-- Installing ncurses-6.0.0s20171223_1... | | | `-- Extracting ncurses-6.0.0s20171223_1: .......... done | | | `-- Installing readline-7.0.3_1... | | | `-- Extracting readline-7.0.3_1: .......... done | | `-- Extracting python27-2.7.14_1: .......... done | | `-- Extracting glib-2.50.3_1,1: .......... done No schema files found: doing nothing. | | `-- Installing libIDL-0.8.14_3... | | `-- Extracting libIDL-0.8.14_3: ......... done | `-- Extracting ORBit2-2.14.19_2: .......... done | `-- Installing atk-2.24.0... | `-- Extracting atk-2.24.0: .......... done | `-- Installing gconf2-3.2.6_5... | | `-- Installing dbus-glib-0.108... | | `-- Installing dbus-1.10.16_1... | | | `-- Installing libICE-1.0.9_1,1... | | | `-- Extracting libICE-1.0.9_1,1: .......... done | | | `-- Installing libSM-1.2.2_3,1... | | | `-- Extracting libSM-1.2.2_3,1: .......... done ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. | | `-- Extracting dbus-1.10.16_1: ......... done | | `-- Extracting dbus-glib-0.108: .......... done | | `-- Installing dconf-0.26.1... | | `-- Extracting dconf-0.26.1: .......... done | | `-- Installing gtk2-2.24.32... | | `-- Installing cups-2.2.6... | | | `-- Installing avahi-app-0.6.31_6... | | | `-- Installing gdbm-1.13_1... | | | `-- Extracting gdbm-1.13_1: .......... done | | | `-- Installing gnome_subr-1.0... | | | `-- Extracting gnome_subr-1.0: .... done | | | `-- Installing gobject-introspection-1.50.0_1,1... | | | `-- Extracting gobject-introspection-1.50.0_1,1: .......... done | | | `-- Installing libdaemon-0.14_1... | | | `-- Extracting libdaemon-0.14_1: .......... done ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. | | | `-- Extracting avahi-app-0.6.31_6: .......... done | | | `-- Installing gnutls-3.5.18... | | | `-- Installing ca_root_nss-3.36... | | | `-- Extracting ca_root_nss-3.36: ........ done | | | `-- Installing libidn2-2.0.4... | | | | `-- Installing libunistring-0.9.9... | | | | `-- Extracting libunistring-0.9.9: .......... done | | | `-- Extracting libidn2-2.0.4: .......... done | | | `-- Installing libtasn1-4.13... | | | `-- Extracting libtasn1-4.13: .......... done | | | `-- Installing nettle-3.4... | | | `-- Extracting nettle-3.4: .......... done | | | `-- Installing p11-kit-0.23.10... | | | `-- Extracting p11-kit-0.23.10: .......... done | | | `-- Installing trousers-0.3.14_2... | | | | `-- Installing tpm-emulator-0.7.4_2... ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | | `-- Extracting tpm-emulator-0.7.4_2: ......... done ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | `-- Extracting trousers-0.3.14_2: .......... done | | | `-- Extracting gnutls-3.5.18: .......... done | | | `-- Installing libpaper-1.1.24.4... | | | `-- Extracting libpaper-1.1.24.4: .......... done ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. | | `-- Extracting cups-2.2.6: .......... done | | `-- Installing gdk-pixbuf2-2.36.11... | | | `-- Installing jasper-1.900.1_17... | | | `-- Installing jpeg-turbo-1.5.3... | | | `-- Extracting jpeg-turbo-1.5.3: .......... done | | | `-- Extracting jasper-1.900.1_17: .......... done | | | `-- Installing libXi-1.7.9,1... | | | `-- Installing inputproto-2.3.2... | | | `-- Extracting inputproto-2.3.2: ........ done | | | `-- Installing libXfixes-5.0.3... | | | | `-- Installing fixesproto-5.0... | | | | `-- Extracting fixesproto-5.0: .... done | | | `-- Extracting libXfixes-5.0.3: .......... done | | | `-- Extracting libXi-1.7.9,1: .......... done | | | `-- Installing libXt-1.1.5,1... | | | `-- Extracting libXt-1.1.5,1: .......... done | | | `-- Installing png-1.6.34... | | | `-- Extracting png-1.6.34: .......... done | | | `-- Installing shared-mime-info-1.8... | | | `-- Extracting shared-mime-info-1.8: .......... done | | | `-- Installing tiff-4.0.9_1... | | | `-- Installing jbigkit-2.1_1... | | | `-- Extracting jbigkit-2.1_1: .......... done | | | `-- Extracting tiff-4.0.9_1: .......... done | | `-- Extracting gdk-pixbuf2-2.36.11: .......... done | | `-- Installing gtk-update-icon-cache-2.24.32... | | | `-- Installing hicolor-icon-theme-0.15... | | | `-- Extracting hicolor-icon-theme-0.15: . done | | | `-- Installing libXcomposite-0.4.4_3,1... | | | `-- Installing compositeproto-0.4.2... | | | `-- Extracting compositeproto-0.4.2: ....... done | | | `-- Extracting libXcomposite-0.4.4_3,1: .......... done | | | `-- Installing libXcursor-1.1.15... | | | `-- Extracting libXcursor-1.1.15: .......... done | | | `-- Installing libXdamage-1.1.4_3... | | | `-- Installing damageproto-1.2.1... | | | `-- Extracting damageproto-1.2.1: .... done | | | `-- Extracting libXdamage-1.1.4_3: ...... done | | | `-- Installing libXinerama-1.1.3_3,1... | | | `-- Installing xineramaproto-1.2.1... | | | `-- Extracting xineramaproto-1.2.1: .. done | | | `-- Extracting libXinerama-1.1.3_3,1: .......... done | | | `-- Installing libXrandr-1.5.1... | | | `-- Installing randrproto-1.5.0... | | | `-- Extracting randrproto-1.5.0: ....... done | | | `-- Extracting libXrandr-1.5.1: .......... done | | | `-- Installing pango-1.42.0... | | | `-- Installing cairo-1.14.8_1,2... | | | | `-- Installing dri2proto-2.8... | | | | `-- Extracting dri2proto-2.8: .... done | | | | `-- Installing glproto-1.4.17... | | | | `-- Extracting glproto-1.4.17: ...... done | | | | `-- Installing mesa-libs-17.3.1... | | | | `-- Installing libXxf86vm-1.1.4_1... | | | | | `-- Installing xf86vidmodeproto-2.3.1... | | | | | `-- Extracting xf86vidmodeproto-2.3.1: .... done | | | | `-- Extracting libXxf86vm-1.1.4_1: .......... done | | | | `-- Installing libdrm-2.4.89,1... | | | | | `-- Installing libpciaccess-0.13.5... | | | | | `-- Installing pciids-20180219... | | | | | `-- Extracting pciids-20180219: ..... done | | | | | `-- Extracting libpciaccess-0.13.5: ...... done | | | | `-- Extracting libdrm-2.4.89,1: .......... done | | | | `-- Installing libelf-0.8.13_3... | | | | `-- Extracting libelf-0.8.13_3: .......... done | | | | `-- Installing libxshmfence-1.2_2... | | | | `-- Extracting libxshmfence-1.2_2: ......... done | | | | `-- Extracting mesa-libs-17.3.1: .......... done | | | | `-- Installing pixman-0.34.0... | | | | `-- Extracting pixman-0.34.0: .......... done | | | | `-- Installing xcb-util-renderutil-0.3.9_1... | | | | `-- Installing xcb-util-0.4.0_2,1... | | | | `-- Extracting xcb-util-0.4.0_2,1: .......... done | | | | `-- Extracting xcb-util-renderutil-0.3.9_1: ...... done | | | `-- Extracting cairo-1.14.8_1,2: .......... done | | | `-- Installing encodings-1.0.4_4,1... | | | | `-- Installing font-util-1.3.1... | | | | `-- Extracting font-util-1.3.1: .......... done | | | `-- Extracting encodings-1.0.4_4,1: .......... done | | | `-- Installing fribidi-0.19.7... | | | `-- Extracting fribidi-0.19.7: .......... done | | | `-- Installing harfbuzz-1.7.6... | | | | `-- Installing graphite2-1.3.11... | | | | `-- Extracting graphite2-1.3.11: .......... done | | | `-- Extracting harfbuzz-1.7.6: .......... done | | | `-- Installing xorg-fonts-truetype-7.7_1... | | | | `-- Installing dejavu-2.37... | | | | `-- Installing mkfontdir-1.0.7... | | | | | `-- Installing mkfontscale-1.1.2... | | | | | `-- Installing libfontenc-1.1.3_1... | | | | | `-- Extracting libfontenc-1.1.3_1: ......... done | | | | | `-- Extracting mkfontscale-1.1.2: .. done | | | | `-- Extracting mkfontdir-1.0.7: .. done | | | | `-- Extracting dejavu-2.37: .......... done | | | | `-- Installing font-bh-ttf-1.0.3_3... | | | | `-- Extracting font-bh-ttf-1.0.3_3: .......... done | | | | `-- Installing font-misc-ethiopic-1.0.3_3... | | | | `-- Extracting font-misc-ethiopic-1.0.3_3: ... done | | | | `-- Installing font-misc-meltho-1.0.3_3... | | | | `-- Extracting font-misc-meltho-1.0.3_3: .......... done | | | `-- Extracting pango-1.42.0: .......... done | | `-- Extracting gtk-update-icon-cache-2.24.32: .... done | | `-- Extracting gtk2-2.24.32: .......... done | | `-- Installing polkit-0.113_5... | | `-- Installing spidermonkey170-17.0.0_8... | | | `-- Installing nspr-4.19... | | | `-- Extracting nspr-4.19: .......... done | | `-- Extracting spidermonkey170-17.0.0_8: .......... done ===> Creating groups. Creating group 'polkitd' with gid '565'. ===> Creating users Creating user 'polkitd' with uid '565'. | | `-- Extracting polkit-0.113_5: ........ done | `-- Extracting gconf2-3.2.6_5: .......... done | `-- Installing gnome-mime-data-2.18.0_5... | `-- Extracting gnome-mime-data-2.18.0_5: .......... done | `-- Installing gnome-vfs-2.24.4_8... | | `-- Installing gamin-0.1.10_9... | | `-- Extracting gamin-0.1.10_9: .......... done | | `-- Installing samba46-4.6.14... | | `-- Installing ldb-1.1.29_1... | | | `-- Installing openldap-client-2.4.46... | | | `-- Extracting openldap-client-2.4.46: .......... done | | | `-- Installing popt-1.16_2... | | | `-- Extracting popt-1.16_2: .......... done | | | `-- Installing talloc-2.1.11... | | | `-- Extracting talloc-2.1.11: .......... done | | | `-- Installing tdb-1.3.15_2,1... | | | `-- Extracting tdb-1.3.15_2,1: .......... done | | | `-- Installing tevent-0.9.36... | | | `-- Extracting tevent-0.9.36: .......... done | | `-- Extracting ldb-1.1.29_1: .......... done | | `-- Installing libarchive-3.3.2,1... | | | `-- Installing liblz4-1.8.1.2,1... | | | `-- Extracting liblz4-1.8.1.2,1: .......... done | | | `-- Installing lzo2-2.10_1... | | | `-- Extracting lzo2-2.10_1: .......... done | | `-- Extracting libarchive-3.3.2,1: .......... done | | `-- Installing libinotify-20180201... | | `-- Extracting libinotify-20180201: .......... done | | `-- Installing py27-dnspython-1.15.0... | | | `-- Installing py27-setuptools-39.0.1... | | | `-- Extracting py27-setuptools-39.0.1: .......... done | | `-- Extracting py27-dnspython-1.15.0: .......... done | | `-- Installing py27-iso8601-0.1.11... | | `-- Extracting py27-iso8601-0.1.11: .......... done | | `-- Extracting samba46-4.6.14: .......... done | `-- Extracting gnome-vfs-2.24.4_8: .......... done | `-- Installing gtkglarea-2.0.1_8... | | `-- Installing libGLU-9.0.0_3... | | `-- Extracting libGLU-9.0.0_3: ...... done | `-- Extracting gtkglarea-2.0.1_8: ........ done | `-- Installing gtksourceview2-2.10.5_5... | `-- Extracting gtksourceview2-2.10.5_5: .......... done | `-- Installing gtkspell-2.0.16_6... | | `-- Installing enchant-1.6.0_8... | | `-- Installing hunspell-1.6.2... | | `-- Extracting hunspell-1.6.2: .......... done | | `-- Extracting enchant-1.6.0_8: .......... done | `-- Extracting gtkspell-2.0.16_6: .......... done | `-- Installing libart_lgpl-2.3.21_3,1... | `-- Extracting libart_lgpl-2.3.21_3,1: .......... done | `-- Installing libbonobo-2.32.1... | `-- Extracting libbonobo-2.32.1: .......... done | `-- Installing libbonoboui-2.24.5_1... | | `-- Installing libglade2-2.6.4_9... | | `-- Installing xmlcatmgr-2.2_2... | | `-- Extracting xmlcatmgr-2.2_2: ......... 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 | | `-- Extracting libglade2-2.6.4_9: .......... done | | `-- Installing libgnome-2.32.1... | | `-- Installing libXpm-3.5.12... | | `-- Extracting libXpm-3.5.12: .......... done | | `-- Installing libcanberra-0.30_4... | | | `-- Installing libltdl-2.4.6... | | | `-- Extracting libltdl-2.4.6: .......... done | | | `-- Installing libvorbis-1.3.6,3... | | | `-- Installing libogg-1.3.3,4... | | | `-- Extracting libogg-1.3.3,4: .......... done | | | `-- Extracting libvorbis-1.3.6,3: .......... done | | `-- Extracting libcanberra-0.30_4: .......... done | | `-- Installing rarian-0.8.1_4... | | | `-- Installing bash-4.4.19... | | | `-- Extracting bash-4.4.19: .......... done | | | `-- Installing docbook-xml-5.0_3... | | | `-- Installing xmlcharent-0.3_2... | | | `-- Extracting xmlcharent-0.3_2: .......... done | | | `-- Extracting docbook-xml-5.0_3: .......... done | | | `-- Installing docbook-xsl-1.76.1,1... | | | `-- Installing docbook-1.5... | | | | `-- Installing docbook-sgml-4.5_1... | | | | `-- Installing iso8879-1986_3... | | | | `-- Extracting iso8879-1986_3: .......... done | | | | `-- Extracting docbook-sgml-4.5_1: .......... done | | | | `-- Installing sdocbook-xml-1.1_2,2... | | | | `-- Extracting sdocbook-xml-1.1_2,2: .......... done | | | `-- Extracting docbook-xsl-1.76.1,1: .......... done | | | `-- Installing getopt-1.1.6... | | | `-- Extracting getopt-1.1.6: .......... done | | | `-- Installing libxslt-1.1.32... | | | `-- Installing libgcrypt-1.8.2... | | | | `-- Installing libgpg-error-1.28... | | | | `-- Extracting libgpg-error-1.28: .......... done | | | `-- Extracting libgcrypt-1.8.2: .......... done | | | `-- Extracting libxslt-1.1.32: .......... done | | `-- Extracting rarian-0.8.1_4: .......... done | | `-- Extracting libgnome-2.32.1: .......... done | | `-- Installing libgnomecanvas-2.30.3_4... | | `-- Extracting libgnomecanvas-2.30.3_4: .......... done | `-- Extracting libbonoboui-2.24.5_1: .......... done | `-- Installing libgnomeui-2.24.5... | | `-- Installing gnome-icon-theme-3.12.0_1... | | `-- Installing gnome-icon-theme-symbolic-3.12.0... | | `-- Extracting gnome-icon-theme-symbolic-3.12.0: .......... done | | `-- Extracting gnome-icon-theme-3.12.0_1: .......... done | | `-- Installing gvfs-1.26.3_8... | | `-- Installing gcr-3.18.0... | | | `-- Installing desktop-file-utils-0.23... | | | `-- Extracting desktop-file-utils-0.23: .......... done | | | `-- Installing gtk3-3.22.29... | | | `-- Installing adwaita-icon-theme-3.22.0... | | | `-- Extracting adwaita-icon-theme-3.22.0: .......... done | | | `-- Installing at-spi2-atk-2.24.0... | | | | `-- Installing at-spi2-core-2.24.0... | | | | `-- Installing libXtst-1.2.3... | | | | | `-- Installing recordproto-1.14.2... | | | | | `-- Extracting recordproto-1.14.2: .... done | | | | `-- Extracting libXtst-1.2.3: .......... done | | | | `-- Extracting at-spi2-core-2.24.0: .......... done | | | `-- Extracting at-spi2-atk-2.24.0: .......... done | | | `-- Installing colord-1.2.12... | | | | `-- Installing argyllcms-1.9.2_2... | | | | `-- Extracting argyllcms-1.9.2_2: .......... done | | | | `-- Installing lcms2-2.9... | | | | `-- Extracting lcms2-2.9: .......... done | | | | `-- Installing sqlite3-3.22.0_1... | | | | `-- Extracting sqlite3-3.22.0_1: .......... done ===> Creating groups. Creating group 'colord' with gid '970'. ===> Creating users Creating user 'colord' with uid '970'. | | | `-- Extracting colord-1.2.12: .......... done | | | `-- Installing libepoxy-1.4.3... | | | `-- Extracting libepoxy-1.4.3: .......... done | | | `-- Installing librsvg2-2.40.17... | | | | `-- Installing libcroco-0.6.12... | | | | `-- Extracting libcroco-0.6.12: .......... done | | | | `-- Installing libgsf-1.14.41... | | | | `-- Extracting libgsf-1.14.41: .......... done | | | `-- Extracting librsvg2-2.40.17: .......... done | | | `-- Extracting gtk3-3.22.29: .......... done | | `-- Extracting gcr-3.18.0: .......... done | | `-- Installing libsecret-0.18.6... | | `-- Extracting libsecret-0.18.6: .......... done | | `-- Installing libsoup-gnome-2.54.1... | | | `-- Installing glib-networking-2.50.0... | | | `-- Installing gsettings-desktop-schemas-3.18.1... | | | | `-- Installing cantarell-fonts-0.0.25... | | | | `-- Extracting cantarell-fonts-0.0.25: ...... done | | | `-- Extracting gsettings-desktop-schemas-3.18.1: .......... done | | | `-- Installing libproxy-0.4.12... | | | `-- Extracting libproxy-0.4.12: .......... done | | | `-- Extracting glib-networking-2.50.0: .......... done | | | `-- Installing libsoup-2.54.1... | | | `-- Extracting libsoup-2.54.1: .......... done | | `-- Extracting libsoup-gnome-2.54.1: ......... done | | `-- Extracting gvfs-1.26.3_8: .......... done | | `-- Installing libgnome-keyring-3.12.0_2... | | `-- Extracting libgnome-keyring-3.12.0_2: .......... done | | `-- Installing startup-notification-0.12_4... | | `-- Extracting startup-notification-0.12_4: .......... done | `-- Extracting libgnomeui-2.24.5: .......... done | `-- Installing ocaml-lablgl-1.05_2,1... | | `-- Installing freeglut-3.0.0_1... | | `-- Extracting freeglut-3.0.0_1: .......... done | | `-- Installing libXmu-1.1.2_3,1... | | `-- Extracting libXmu-1.1.2_3,1: .......... done | `-- Extracting ocaml-lablgl-1.05_2,1: .......... done `-- Extracting ocaml-lablgtk2-2.18.3_2: .......... done Extracting ocaml-ocamlgraph-1.8.7_2: .......... done Message from perl5-5.26.1: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. Message from python27-2.7.14_1: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter =========================================================================== Message from ca_root_nss-3.36: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** Message from trousers-0.3.14_2: To run tcsd automatically, add the following line to /etc/rc.conf: tcsd_enable="YES" You might want to edit /usr/local/etc/tcsd.conf to reflect your setup. If you want to use tcsd with software TPM emulator, use the following configuration in /etc/rc.conf: tcsd_enable="YES" tcsd_mode="emulator" tpmd_enable="YES" To use TPM, add your_account to '_tss' group like following: # pw groupmod _tss -m your_account Message from dejavu-2.37: 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 gamin-0.1.10_9: =============================================================================== Gamin will only provide realtime notification of changes for at most n files, where n is the minimum value between (kern.maxfiles * 0.7) and (kern.maxfilesperproc - 200). Beyond that limit, files will be polled. If you often open several large folders with Nautilus, you might want to increase the kern.maxfiles tunable (you do not need to set kern.maxfilesperproc, since it is computed at boot time from kern.maxfiles). For a typical desktop, add the following line to /boot/loader.conf, then reboot the system: kern.maxfiles="25000" The behavior of gamin can be controlled via the various gaminrc files. See http://www.gnome.org/~veillard/gamin/config.html on how to create these files. In particular, if you find gam_server is taking up too much CPU time polling for changes, something like the following may help in one of the gaminrc files: # reduce polling frequency to once per 10 seconds # for UFS file systems in order to lower CPU load fsset ufs poll 10 =============================================================================== ===> NOTICE: The gamin port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from openldap-client-2.4.46: ************************************************************ The OpenLDAP client package has been successfully installed. Edit /usr/local/etc/openldap/ldap.conf to change the system-wide client defaults. Try `man ldap.conf' and visit the OpenLDAP FAQ-O-Matic at http://www.OpenLDAP.org/faq/index.cgi?file=3 for more information. ************************************************************ Message from libinotify-20180201: ============================================================================ Libinotify functionality on FreeBSD is missing support for - detecting a file being moved into or out of a directory within the same filesystem - certain modifications to a symbolic link (rather than the file it points to.) in addition to the known limitations on all platforms using kqueue(2) where various open and close notifications are unimplemented. This means the following regression tests will fail: Directory notifications: IN_MOVED_FROM IN_MOVED_TO Open/close notifications: IN_OPEN IN_CLOSE_NOWRITE IN_CLOSE_WRITE Symbolic Link notifications: IN_DONT_FOLLOW IN_ATTRIB IN_MOVE_SELF IN_DELETE_SELF Kernel patches to address the missing directory and symbolic link notifications are available from: https://github.com/libinotify-kqueue/libinotify-kqueue/tree/master/patches ============================================================================= You might want to consider increasing the kern.maxfiles tunable if you plan to use this library for applications that need to monitor activity of a lot of files. If the default on your system is too low, add the following line to /boot/loader.conf, then reboot the system: kern.maxfiles="25000" ============================================================================= Message from samba46-4.6.14: =============================================================================== How to start: http://wiki.samba.org/index.php/Samba4/HOWTO * Your configuration is: /usr/local/etc/smb4.conf * All the relevant databases are under: /var/db/samba4 * All the logs are under: /var/log/samba4 * Provisioning script is: /usr/local/bin/samba-tool For additional documentation check: http://wiki.samba.org/index.php/Samba4 Bug reports should go to the: https://bugzilla.samba.org/ =============================================================================== Message from xmlcatmgr-2.2_2: 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.0.0_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_2,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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from ocaml-lablgtk2-2.18.3_2: ===> NOTICE: The ocaml-lablgtk2 port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from ocaml-ocamlgraph-1.8.7_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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> alt-ergo-0.95.2_2 depends on package: ocaml-ocamlgraph>1.8 - found ===> Returning to build of alt-ergo-0.95.2_2 ===> alt-ergo-0.95.2_2 depends on executable: lablgtk2 - found ===> alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found ===> alt-ergo-0.95.2_2 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_2.txz Installing gmake-4.2.1_2... Extracting gmake-4.2.1_2: .......... done ===> alt-ergo-0.95.2_2 depends on executable: gmake - found ===> Returning to build of alt-ergo-0.95.2_2 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for alt-ergo-0.95.2_2 configure: loading site script /xports/Templates/config.site checking for ocp-ocamlc... no checking for ocamlc... ocamlc ocaml version is 4.02.3 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 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for alt-ergo-0.95.2_2 gmake[1]: Entering directory '/construction/math/alt-ergo/alt-ergo-0.95.2' ocamlyacc -v src/parsing/why_parser.mly ocamlyacc -v src/parsing/why_parser.mly ocamllex.opt src/parsing/why_lexer.mll > /dev/null ocamlyacc -v src/parsing/smt_parser.mly ocamlyacc -v src/parsing/smt_parser.mly ocamllex.opt src/parsing/smt_lex.mll > /dev/null ocamlyacc -v src/parsing/smtlib2_parse.mly 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 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 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 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 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 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/main/main_text.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/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/gui/gui_session.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/main/main_gui.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 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 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 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/options.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/util/hstring.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/structures/smtlib2_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/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/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 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 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/gui/gui_session.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/util/hstring.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.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/structures/symbols.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/errors.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 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 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 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 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/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 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/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/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/structures/term.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/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/literal.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/polynome.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/structures/term.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 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/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/structures/literal.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/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/structures/explanation.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/structures/why_ptree.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/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/sat/sat.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/preprocess/pruning.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/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/formula.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/explanation.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/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/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/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/why_parser.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/preprocess/existantial.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/preprocess/triggers.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/preprocess/why_typing.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/preprocess/cnf.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/main/frontend.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/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/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/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/triggers.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/why_typing.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/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/gui/why_annoted.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 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 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 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 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 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 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 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 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 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 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 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 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 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 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/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 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/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/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/gui/why_connected.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/gui/gui_replay.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 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 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/theories/incr_match.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/instantiation.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/custom_theory.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/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/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 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 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 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 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 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 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 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 -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 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 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 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 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 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 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 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 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 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 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 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 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/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 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 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 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 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 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 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 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 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/instantiation.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/custom_theory.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/gui/why_annoted.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/fm.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/cc.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/arith.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/gui/why_connected.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/combine.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/gui/gui_replay.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/sat/sat.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/main/frontend.ml 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 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 -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_gui.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 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 altgr-ergo.opt zarith.cmxa nums.cmxa graph.cmxa unix.cmxa zarith.cmxa threads.cmxa lablgtk.cmxa lablgtksourceview2.cmxa gtkThread.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 src/preprocess/pruning.cmx src/main/frontend.cmx src/gui/gui_session.cmx src/gui/why_annoted.cmx src/gui/why_connected.cmx src/gui/gui_replay.cmx src/main/main_gui.cmx gmake[1]: Leaving directory '/construction/math/alt-ergo/alt-ergo-0.95.2' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> alt-ergo-0.95.2_2 depends on package: ocaml-ocamlgraph>1.8 - found ===> alt-ergo-0.95.2_2 depends on executable: lablgtk2 - found ===> alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for alt-ergo-0.95.2_2 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/math/alt-ergo/alt-ergo-0.95.2' mkdir -p /construction/math/alt-ergo/stage/usr/local/man/man1 install -m 444 doc/*.1 /construction/math/alt-ergo/stage/usr/local/man/man1 mkdir -p /construction/math/alt-ergo/stage/usr/local/bin install -m 555 alt-ergo.opt /construction/math/alt-ergo/stage/usr/local/bin/alt-ergo mkdir -p /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.cmx /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.o /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo mkdir -p /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.cmo /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 altErgo.cmi /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo install -m 0644 META /construction/math/alt-ergo/stage/usr/local/lib/ocaml/alt-ergo install -m 555 altgr-ergo.opt /construction/math/alt-ergo/stage/usr/local/bin/altgr-ergo mkdir -p /construction/math/alt-ergo/stage/usr/local/share/gtksourceview-2.0/language-specs cp -f doc/gtk-lang/alt-ergo.lang /construction/math/alt-ergo/stage/usr/local/share/gtksourceview-2.0/language-specs/alt-ergo.lang gmake[1]: Leaving directory '/construction/math/alt-ergo/alt-ergo-0.95.2' ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for alt-ergo-0.95.2_2 file sizes/checksums [12]: . done packing files [12]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 19 APR 2018 at 23:48:19 UTC Duration: 00:02:16