Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 4 Mar 2021 15:02:25 GMT
From:      pkg-fallout@FreeBSD.org
To:        pkg-fallout@FreeBSD.org
Subject:   [package - main-i386-default][math/alt-ergo] Failed for alt-ergo-0.95.2_3 in package
Message-ID:  <202103041502.124F2PST044772@beefy17.nyi.freebsd.org>

next in thread | raw e-mail | index | archive | help

You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     ports@FreeBSD.org
Last committer: bapt@FreeBSD.org
Ident:          $FreeBSD: head/math/alt-ergo/Makefile 564009 2021-02-04 10:01:16Z bapt $
Log URL:        http://beefy17.nyi.freebsd.org/data/main-i386-default/p567284_s483c6da3a/logs/alt-ergo-0.95.2_3.log
Build URL:      http://beefy17.nyi.freebsd.org/build.html?mastername=main-i386-default&build=p567284_s483c6da3a
Log:

=>> Building math/alt-ergo
build started at Thu Mar  4 15:02:00 UTC 2021
port directory: /usr/ports/math/alt-ergo
package name: alt-ergo-0.95.2_3
building for: FreeBSD main-i386-default-job-12 14.0-CURRENT FreeBSD 14.0-CURRENT 1400005 i386
maintained by: ports@FreeBSD.org
Makefile ident:      $FreeBSD: head/math/alt-ergo/Makefile 564009 2021-02-04 10:01:16Z bapt $
Poudriere version: 3.2.8-8-gaf08dbda
Host OSVERSION: 1400000
Jail OSVERSION: 1400005
Job Id: 12




!!! Jail is newer than host. (Jail: 1400005, Host: 1400000) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!



---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1400005
UNAME_v=FreeBSD 14.0-CURRENT 1400005
UNAME_r=14.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-8-gaf08dbda
MASTERMNT=/usr/local/poudriere/data/.m/main-i386-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=main-i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---

---Begin OPTIONS List---
---End OPTIONS List---

--MAINTAINER--
ports@FreeBSD.org
--End MAINTAINER--

--CONFIGURE_ARGS--
--prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/alt-ergo/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/alt-ergo/work  HOME=/wrkdirs/usr/ports/math/alt-ergo/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/alt-ergo/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/alt-ergo/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/alt-ergo/work  HOME=/wrkdirs/usr/ports/math/alt-ergo/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/alt-ergo/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local  LOCALBASE=/usr/local  CC="cc" CFLAGS="-O2 -pipe  -fstack-protector-strong -fno-strict-aliasing "  CPP="cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing  "  MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install  -s -m 555"  BSD_INSTALL_LIB="install  -s -m 0644"  BSD_INSTALL_SCRIPT="install  -m 555"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=14.0 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/alt-ergo"  EXAMPLESDIR="share/examples/alt-ergo"  DATADIR="share/alt-ergo"  WWWDIR="www/alt-ergo"  ETCDIR="etc/alt-ergo"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/alt-ergo DOCSDIR=/usr/local/share/doc/alt-ergo EXAMPLESDIR=/usr/local/share/examples/alt-ergo  WWWDIR=/usr/local/www/alt-ergo ETCDIR=/usr/local/etc/alt-ergo
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: i386-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: i386-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-m" "elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: i386-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=i386
OPSYS=FreeBSD
_OSRELEASE=14.0-CURRENT
OSREL=14.0
OSVERSION=1400005
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  524288
stack size              (kbytes, -s)  65536
core file size      (512-blocks, -c)  unlimited
max memory size         (kbytes, -m)  unlimited
locked memory           (kbytes, -l)  unlimited
max user processes              (-u)  89999
open files                      (-n)  1024
virtual mem size        (kbytes, -v)  unlimited
swap limit              (kbytes, -w)  unlimited
socket buffer size       (bytes, -b)  unlimited
pseudo-terminals                (-p)  unlimited
kqueues                         (-k)  unlimited
umtx shared locks               (-o)  unlimited
--End resource limits--
=======================<phase: check-sanity   >============================
===>   NOTICE:

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

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port

===>  License CeCILL-C accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   alt-ergo-0.95.2_3 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.16.3.txz
[main-i386-default-job-12] Installing pkg-1.16.3...
[main-i386-default-job-12] Extracting pkg-1.16.3: .......... done
===>   alt-ergo-0.95.2_3 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of alt-ergo-0.95.2_3
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>   NOTICE:

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

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port

===>  License CeCILL-C accepted by the user
===> Fetching all distfiles required by alt-ergo-0.95.2_3 for building
===========================================================================
<snip>
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/smt_ast.mli
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/util/hstring.ml
File "src/util/hstring.ml", line 50, characters 24-45:
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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/smtlib2_ast.ml
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/util/hstring.ml
File "src/util/hstring.ml", line 50, characters 24-45:
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 src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/parsing/errors.mli
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/symbols.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/parsing/smt_parser.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/parsing/smt_lex.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -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 src/util -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 src/util -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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/structures/subst.mli
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/parsing/smt_parser.ml
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/parsing/smtlib2_parse.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/structures/subst.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/parsing/errors.ml
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/parsing/smtlib2_lex.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/polynome.mli
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/structures/term.ml
File "src/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 src/util -I 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 src/util -I 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
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I 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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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 src/util -I 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
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 src/util -I 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 src/util -I 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
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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -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
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/structures/why_ptree.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/uf.mli
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/theories/boxed.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/cc.mli
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/fm.ml
File "src/theories/fm.ml", line 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/use.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/theories/uf.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -I 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 src/util -I 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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  src/theories/instantiation.ml
ocamlc.opt -c -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -I 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 src/util -I 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 src/util -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 src/util -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 src/util -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 src/util -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
ocamlc.opt -annot -g -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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 src/util -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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/theories/instantiation.ml
ocamlopt.opt -c -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -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 src/util -I src/structures -I src/theories -I src/instances -I src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main  -for-pack AltErgo src/main/main_text.ml
ocamlopt.opt -annot -inline 1000 -I /usr/local/lib/ocaml/site-lib/zarith -I /usr/local/lib/ocaml/ocamlgraph  -I src/util -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/smtli
 b2_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
gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/alt-ergo/work/alt-ergo-0.95.2'
===========================================================================
=======================<phase: run-depends    >============================
===>   alt-ergo-0.95.2_3 depends on package: ocaml-ocamlgraph>1.8 - found
===>   alt-ergo-0.95.2_3 depends on file: /usr/local/bin/ocamlc - found
===========================================================================
=======================<phase: stage          >============================
===>  Staging for alt-ergo-0.95.2_3
===>   Generating temporary packing list
gmake[1]: Entering directory '/wrkdirs/usr/ports/math/alt-ergo/work/alt-ergo-0.95.2'
mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/man/man1
install  -m 444 doc/*.1 /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/man/man1
mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/bin
install  -m 555 alt-ergo.opt /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/bin/alt-ergo
mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
install  -m 0644 altErgo.cmx /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
install  -m 0644 altErgo.o /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
mkdir -p /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
install  -m 0644 altErgo.cmo /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
install  -m 0644 altErgo.cmi /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
install  -m 0644 META /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/alt-ergo
gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/alt-ergo/work/alt-ergo-0.95.2'
====> Compressing man pages (compress-man)
===========================================================================
=======================<phase: package        >============================
===>  Building package for alt-ergo-0.95.2_3
pkg-static: Unable to access file /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/gtksourceview-2.0/language-specs/alt-ergo.lang:No such file or directory
*** Error code 1

Stop.
make: stopped in /usr/ports/math/alt-ergo



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202103041502.124F2PST044772>