-------------------------------------------------------------------------------
-- Phase: setup
-------------------------------------------------------------------------------

Installing /packages/All/libXau-1.0.9.txz
Installing /packages/All/libxml2-2.9.10.txz
Installing /packages/All/libpthread-stubs-0.4.txz
Installing /packages/All/xorgproto-2020.1.txz
Installing /packages/All/libXdmcp-1.1.3.txz
Installing /packages/All/libxcb-1.13.1.txz
Installing /packages/All/libX11-1.6.9_1,1.txz
Installing /packages/All/ocaml-4.05.0_1.txz
Installing /packages/All/indexinfo-0.3.1.txz
Installing /packages/All/gmp-6.2.0.txz
Installing /packages/All/freetype2-2.10.1.txz
=====
Message from freetype2-2.10.1:

--
The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as
the default, emulating a modern version of ClearType. This change inevitably
leads to different rendering results, and you might change port's options to
adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment
variable).

The environment variable "FREETYPE_PROPERTIES" can be used to control the
driver properties. Example:

FREETYPE_PROPERTIES=truetype:interpreter-version=35 \
	cff:no-stem-darkening=1 \
	autofitter:warping=1

This allows to select, say, the subpixel hinting mode at runtime for a given
application.

If LONG_PCF_NAMES port's option was enabled, the PCF family names may include
the foundry and information whether they contain wide characters. For example,
"Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at
run time with using pcf:no-long-family-names property, if needed. Example:

FREETYPE_PROPERTIES=pcf:no-long-family-names=1

How to recreate fontconfig cache with using such environment variable,
if needed:
# env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv

The controllable properties are listed in the section "Controlling FreeType
Modules" in the reference's table of contents
(/usr/local/share/doc/freetype2/reference/site/index.html, if documentation was installed).
Installing /packages/All/expat-2.2.8.txz
Installing /packages/All/gettext-runtime-0.20.2.txz
Installing /packages/All/fontconfig-2.13.92_2,1.txz
Running fc-cache to build fontconfig cache...
Font directories:
	/usr/local/share/fonts
	/usr/local/lib/X11/fonts
/usr/local/share/fonts: skipping, no such directory
/usr/local/lib/X11/fonts: skipping, no such directory
/var/db/fontconfig: cleaning cache directory
fc-cache: succeeded
Installing /packages/All/tcl86-8.6.10.txz
Installing /packages/All/libXext-1.3.4,1.txz
Installing /packages/All/libXrender-0.9.10_2.txz
Installing /packages/All/libXft-2.3.3.txz
Installing /packages/All/libXScrnSaver-1.2.3_2.txz
Installing /packages/All/tk86-8.6.10_1.txz
Installing /packages/All/ocaml-labltk-8.06.3.txz
=====
Message from ocaml-labltk-8.06.3:

--
===>   NOTICE:

The ocaml-labltk port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
Installing /packages/All/ocaml-findlib-1.7.1.txz
Installing /packages/All/ocaml-zarith-1.4.1.txz
=====
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
Installing /packages/All/libffi-3.2.1_3.txz
Installing /packages/All/wayland-1.16.0.txz
Installing /packages/All/pciids-20200421.txz
Installing /packages/All/libpciaccess-0.16.txz
Installing /packages/All/libdrm-2.4.101.txz
Installing /packages/All/libelf-0.8.13_3.txz
Installing /packages/All/libXfixes-5.0.3_2.txz
Installing /packages/All/libXdamage-1.1.5.txz
Installing /packages/All/libXrandr-1.5.2.txz
Installing /packages/All/libxshmfence-1.3.txz
Installing /packages/All/libXxf86vm-1.1.4_3.txz
Installing /packages/All/mesa-libs-19.0.8.txz
=====
Message from mesa-libs-19.0.8:

--
===>   NOTICE:

This port is deprecated; you may wish to reconsider installing it:

Uses Python 2.7 which is EOLed upstream.

It is scheduled to be removed on or after 2020-12-31.
Installing /packages/All/libGLU-9.0.1.txz
Installing /packages/All/pcre-8.43_2.txz
Installing /packages/All/libiconv-1.14_11.txz
Installing /packages/All/ncurses-6.1.20190525.txz
Installing /packages/All/readline-8.0.4.txz
Installing /packages/All/openssl-1.1.1g,1.txz
Installing /packages/All/python37-3.7.7.txz
=====
Message from python37-3.7.7:

--
Note that some standard Python modules are provided as separate ports
as they require additional dependencies. They are available as:

py37-gdbm       databases/py-gdbm@py37
py37-sqlite3    databases/py-sqlite3@py37
py37-tkinter    x11-toolkits/py-tkinter@py37
Installing /packages/All/glib-2.56.3_7,1.txz
No schema files found: doing nothing.
Installing /packages/All/atk-2.28.1.txz
Installing /packages/All/png-1.6.37.txz
Installing /packages/All/pixman-0.40.0.txz
Installing /packages/All/cairo-1.16.0,2.txz
Installing /packages/All/jbigkit-2.1_1.txz
Installing /packages/All/jpeg-turbo-2.0.4.txz
Installing /packages/All/tiff-4.1.0.txz
Installing /packages/All/shared-mime-info-1.10_2.txz
Installing /packages/All/gdk-pixbuf2-2.40.0.txz
Installing /packages/All/libdaemon-0.14_1.txz
Installing /packages/All/libICE-1.0.10,1.txz
Installing /packages/All/libSM-1.2.3,1.txz
Installing /packages/All/dbus-1.12.16.txz
===> Creating groups.
Creating group 'messagebus' with gid '556'.
===> Creating users
Creating user 'messagebus' with uid '556'.
Installing /packages/All/dbus-glib-0.110.txz
Installing /packages/All/gdbm-1.18.1_1.txz
Installing /packages/All/gobject-introspection-1.56.1,1.txz
Installing /packages/All/gnome_subr-1.0.txz
Installing /packages/All/avahi-app-0.7_3.txz
===> Creating groups.
Creating group 'avahi' with gid '558'.
===> Creating users
Creating user 'avahi' with uid '558'.
Installing /packages/All/nettle-3.5.1_1.txz
Installing /packages/All/libtasn1-4.16.0.txz
Installing /packages/All/libunistring-0.9.10_1.txz
Installing /packages/All/libidn2-2.3.0_1.txz
Installing /packages/All/ca_root_nss-3.52.txz
=====
Message from ca_root_nss-3.52:

--
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.


This package installs symlinks to support root certificates discovery by
default for software that uses OpenSSL.

This enables SSL Certificate Verification by client software without manual
intervention.

If you prefer to do this manually, replace the following symlinks with
either an empty file or your site-local certificate bundle.

  * /etc/ssl/cert.pem
  * /usr/local/etc/ssl/cert.pem
  * /usr/local/openssl/cert.pem
Installing /packages/All/p11-kit-0.23.20.txz
Installing /packages/All/tpm-emulator-0.7.4_2.txz
===> Creating groups.
Creating group '_tss' with gid '601'.
===> Creating users
Creating user '_tss' with uid '601'.
Installing /packages/All/trousers-0.3.14_2.txz
===> Creating groups.
Using existing group '_tss'.
===> Creating users
Using existing user '_tss'.
=====
Message from trousers-0.3.14_2:

--
To run tcsd automatically, add the following line to /etc/rc.conf:

tcsd_enable="YES"

You might want to edit /usr/local/etc/tcsd.conf to reflect your setup.

If you want to use tcsd with software TPM emulator, use the following
configuration in /etc/rc.conf:

tcsd_enable="YES"
tcsd_mode="emulator"
tpmd_enable="YES"

To use TPM, add your_account to '_tss' group like following:

# pw groupmod _tss -m your_account
Installing /packages/All/gnutls-3.6.13.txz
Installing /packages/All/libpaper-1.1.24.4.txz
Installing /packages/All/cups-2.2.13.txz
===> Creating groups.
Creating group 'cups' with gid '193'.
===> Creating users
Creating user 'cups' with uid '193'.
Installing /packages/All/graphite2-1.3.14.txz
Installing /packages/All/harfbuzz-2.6.5.txz
Installing /packages/All/fribidi-0.19.7.txz
Installing /packages/All/libfontenc-1.1.4.txz
Installing /packages/All/mkfontscale-1.2.1.txz
Installing /packages/All/font-bh-ttf-1.0.3_4.txz
Installing /packages/All/font-misc-meltho-1.0.3_4.txz
Installing /packages/All/font-misc-ethiopic-1.0.3_4.txz
Installing /packages/All/encodings-1.0.5,1.txz
Installing /packages/All/dejavu-2.37_1.txz
=====
Message from dejavu-2.37_1:

--
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.
Installing /packages/All/xorg-fonts-truetype-7.7_1.txz
Installing /packages/All/pango-1.42.4_3.txz
Installing /packages/All/hicolor-icon-theme-0.17.txz
Installing /packages/All/libXinerama-1.1.4_2,1.txz
Installing /packages/All/libXi-1.7.10,1.txz
Installing /packages/All/libXcursor-1.2.0.txz
Installing /packages/All/libXcomposite-0.4.5,1.txz
Installing /packages/All/gtk-update-icon-cache-2.24.32.txz
Installing /packages/All/gtk2-2.24.32.txz
Installing /packages/All/gtkglarea-2.0.1_10.txz
=====
Message from gtkglarea-2.0.1_10:

--
===>   NOTICE:

The gtkglarea port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
Installing /packages/All/perl5-5.30.2.txz
=====
Message from perl5-5.30.2:

--
The /usr/bin/perl symlink has been removed starting with Perl 5.20.
For shebangs, you should either use:

#!/usr/local/bin/perl

or

#!/usr/bin/env perl

The first one will only work if you have a /usr/local/bin/perl,
the second will work as long as perl is in PATH.
Installing /packages/All/hunspell-1.7.0_2.txz
Installing /packages/All/enchant-1.6.0_9.txz
Installing /packages/All/gtkspell-2.0.16_6.txz
Installing /packages/All/nspr-4.25.txz
Installing /packages/All/icu-67.1,1.txz
Installing /packages/All/spidermonkey60-60.9.0_3.txz
=====
Message from spidermonkey60-60.9.0_3:

--
===>   NOTICE:

This port is deprecated; you may wish to reconsider installing it:

Uses Python 2.7 which is EOLed upstream.

It is scheduled to be removed on or after 2020-12-31.
Installing /packages/All/polkit-0.116.txz
===> Creating groups.
Creating group 'polkitd' with gid '565'.
===> Creating users
Creating user 'polkitd' with uid '565'.
Installing /packages/All/dconf-0.28.0.txz
Installing /packages/All/libIDL-0.8.14_4.txz
Installing /packages/All/ORBit2-2.14.19_2.txz
Installing /packages/All/gconf2-3.2.6_5.txz
Installing /packages/All/gamin-0.1.10_10.txz
=====
Message from gamin-0.1.10_10:

--
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).

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
Installing /packages/All/gnome-mime-data-2.18.0_5.txz
Installing /packages/All/gnome-vfs-2.24.4_11.txz
Installing /packages/All/gtksourceview2-2.10.5_5.txz
Installing /packages/All/libart_lgpl-2.3.21_3,1.txz
Installing /packages/All/popt-1.16_2.txz
Installing /packages/All/libbonobo-2.32.1.txz
Installing /packages/All/xmlcatmgr-2.2_2.txz
 + 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
=====
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.
Installing /packages/All/libglade2-2.6.4_10.txz
Installing /packages/All/libogg-1.3.4,4.txz
Installing /packages/All/libvorbis-1.3.6,3.txz
Installing /packages/All/libltdl-2.4.6.txz
Installing /packages/All/libcanberra-0.30_5.txz
Installing /packages/All/libgpg-error-1.37.txz
Installing /packages/All/libgcrypt-1.8.5.txz
Installing /packages/All/libxslt-1.1.34_1.txz
Installing /packages/All/bash-5.0.17.txz
Installing /packages/All/getopt-1.1.6.txz
Installing /packages/All/iso8879-1986_3.txz
Installing /packages/All/docbook-sgml-4.5_1.txz
Installing /packages/All/xmlcharent-0.3_2.txz
Installing /packages/All/docbook-xml-5.0_3.txz
Installing /packages/All/sdocbook-xml-1.1_2,2.txz
Installing /packages/All/docbook-1.5.txz
Installing /packages/All/docbook-xsl-1.79.1_1,1.txz
Installing /packages/All/rarian-0.8.1_4.txz
Installing /packages/All/libXt-1.2.0,1.txz
Installing /packages/All/libXpm-3.5.13.txz
Installing /packages/All/libgnome-2.32.1.txz
Installing /packages/All/libgnomecanvas-2.30.3_4.txz
Installing /packages/All/libbonoboui-2.24.5_1.txz
Installing /packages/All/libgnome-keyring-3.12.0_2.txz
Installing /packages/All/xcb-util-0.4.0_2,1.txz
Installing /packages/All/startup-notification-0.12_4.txz
Installing /packages/All/gnome-icon-theme-symbolic-3.12.0.txz
Installing /packages/All/gnome-icon-theme-3.12.0_1.txz
Installing /packages/All/sqlite3-3.31.1_1,1.txz
Installing /packages/All/libproxy-0.4.15.txz
Installing /packages/All/gsettings-desktop-schemas-3.28.1.txz
Installing /packages/All/glib-networking-2.56.1_2.txz
Installing /packages/All/libsoup-2.62.3.txz
Installing /packages/All/libsoup-gnome-2.62.3.txz
Installing /packages/All/libepoxy-1.5.4.txz
Installing /packages/All/lcms2-2.9.txz
Installing /packages/All/argyllcms-1.9.2_5.txz
Installing /packages/All/colord-1.3.5.txz
===> Creating groups.
Creating group 'colord' with gid '970'.
===> Creating users
Creating user 'colord' with uid '970'.
Installing /packages/All/xkeyboard-config-2.29.txz
Installing /packages/All/libxkbcommon-0.10.0_2.txz
=====
Message from libxkbcommon-0.10.0_2:

--
If arrow keys don't work under X11 switch to legacy rules e.g.,

For sh/bash/ksh/zsh run and (optionally) add into ~/.profile:
  export XKB_DEFAULT_RULES=xorg

For csh/tcsh run and (optionally) add into ~/.login:
  setenv XKB_DEFAULT_RULES xorg
Installing /packages/All/libXtst-1.2.3_2.txz
Installing /packages/All/at-spi2-core-2.28.0.txz
Installing /packages/All/at-spi2-atk-2.26.2.txz
Installing /packages/All/adwaita-icon-theme-3.28.0.txz
Installing /packages/All/libcroco-0.6.13.txz
Installing /packages/All/libgsf-1.14.46.txz
Installing /packages/All/librsvg2-2.40.21.txz
Installing /packages/All/wayland-protocols-1.20.txz
Installing /packages/All/gtk3-3.24.10_1.txz
Installing /packages/All/desktop-file-utils-0.24.txz
Installing /packages/All/gcr-3.28.0.txz
Installing /packages/All/libsecret-0.18.6_1.txz
Installing /packages/All/libcddb-1.3.2_4.txz
Installing /packages/All/libcdio-2.1.0.txz
Installing /packages/All/json-glib-1.4.4.txz
Installing /packages/All/liblz4-1.9.2_1,1.txz
Installing /packages/All/lzo2-2.10_1.txz
Installing /packages/All/libarchive-3.4.2,1.txz
Installing /packages/All/libinotify-20180201_2.txz
=====
Message from libinotify-20180201_2:

--
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.
Installing /packages/All/jansson-2.12.txz
Installing /packages/All/talloc-2.3.0.txz
Installing /packages/All/tevent-0.10.1.txz
Installing /packages/All/tdb-1.4.2,1.txz
Installing /packages/All/lmdb-0.9.24_1,1.txz
Installing /packages/All/py37-setuptools-44.0.0.txz
Installing /packages/All/py37-iso8601-0.1.12.txz
Installing /packages/All/krb5-1.18.1.txz
Installing /packages/All/samba410-4.10.15.txz
=====
Message from samba410-4.10.15:

--
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/
Installing /packages/All/gvfs-1.30.4_3.txz
Installing /packages/All/libgnomeui-2.24.5.txz
Installing /packages/All/freeglut-3.0.0_2.txz
=====
Message from freeglut-3.0.0_2:

--
Joystick support is untested and it is unknown if it works.

Do not hesitate to contact x11@FreeBSD.org if this causes issues.
Installing /packages/All/libXmu-1.1.3,1.txz
Installing /packages/All/ocaml-lablgl-1.05_3,1.txz
=====
Message from ocaml-lablgl-1.05_3,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
Installing /packages/All/ocaml-lablgtk2-2.18.5.txz
Installing /packages/All/ocaml-ocamlgraph-1.8.7_2.txz
=====
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
Installing /packages/All/gmake-4.3.txz

SUCCEEDED 00:01:37

-------------------------------------------------------------------------------
-- 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


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: pkg-depends
-------------------------------------------------------------------------------

===>   alt-ergo-0.95.2_2 depends on file: /usr/local/sbin/pkg - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: fetch-depends
-------------------------------------------------------------------------------


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- 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

===>   alt-ergo-0.95.2_2 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by alt-ergo-0.95.2_2 for building

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- 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

===>   alt-ergo-0.95.2_2 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by alt-ergo-0.95.2_2 for building
=> SHA256 Checksum OK for alt-ergo-0.95.2.tar.gz.

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: extract-depends
-------------------------------------------------------------------------------

===>   alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- 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

===>   alt-ergo-0.95.2_2 depends on file: /usr/local/sbin/pkg - found
===> 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.
===>   alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found

Extracted Memory Use:   1.33M
SUCCEEDED 00:00:01

-------------------------------------------------------------------------------
-- Phase: patch-depends
-------------------------------------------------------------------------------

===>   alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: patch
-------------------------------------------------------------------------------

===>  Patching for alt-ergo-0.95.2_2
===>   alt-ergo-0.95.2_2 depends on file: /usr/local/bin/ocamlc - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: build-depends
-------------------------------------------------------------------------------

===>   alt-ergo-0.95.2_2 depends on package: ocaml-zarith>1.2 - found
===>   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
===>   alt-ergo-0.95.2_2 depends on package: gmake>=4.3 - found

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: lib-depends
-------------------------------------------------------------------------------


SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: configure
-------------------------------------------------------------------------------

===>   alt-ergo-0.95.2_2 depends on package: ocaml-zarith>1.2 - found
===>   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
===>   alt-ergo-0.95.2_2 depends on package: gmake>=4.3 - found
===>  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.05.0
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

SUCCEEDED 00:00:01

-------------------------------------------------------------------------------
-- 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/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/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_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/main/main_gui.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/version.mli
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/util/hashcons.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/util/hstring.mli
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/structures/smt_ast.mli
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/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
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/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/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/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/util/version.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/util/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/numbers.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/util/timers.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/util/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/symbols.ml
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Q, and its interface was not compiled with -opaque
File "_none_", line 1:
Warning 58: no cmx file was found in path for module Z, and its interface was not compiled with -opaque
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/smt_parser.ml
File "src/util/hstring.ml", line 50, characters 24-45:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/parsing/smt_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/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/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/structures/subst.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
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/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/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/structures/smtlib2_ast.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/parsing/errors.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/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/subst.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/term.mli
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/util/options.ml
File "src/util/hstring.ml", line 50, characters 24-45:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/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/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
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
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/polynome.ml
File "src/theories/polynome.ml", line 97, characters 24-38:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/literal.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
File "_none_", line 1:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/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/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/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/structures/exception.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/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/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
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
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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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
File "src/theories/fm.ml", line 592, characters 19-37:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/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/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/parsing/smtlib2_parse.ml
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/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/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
File "src/theories/polynome.ml", line 97, characters 24-38:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
File "_none_", line 1:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/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/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/parsing/smtlib2_lex.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/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/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/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_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/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/instantiation.ml
File "src/gui/why_annoted.ml", line 1061, characters 19-42:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/theories/fm.ml
File "src/theories/fm.ml", line 592, characters 19-37:
Warning 52: Code should not depend on the actual values of
this constructor's arguments. They are only for information
and may change in future versions. (See manual section 8.5)
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/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/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/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/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/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/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/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'

SUCCEEDED 00:00:10

-------------------------------------------------------------------------------
-- 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

SUCCEEDED 00:00:00

-------------------------------------------------------------------------------
-- Phase: stage
-------------------------------------------------------------------------------

===>  Staging for alt-ergo-0.95.2_2
===>   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
===>   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)
====> Running Q/A tests (stage-qa)
Warning: 'bin/alt-ergo' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Warning: 'bin/altgr-ergo' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD}
Error: /usr/local/bin/alt-ergo is linked to /usr/local/lib/libgmp.so.10 from math/gmp but it is not declared as a dependency
Warning: you need LIB_DEPENDS+=libgmp.so:math/gmp
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libgtksourceview-2.0.so.0 from x11-toolkits/gtksourceview2 but it is not declared as a dependency
Warning: you need USE_GNOME+=gtksourceview2
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libgtk-x11-2.0.so.0 from x11-toolkits/gtk20 but it is not declared as a dependency
Warning: you need USE_GNOME+=gtk20
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libgdk-x11-2.0.so.0 from x11-toolkits/gtk20 but it is not declared as a dependency
Warning: you need USE_GNOME+=gtk20
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libpangocairo-1.0.so.0 from x11-toolkits/pango but it is not declared as a dependency
Warning: you need USE_GNOME+=pango
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libatk-1.0.so.0 from accessibility/atk but it is not declared as a dependency
Warning: you need USE_GNOME+=atk
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libcairo.so.2 from graphics/cairo but it is not declared as a dependency
Warning: you need USE_GNOME+=cairo
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libgdk_pixbuf-2.0.so.0 from graphics/gdk-pixbuf2 but it is not declared as a dependency
Warning: you need USE_GNOME+=gdkpixbuf2
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libgio-2.0.so.0 from devel/glib20 but it is not declared as a dependency
Warning: you need USE_GNOME+=glib20
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libpangoft2-1.0.so.0 from x11-toolkits/pango but it is not declared as a dependency
Warning: you need USE_GNOME+=pango
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libpango-1.0.so.0 from x11-toolkits/pango but it is not declared as a dependency
Warning: you need USE_GNOME+=pango
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libgobject-2.0.so.0 from devel/glib20 but it is not declared as a dependency
Warning: you need USE_GNOME+=glib20
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libglib-2.0.so.0 from devel/glib20 but it is not declared as a dependency
Warning: you need USE_GNOME+=glib20
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libintl.so.8 from devel/gettext-runtime but it is not declared as a dependency
Warning: you need USES+=gettext-runtime
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libfontconfig.so.1 from x11-fonts/fontconfig but it is not declared as a dependency
Warning: you need LIB_DEPENDS+=libfontconfig.so:x11-fonts/fontconfig
Error: /usr/local/bin/altgr-ergo is linked to /usr/local/lib/libfreetype.so.6 from print/freetype2 but it is not declared as a dependency
Warning: you need LIB_DEPENDS+=libfreetype.so:print/freetype2
Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks

SUCCEEDED 00:00:01

-------------------------------------------------------------------------------
-- Phase: package
-------------------------------------------------------------------------------

===>  Building package for alt-ergo-0.95.2_2
file sizes/checksums     [9]:   0%
file sizes/checksums     [9]: 100%
packing files            [9]:   0%
packing files            [9]: 100%
packing directories      [0]:   0%
packing directories      [0]: 100%

SUCCEEDED 00:00:26
TOTAL TIME 00:02:16