------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- ===> The following configuration options are available for gecode-6.3.0_6: AUDIT=off: Build with auditing code CBS=on: Support for counting-based search FLATZINC=on: Build FlatZinc interpreter GIST=off: Enable gist, graphical and interactive search tool PEAKHEAP=off: Peak heap size tracking PROFILE=off: Build with profiling information SEARCH=on: Build search engines ====> Library type: you can only select none or one of them SHARED=on: Build shared executables and/or libraries STATIC=off: Build static executables and/or libraries ===> Use 'make config' to modify these settings SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- MAKE=gmake ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/construction/math/gecode XDG_CONFIG_HOME=/construction/math/gecode XDG_CACHE_HOME=/construction/math/gecode/.cache HOME=/construction/math/gecode TMPDIR="/tmp" PATH=/construction/math/gecode/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/gecode/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- --disable-examples --disable-audit --enable-cbs --enable-flatzinc --disable-gist --disable-qt --disable-peakheap --disable-profile --enable-search --enable-shared --disable-static --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/construction/math/gecode XDG_CONFIG_HOME=/construction/math/gecode XDG_CACHE_HOME=/construction/math/gecode/.cache HOME=/construction/math/gecode TMPDIR="/tmp" PATH=/construction/math/gecode/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/gecode/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/gecode/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- AUDIT="@comment " NO_AUDIT="" CBS="" NO_CBS="@comment " FLATZINC="" NO_FLATZINC="@comment " GIST="@comment " NO_GIST="" PEAKHEAP="@comment " NO_PEAKHEAP="" NO_PROFILE="" SEARCH="" NO_SEARCH="@comment " SHARED="" NO_SHARED="@comment " STATIC="@comment " NO_STATIC="" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PERL_VERSION=5.32.1 PERL_VER=5.32 PERL5_MAN1=lib/perl5/site_perl/man/man1 PERL5_MAN3=lib/perl5/site_perl/man/man3 SITE_PERL=lib/perl5/site_perl SITE_ARCH=lib/perl5/site_perl/mach/5.32 PROFILE="@comment " DOCSDIR="share/doc/gecode" EXAMPLESDIR="share/examples/gecode" DATADIR="share/minizinc/gecode" WWWDIR="www/gecode" ETCDIR="etc/gecode" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- AUDIT="@comment " NO_AUDIT="" CBS="" NO_CBS="@comment " FLATZINC="" NO_FLATZINC="@comment " GIST="@comment " NO_GIST="" PEAKHEAP="@comment " NO_PEAKHEAP="" PROFILE="@comment " NO_PROFILE="" SEARCH="" NO_SEARCH="@comment " SHARED="" NO_SHARED="@comment " STATIC="@comment " NO_STATIC="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/minizinc/gecode DOCSDIR=/usr/local/share/doc/gecode EXAMPLESDIR=/usr/local/share/examples/gecode WWWDIR=/usr/local/www/gecode ETCDIR=/usr/local/etc/gecode SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.4.pkg ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/libtextstyle-0.21.1.pkg Installing /packages/All/readline-8.2.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/m4-1.4.19,1.pkg Installing /packages/All/bison-3.8.2,1.pkg Installing /packages/All/gmake-4.3_2.pkg Installing /packages/All/perl5-5.32.1_3.pkg Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> gecode-6.3.0_6 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> gecode-6.3.0_6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by gecode-6.3.0_6 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> gecode-6.3.0_6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by gecode-6.3.0_6 for building => SHA256 Checksum OK for Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz. SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> gecode-6.3.0_6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by gecode-6.3.0_6 for building ===> Extracting for gecode-6.3.0_6 => SHA256 Checksum OK for Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz. Extracted Memory Use: 33.45M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for gecode-6.3.0_6 ===> Applying ports patches for gecode-6.3.0_6 from /xports/math/gecode/files ===> Applying dragonfly patches for gecode-6.3.0_6 from /xports/math/gecode/dragonfly SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> gecode-6.3.0_6 depends on executable: bison - found ===> gecode-6.3.0_6 depends on package: gmake>=4.3 - found ===> gecode-6.3.0_6 depends on package: perl5>=5.32.r0<5.33 - found ===> gecode-6.3.0_6 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> gecode-6.3.0_6 depends on executable: bison - found ===> gecode-6.3.0_6 depends on package: gmake>=4.3 - found ===> gecode-6.3.0_6 depends on package: perl5>=5.32.r0<5.33 - found ===> gecode-6.3.0_6 depends on file: /usr/local/bin/ccache - found ===> Configuring for gecode-6.3.0_6 configure: loading site script /xports/Templates/config.site checking for the host operating system... Linux checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking for gcc... cc checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking for ranlib... ranlib checking for diff... ok checking for tar... ok checking for make... ok checking for sed... ok checking for perl... ok checking how to run the C++ preprocessor... c++ -E checking for rc.exe... no checking whether to build with Visual Studio resource files... no checking Whether to build for different architectures... no checking for user-defined library name prefix... no checking for user-defined library name suffix... no checking whether to build static libraries... no checking whether to build shared libraries... yes checking whether to build with debug symbols and assertions... no checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking whether to build with peak heap size tracking... no checking whether to optimize for code size... no checking whether to build with support for finding memory leaks... no checking whether to build with default memory allocator... yes checking whether to build with auditing code... no checking whether to build with profiling information... no checking whether to build with gcov support... no checking size of int... 4 checking if int has at least 32 bit... yes checking if doubles have a big enough mantissa... yes checking whether to build with multi-threading support... yes checking for unistd.h... (cached) yes checking for pthread.h... (cached) yes checking os/lock.h usability... no checking os/lock.h presence... no checking for os/lock.h... no checking libkern/OSAtomic.h usability... no checking libkern/OSAtomic.h presence... no checking for libkern/OSAtomic.h... no checking for spin locks... yes checking for sys/time.h... (cached) yes checking whether c++ accepts -fPIC... yes checking whether cc accepts -fPIC... yes checking whether c++ accepts -Wextra... yes checking whether cc accepts -Wextra... yes checking whether c++ accepts -Wall... yes checking whether cc accepts -Wall... yes checking whether c++ accepts -Wno-unknown-pragmas... yes checking whether cc accepts -Wno-unknown-pragmas... yes checking whether c++ accepts -pipe... yes checking whether cc accepts -pipe... yes checking whether c++ accepts -std=c++17... yes checking whether cc accepts -std=c++17... no checking whether c++ accepts -ggdb... yes checking for __builtin_ffsll... no checking for __builtin_popcountll... no checking whether to use gcc visibility attributes... yes checking whether c++ accepts -fvisibility=hidden... yes checking if compiler supports forced inlining... yes checking whether c++ accepts -O3... yes checking whether cc accepts -O3... yes checking whether c++ accepts -fno-strict-aliasing... yes checking whether cc accepts -fno-strict-aliasing... yes checking whether c++ accepts -fno-math-errno... yes checking whether cc accepts -fno-math-errno... yes checking whether c++ accepts -ffinite-math-only... yes checking whether cc accepts -ffinite-math-only... yes checking whether c++ accepts -fno-rounding-math... yes checking whether cc accepts -fno-rounding-math... yes checking whether c++ accepts -fno-signaling-nans... yes checking whether cc accepts -fno-signaling-nans... yes checking whether c++ accepts -fcx-limited-range... yes checking whether cc accepts -fcx-limited-range... yes checking whether c++ accepts -mthreads... no checking whether cc accepts -mthreads... no checking whether c++ accepts -Qunused-arguments... no checking whether cc accepts -Qunused-arguments... no checking ext/hash_map usability... yes checking ext/hash_map presence... yes checking for ext/hash_map... yes checking unordered_map usability... yes checking unordered_map presence... yes checking for unordered_map... yes checking for dot... no checking whether to enable graphs in the documentation... no checking whether to enable the documentation search engine... no checking whether to generate a doxygen tagfile... yes checking whether to build compressed html documentation... no checking whether to build docset documentation for XCode... no checking whether to build the float variables library... yes checking whether to build the set variables library... yes checking whether to build the int variables library... yes checking whether to build with MPFR support... yes checking for __gmpz_init in -lgmp... no checking for __gmpz_init in -lmpir... no checking gmp.h usability... no checking gmp.h presence... no checking for gmp.h... no checking for qmake-qt5... no checking for qmake... no checking for moc-qt5... no checking for moc... no checking whether to build with Qt support... no checking whether to build Gist... no checking whether to build with support for cbs... yes checking whether to build with support for CPProfiler... no checking for flex... flex checking whether we have at least flex 2.5.33... yes checking for bison... bison checking whether we have at least bison 2.3... yes checking for stdlib.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/param.h... (cached) yes checking for getpagesize... (cached) yes checking for working mmap... yes checking whether to build driver... yes checking whether to build flatzinc... yes checking whether to build driver... yes checking whether to build examples... no checking whether to build minimodel... yes checking whether to build search... yes configure: creating ./config.status config.status: creating Makefile config.status: creating tools/flatzinc/mzn-gecode config.status: creating tools/flatzinc/gecode.msc config.status: creating tools/flatzinc/gecode-gist.msc config.status: creating doxygen.conf config.status: creating doxygen.hh config.status: creating gecode/support/config.hpp SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for gecode-6.3.0_6 gmake[1]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' perl ./misc/genvarimp.perl -typehpp ./gecode/int/var-imp/int.vis ./gecode/int/var-imp/bool.vis ./gecode/set/var-imp/set.vis ./gecode/float/var-imp/float.vis > gecode/kernel/var-type.hpp perl ./misc/genvarimp.perl -header ./gecode/int/var-imp/int.vis ./gecode/int/var-imp/bool.vis ./gecode/set/var-imp/set.vis ./gecode/float/var-imp/float.vis > gecode/kernel/var-imp.hpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/exception.o gecode/support/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/allocator.o gecode/support/allocator.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/heap.o gecode/support/heap.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/thread/thread.o gecode/support/thread/thread.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/thread/windows.o gecode/support/thread/windows.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/thread/pthreads.o gecode/support/thread/pthreads.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/support/hw-rnd.o gecode/support/hw-rnd.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/archive.o gecode/kernel/archive.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/core.o gecode/kernel/core.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/exception.o gecode/kernel/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/gpi.o gecode/kernel/gpi.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/data/rnd.o gecode/kernel/data/rnd.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/branch/action.o gecode/kernel/branch/action.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/branch/afc.o gecode/kernel/branch/afc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/branch/chb.o gecode/kernel/branch/chb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/branch/function.o gecode/kernel/branch/function.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/memory/manager.o gecode/kernel/memory/manager.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/memory/region.o gecode/kernel/memory/region.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace/recorder.o gecode/kernel/trace/recorder.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace/filter.o gecode/kernel/trace/filter.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace/tracer.o gecode/kernel/trace/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace/general.o gecode/kernel/trace/general.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/kernel/data/array.o gecode/kernel/data/array.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/stop.o gecode/search/stop.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/options.o gecode/search/options.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/cutoff.o gecode/search/cutoff.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/engine.o gecode/search/engine.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/dfs.o gecode/search/dfs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/bab.o gecode/search/bab.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/lds.o gecode/search/lds.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/seq/rbs.o gecode/search/seq/rbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/seq/dead.o gecode/search/seq/dead.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/seq/pbs.o gecode/search/seq/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/par/pbs.o gecode/search/par/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/rbs.o gecode/search/rbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/pbs.o gecode/search/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/nogoods.o gecode/search/nogoods.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/exception.o gecode/search/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/tracer.o gecode/search/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/search/cpprofiler/tracer.o gecode/search/cpprofiler/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/int-set.o gecode/int/int-set.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/var-imp/int.o gecode/int/var-imp/int.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/var-imp/bool.o gecode/int/var-imp/bool.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/var/int.o gecode/int/var/int.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/var/bool.o gecode/int/var/bool.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/array.o gecode/int/array.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/bool.o gecode/int/bool.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/bool/eqv.o gecode/int/bool/eqv.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional/dfa.o gecode/int/extensional/dfa.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional/tuple-set.o gecode/int/extensional/tuple-set.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/bool.hh:39, from gecode/int/bool.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional-regular.o gecode/int/extensional-regular.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/bool.hh:39, from gecode/int/bool/eqv.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional-tuple-set.o gecode/int/extensional-tuple-set.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/dom.o gecode/int/dom.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/rel.o gecode/int/rel.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/dom.hh:39, from gecode/int/dom.cpp:35: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/precede.o gecode/int/precede.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/rel.hh:43, from gecode/int/rel.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/element.o gecode/int/element.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/count.o gecode/int/count.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/arithmetic.o gecode/int/arithmetic.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/extensional.hh:41, from gecode/int/extensional-tuple-set.cpp:38: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/exec.o gecode/int/exec.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/exec/when.o gecode/int/exec/when.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/element.hh:39, from gecode/int/element.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/element/pair.o gecode/int/element/pair.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/arithmetic.hh:39, from gecode/int/arithmetic.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/exec.hh:37, from gecode/int/exec/when.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] -c -o gecode/int/linear/int-post.o gecode/int/linear/int-post.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/linear-int.o gecode/int/linear-int.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/linear/bool-post.o gecode/int/linear/bool-post.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/linear-bool.o gecode/int/linear-bool.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/linear.hh:41, from gecode/int/linear/bool-post.cpp:36: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/branch.o gecode/int/branch.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/rel.hh:43, from gecode/int/linear/int-post.cpp:36: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct/eqite.o gecode/int/distinct/eqite.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct/cbs.o gecode/int/distinct/cbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct.o gecode/int/distinct.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/sorted.o gecode/int/sorted.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/gcc.o gecode/int/gcc.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/exec.hh:37, from gecode/int/exec.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/channel.o gecode/int/channel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/channel/link-single.o gecode/int/channel/link-single.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/channel/link-multi.o gecode/int/channel/link-multi.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/unshare.o gecode/int/unshare.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/sequence.o gecode/int/sequence.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/rel.hh:43, from gecode/int/unshare.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing.o gecode/int/bin-packing.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing/propagate.o gecode/int/bin-packing/propagate.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing/conflict-graph.o gecode/int/bin-packing/conflict-graph.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/order.o gecode/int/order.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/order/propagate.o gecode/int/order/propagate.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/unary.o gecode/int/unary.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/cumulative.o gecode/int/cumulative.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/task.hh:37, from ./gecode/int/unary.hh:39, from gecode/int/unary.cpp:36: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/cumulatives.o gecode/int/cumulatives.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/circuit.o gecode/int/circuit.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/task.hh:37, from ./gecode/int/cumulative.hh:39, from gecode/int/cumulative.cpp:36: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/no-overlap.o gecode/int/no-overlap.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/nvalues.o gecode/int/nvalues.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/no-overlap.hh:37, from gecode/int/no-overlap.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/member.o gecode/int/member.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/member.hh:37, from gecode/int/member.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/action.o gecode/int/branch/action.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/int/nvalues.hh:37, from gecode/int/nvalues.cpp:34: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/chb.o gecode/int/branch/chb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/arithmetic/mult.o gecode/int/arithmetic/mult.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/view-sel.o gecode/int/branch/view-sel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/val-sel-commit.o gecode/int/branch/val-sel-commit.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/view-values.o gecode/int/branch/view-values.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/relax.o gecode/int/relax.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb.o gecode/int/ldsb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-imp.o gecode/int/ldsb/sym-imp.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-obj.o gecode/int/ldsb/sym-obj.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/trace.o gecode/int/trace.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/trace/tracer.o gecode/int/trace/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/int/exception.o gecode/int/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/var/float.o gecode/float/var/float.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/var-imp/float.o gecode/float/var-imp/float.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/arithmetic.o gecode/float/arithmetic.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/array.o gecode/float/array.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/branch.o gecode/float/branch.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/rel.o gecode/float/rel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/linear.o gecode/float/linear.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/linear/post.o gecode/float/linear/post.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/bool.o gecode/float/bool.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/channel.o gecode/float/channel.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/float/rel.hh:45, from gecode/float/rel.cpp:36: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/transcendental.o gecode/float/transcendental.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/trigonometric.o gecode/float/trigonometric.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/branch/action.o gecode/float/branch/action.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/branch/chb.o gecode/float/branch/chb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/rounding.o gecode/float/rounding.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/exec.o gecode/float/exec.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/branch/val-sel-commit.o gecode/float/branch/val-sel-commit.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/branch/view-sel.o gecode/float/branch/view-sel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/dom.o gecode/float/dom.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/relax.o gecode/float/relax.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/int.hh:59, from ./gecode/float/rel.hh:45, from gecode/float/dom.cpp:35: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/trace.o gecode/float/trace.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/trace/tracer.o gecode/float/trace/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/float/exception.o gecode/float/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/branch.o gecode/set/branch.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/cardinality.o gecode/set/cardinality.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/convex.o gecode/set/convex.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/convex/conv.o gecode/set/convex/conv.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/convex/hull.o gecode/set/convex/hull.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/dom.o gecode/set/dom.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel.o gecode/set/rel.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/set.hh:43, from ./gecode/set/rel.hh:43, from gecode/set/rel.cpp:37: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op.o gecode/set/rel-op.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-ternary.o gecode/set/rel-op-ternary.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-singleton.o gecode/set/rel-op-singleton.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl.o gecode/set/rel-op/post-compl.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl.o gecode/set/rel-op/post-nocompl.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvv.o gecode/set/rel-op/post-compl-cvv.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvv.o gecode/set/rel-op/post-nocompl-cvv.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-vvc.o gecode/set/rel-op/post-compl-vvc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-vvc.o gecode/set/rel-op/post-nocompl-vvc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvc.o gecode/set/rel-op/post-compl-cvc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvc.o gecode/set/rel-op/post-nocompl-cvc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vvc.o gecode/set/rel-op-const-vvc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcv.o gecode/set/rel-op-const-vcv.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcc.o gecode/set/rel-op-const-vcc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvc.o gecode/set/rel-op-const-cvc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvv.o gecode/set/rel-op-const-cvv.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/int.o gecode/set/int.cpp In file included from ./gecode/kernel.hh:150, from ./gecode/set.hh:43, from gecode/set/int.cpp:36: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/channel.o gecode/set/channel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/bool.o gecode/set/bool.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/element.o gecode/set/element.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence.o gecode/set/sequence.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/distinct.o gecode/set/distinct.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/distinct/atmostOne.o gecode/set/distinct/atmostOne.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/precede.o gecode/set/precede.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence/seq.o gecode/set/sequence/seq.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence/seq-u.o gecode/set/sequence/seq-u.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/array.o gecode/set/array.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/var-imp/set.o gecode/set/var-imp/set.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/var-imp/integerset.o gecode/set/var-imp/integerset.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/var/set.o gecode/set/var/set.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/exec.o gecode/set/exec.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/action.o gecode/set/branch/action.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/chb.o gecode/set/branch/chb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/view-sel.o gecode/set/branch/view-sel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/val-sel-commit.o gecode/set/branch/val-sel-commit.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/ngl.o gecode/set/branch/ngl.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/ldsb.o gecode/set/ldsb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/ldsb/sym-imp.o gecode/set/ldsb/sym-imp.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/relax.o gecode/set/relax.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/trace.o gecode/set/trace.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/trace/tracer.o gecode/set/trace/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/set/exception.o gecode/set/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-expr.o gecode/minimodel/int-expr.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-rel.o gecode/minimodel/int-rel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-arith.o gecode/minimodel/int-arith.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/bool-expr.o gecode/minimodel/bool-expr.cpp gecode/minimodel/bool-expr.cpp:259:44: warning: 'visibility' attribute ignored [-Wattributes] const IntPropLevels& ipls) const; ^~~~~ gecode/minimodel/bool-expr.cpp:262:58: warning: 'visibility' attribute ignored [-Wattributes] BoolVar expr(Home home, const IntPropLevels& ipls) const; ^~~~~ gecode/minimodel/bool-expr.cpp:265:54: warning: 'visibility' attribute ignored [-Wattributes] void rel(Home home, const IntPropLevels& ipls) const; ^~~~~ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/set-expr.o gecode/minimodel/set-expr.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/set-rel.o gecode/minimodel/set-rel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/dom.o gecode/minimodel/dom.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-expr.o gecode/minimodel/float-expr.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-rel.o gecode/minimodel/float-rel.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-arith.o gecode/minimodel/float-arith.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/reg.o gecode/minimodel/reg.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/optimize.o gecode/minimodel/optimize.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/exception.o gecode/minimodel/exception.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/ipl.o gecode/minimodel/ipl.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/driver/options.o gecode/driver/options.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o gecode/driver/script.o gecode/driver/script.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/flatzinc.o gecode/flatzinc/flatzinc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/registry.o gecode/flatzinc/registry.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/branch.o gecode/flatzinc/branch.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/parser.tab.o gecode/flatzinc/parser.tab.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/lexer.yy.o gecode/flatzinc/lexer.yy.cpp ../gecode/flatzinc/parser.yxx: In function 'int yyparse(void*)': ../gecode/flatzinc/parser.yxx:1884:75: warning: 'e.Gecode::FlatZinc::SymbolEntry::i' may be used uninitialized in this function [-Wmaybe-uninitialized] ../gecode/flatzinc/parser.yxx:1875:21: note: 'e.Gecode::FlatZinc::SymbolEntry::i' was declared here ../gecode/flatzinc/parser.yxx:1890:11: warning: 'e' may be used uninitialized in this function [-Wmaybe-uninitialized] ../gecode/flatzinc/parser.yxx:1875:21: note: 'e' was declared here c++ -shared -pthread gecode/support/exception.o gecode/support/allocator.o gecode/support/heap.o gecode/support/thread/thread.o gecode/support/thread/windows.o gecode/support/thread/pthreads.o gecode/support/hw-rnd.o -Wl,-soname=libgecodesupport.so.51 \ -o libgecodesupport.so.51.0 ln -fs libgecodesupport.so.51.0 libgecodesupport.so ln -fs libgecodesupport.so.51.0 libgecodesupport.so.51 c++ -shared -pthread gecode/kernel/archive.o gecode/kernel/core.o gecode/kernel/exception.o gecode/kernel/gpi.o gecode/kernel/data/rnd.o gecode/kernel/branch/action.o gecode/kernel/branch/afc.o gecode/kernel/branch/chb.o gecode/kernel/branch/function.o gecode/kernel/memory/manager.o gecode/kernel/memory/region.o gecode/kernel/trace/recorder.o gecode/kernel/trace/filter.o gecode/kernel/trace/tracer.o gecode/kernel/trace/general.o gecode/kernel/data/array.o -Wl,-soname=libgecodekernel.so.51 \ -L. -lgecodesupport \ -o libgecodekernel.so.51.0 ln -fs libgecodekernel.so.51.0 libgecodekernel.so ln -fs libgecodekernel.so.51.0 libgecodekernel.so.51 c++ -shared -pthread gecode/search/stop.o gecode/search/options.o gecode/search/cutoff.o gecode/search/engine.o gecode/search/dfs.o gecode/search/bab.o gecode/search/lds.o gecode/search/seq/rbs.o gecode/search/seq/dead.o gecode/search/seq/pbs.o gecode/search/par/pbs.o gecode/search/rbs.o gecode/search/pbs.o gecode/search/nogoods.o gecode/search/exception.o gecode/search/tracer.o gecode/search/cpprofiler/tracer.o -Wl,-soname=libgecodesearch.so.51 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodesearch.so.51.0 ln -fs libgecodesearch.so.51.0 libgecodesearch.so ln -fs libgecodesearch.so.51.0 libgecodesearch.so.51 c++ -shared -pthread gecode/int/int-set.o gecode/int/var-imp/int.o gecode/int/var-imp/bool.o gecode/int/var/int.o gecode/int/var/bool.o gecode/int/array.o gecode/int/bool.o gecode/int/bool/eqv.o gecode/int/extensional/dfa.o gecode/int/extensional/tuple-set.o gecode/int/extensional-regular.o gecode/int/extensional-tuple-set.o gecode/int/dom.o gecode/int/rel.o gecode/int/precede.o gecode/int/element.o gecode/int/count.o gecode/int/arithmetic.o gecode/int/exec.o gecode/int/exec/when.o gecode/int/element/pair.o gecode/int/linear/int-post.o gecode/int/linear-int.o gecode/int/linear/bool-post.o gecode/int/linear-bool.o gecode/int/branch.o gecode/int/distinct/eqite.o gecode/int/distinct/cbs.o gecode/int/distinct.o gecode/int/sorted.o gecode/int/gcc.o gecode/int/channel.o gecode/int/channel/link-single.o gecode/int/channel/link-multi.o gecode/int/unshare.o gecode/int/sequence.o gecode/int/bin-packing.o gecode/int/bin-packing/propagate.o gecode/int/bin-packing/conflict-graph.o gecode/int/order.o gecode/int/order/propagate.o gecode/int/unary.o gecode/int/cumulative.o gecode/int/cumulatives.o gecode/int/circuit.o gecode/int/no-overlap.o gecode/int/nvalues.o gecode/int/member.o gecode/int/branch/action.o gecode/int/branch/chb.o gecode/int/arithmetic/mult.o gecode/int/branch/view-sel.o gecode/int/branch/val-sel-commit.o gecode/int/branch/view-values.o gecode/int/relax.o gecode/int/ldsb.o gecode/int/ldsb/sym-imp.o gecode/int/ldsb/sym-obj.o gecode/int/trace.o gecode/int/trace/tracer.o gecode/int/exception.o -Wl,-soname=libgecodeint.so.51 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodeint.so.51.0 ln -fs libgecodeint.so.51.0 libgecodeint.so ln -fs libgecodeint.so.51.0 libgecodeint.so.51 c++ -shared -pthread gecode/float/var/float.o gecode/float/var-imp/float.o gecode/float/arithmetic.o gecode/float/array.o gecode/float/branch.o gecode/float/rel.o gecode/float/linear.o gecode/float/linear/post.o gecode/float/bool.o gecode/float/channel.o gecode/float/transcendental.o gecode/float/trigonometric.o gecode/float/branch/action.o gecode/float/branch/chb.o gecode/float/rounding.o gecode/float/exec.o gecode/float/branch/val-sel-commit.o gecode/float/branch/view-sel.o gecode/float/dom.o gecode/float/relax.o gecode/float/trace.o gecode/float/trace/tracer.o gecode/float/exception.o -Wl,-soname=libgecodefloat.so.51 \ -L. -lgecodesupport -lgecodekernel -lgecodeint \ -o libgecodefloat.so.51.0 ln -fs libgecodefloat.so.51.0 libgecodefloat.so ln -fs libgecodefloat.so.51.0 libgecodefloat.so.51 In file included from ./gecode/kernel.hh:150, from ./gecode/set.hh:43, from gecode/set/dom.cpp:37: ./gecode/kernel/core.hpp: In member function 'void Gecode::VarImp::remove(Gecode::Space&, Gecode::Propagator*, Gecode::PropCond) [with VIC = Gecode::Int::BoolVarImpConf]': ./gecode/kernel/core.hpp:4136:24: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return b.base+u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] return u.idx[pc-1]; ~~~~~^ ./gecode/kernel/core.hpp:4143:17: warning: array subscript -1 is below array bounds of 'unsigned int [1]' [-Warray-bounds] c++ -shared -pthread gecode/set/branch.o gecode/set/cardinality.o gecode/set/convex.o gecode/set/convex/conv.o gecode/set/convex/hull.o gecode/set/dom.o gecode/set/rel.o gecode/set/rel-op.o gecode/set/rel-op-ternary.o gecode/set/rel-op-singleton.o gecode/set/rel-op/post-compl.o gecode/set/rel-op/post-nocompl.o gecode/set/rel-op/post-compl-cvv.o gecode/set/rel-op/post-nocompl-cvv.o gecode/set/rel-op/post-compl-vvc.o gecode/set/rel-op/post-nocompl-vvc.o gecode/set/rel-op/post-compl-cvc.o gecode/set/rel-op/post-nocompl-cvc.o gecode/set/rel-op-const-vvc.o gecode/set/rel-op-const-vcv.o gecode/set/rel-op-const-vcc.o gecode/set/rel-op-const-cvc.o gecode/set/rel-op-const-cvv.o gecode/set/int.o gecode/set/channel.o gecode/set/bool.o gecode/set/element.o gecode/set/sequence.o gecode/set/distinct.o gecode/set/distinct/atmostOne.o gecode/set/precede.o gecode/set/sequence/seq.o gecode/set/sequence/seq-u.o gecode/set/array.o gecode/set/var-imp/set.o gecode/set/var-imp/integerset.o gecode/set/var/set.o gecode/set/exec.o gecode/set/branch/action.o gecode/set/branch/chb.o gecode/set/branch/view-sel.o gecode/set/branch/val-sel-commit.o gecode/set/branch/ngl.o gecode/set/ldsb.o gecode/set/ldsb/sym-imp.o gecode/set/relax.o gecode/set/trace.o gecode/set/trace/tracer.o gecode/set/exception.o -Wl,-soname=libgecodeset.so.51 \ -L. -lgecodesupport -lgecodekernel -lgecodeint \ -o libgecodeset.so.51.0 ln -fs libgecodeset.so.51.0 libgecodeset.so ln -fs libgecodeset.so.51.0 libgecodeset.so.51 c++ -shared -pthread gecode/minimodel/int-expr.o gecode/minimodel/int-rel.o gecode/minimodel/int-arith.o gecode/minimodel/bool-expr.o gecode/minimodel/set-expr.o gecode/minimodel/set-rel.o gecode/minimodel/dom.o gecode/minimodel/float-expr.o gecode/minimodel/float-rel.o gecode/minimodel/float-arith.o gecode/minimodel/reg.o gecode/minimodel/optimize.o gecode/minimodel/exception.o gecode/minimodel/ipl.o -Wl,-soname=libgecodeminimodel.so.51 \ -L. -lgecodesupport -lgecodekernel -lgecodeint -lgecodefloat -lgecodeset \ -o libgecodeminimodel.so.51.0 ln -fs libgecodeminimodel.so.51.0 libgecodeminimodel.so ln -fs libgecodeminimodel.so.51.0 libgecodeminimodel.so.51 c++ -shared -pthread gecode/driver/options.o gecode/driver/script.o -Wl,-soname=libgecodedriver.so.51 \ -L. -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint -lgecodeminimodel \ -o libgecodedriver.so.51.0 ln -fs libgecodedriver.so.51.0 libgecodedriver.so ln -fs libgecodedriver.so.51.0 libgecodedriver.so.51 c++ -shared -pthread gecode/flatzinc/flatzinc.o gecode/flatzinc/registry.o gecode/flatzinc/branch.o gecode/flatzinc/parser.tab.o gecode/flatzinc/lexer.yy.o -Wl,-soname=libgecodeflatzinc.so.51 \ -L. -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint \ -lgecodeset -lgecodefloat -lgecodeminimodel -lgecodedriver \ -o libgecodeflatzinc.so.51.0 ln -fs libgecodeflatzinc.so.51.0 libgecodeflatzinc.so ln -fs libgecodeflatzinc.so.51.0 libgecodeflatzinc.so.51 gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Nothing to be done for 'framework'. gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -c -o tools/flatzinc/fzn-gecode.o tools/flatzinc/fzn-gecode.cpp c++ -o tools/flatzinc/fzn-gecode tools/flatzinc/fzn-gecode.o \ -L. -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -O3 -fvisibility=hidden -ggdb -std=c++17 -pipe -Wno-unknown-pragmas -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -O2 -fno-strict-aliasing \ -lgecodeflatzinc -lgecodedriver -lgecodesearch -lgecodeminimodel -lgecodeset -lgecodefloat -lgecodeint -lgecodekernel -lgecodesupport perl ./misc/fixmanifest.perl .so.51.0 tools/flatzinc/fzn-gecode.manifest gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' Compilation of Gecode finished successfully. To use Gecode, either add /construction/math/gecode/gecode-6b09bea to your search path for libraries, or install Gecode using make install gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[1]: Leaving directory '/construction/math/gecode/gecode-6b09bea' SUCCEEDED 00:01:11 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for gecode-6.3.0_6 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: 'gecode/kernel/var-type.hpp' is up to date. gmake[2]: 'gecode/kernel/var-imp.hpp' is up to date. gmake[2]: 'libgecodesupport.so.51.0' is up to date. gmake[2]: 'libgecodekernel.so.51.0' is up to date. gmake[2]: 'libgecodesearch.so.51.0' is up to date. gmake[2]: 'libgecodeint.so.51.0' is up to date. gmake[2]: 'libgecodefloat.so.51.0' is up to date. gmake[2]: 'libgecodeset.so.51.0' is up to date. gmake[2]: 'libgecodeminimodel.so.51.0' is up to date. gmake[2]: 'libgecodedriver.so.51.0' is up to date. gmake[2]: 'libgecodeflatzinc.so.51.0' is up to date. gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Nothing to be done for 'framework'. gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Nothing to be done for 'flatzinc'. gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake doinstalllib gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' mkdir -p /construction/math/gecode/stage/usr/local/lib && \ mkdir -p /construction/math/gecode/stage/usr/local/lib && \ mkdir -p /construction/math/gecode/stage/usr/local/bin && \ for_libtargets="libgecodesupport.so.51.0 libgecodekernel.so.51.0 libgecodesearch.so.51.0 libgecodeint.so.51.0 libgecodefloat.so.51.0 libgecodeset.so.51.0 libgecodeminimodel.so.51.0 libgecodedriver.so.51.0 libgecodeflatzinc.so.51.0 " && \ for f in $for_libtargets; do \ cp $f /construction/math/gecode/stage/usr/local/lib; done && \ for_liblinktargets="libgecodesupport.so.51 libgecodekernel.so.51 libgecodesearch.so.51 libgecodeint.so.51 libgecodefloat.so.51 libgecodeset.so.51 libgecodeminimodel.so.51 libgecodedriver.so.51 libgecodeflatzinc.so.51 libgecodesupport.so libgecodekernel.so libgecodesearch.so libgecodeint.so libgecodefloat.so libgecodeset.so libgecodeminimodel.so libgecodedriver.so libgecodeflatzinc.so" && \ for f in $for_liblinktargets; do \ cp -pR $f /construction/math/gecode/stage/usr/local/lib; done &&\ for_liblibtargets="" && \ for f in $for_liblibtargets; do \ cp $f /construction/math/gecode/stage/usr/local/lib; done &&\ for_exetargets="tools/flatzinc/fzn-gecode tools/flatzinc/mzn-gecode" && \ for f in $for_exetargets; do \ cp $f /construction/math/gecode/stage/usr/local/bin; done gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake doinstallheaders gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' mkdir -p /construction/math/gecode/stage/usr/local/include && \ (cd . && tar cf - gecode/support.hh gecode/support/block-allocator.hpp gecode/support/cast.hpp gecode/support/hash.hpp gecode/support/dynamic-array.hpp gecode/support/dynamic-stack.hpp gecode/support/exception.hpp gecode/support/allocator.hpp gecode/support/heap.hpp gecode/support/macros.hpp gecode/support/random.hpp gecode/support/sort.hpp gecode/support/static-stack.hpp gecode/support/marked-pointer.hpp gecode/support/int-type.hpp gecode/support/auto-link.hpp gecode/support/thread.hpp gecode/support/thread/thread.hpp gecode/support/thread/windows.hpp gecode/support/thread/pthreads.hpp gecode/support/thread/none.hpp gecode/support/timer.hpp gecode/support/dynamic-queue.hpp gecode/support/bitset-base.hpp gecode/support/bitset.hpp gecode/support/bitset-offset.hpp gecode/support/hw-rnd.hpp gecode/support/run-jobs.hpp gecode/support/ref-count.hpp gecode/kernel.hh gecode/kernel/archive.hpp gecode/kernel/core.hpp gecode/kernel/exception.hpp gecode/kernel/macros.hpp gecode/kernel/modevent.hpp gecode/kernel/gpi.hpp gecode/kernel/shared-object.hpp gecode/kernel/shared-space-data.hpp gecode/kernel/range-list.hpp gecode/kernel/view.hpp gecode/kernel/var.hpp gecode/kernel/memory/config.hpp gecode/kernel/memory/manager.hpp gecode/kernel/memory/region.hpp gecode/kernel/memory/allocators.hpp gecode/kernel/data/array.hpp gecode/kernel/data/rnd.hpp gecode/kernel/data/shared-array.hpp gecode/kernel/data/shared-data.hpp gecode/kernel/propagator/pattern.hpp gecode/kernel/propagator/advisor.hpp gecode/kernel/propagator/subscribed.hpp gecode/kernel/propagator/wait.hpp gecode/kernel/branch/var.hpp gecode/kernel/branch/val.hpp gecode/kernel/branch/tiebreak.hpp gecode/kernel/branch/traits.hpp gecode/kernel/branch/afc.hpp gecode/kernel/branch/action.hpp gecode/kernel/branch/chb.hpp gecode/kernel/branch/view-sel.hpp gecode/kernel/branch/merit.hpp gecode/kernel/branch/val-sel.hpp gecode/kernel/branch/val-commit.hpp gecode/kernel/branch/view.hpp gecode/kernel/branch/view-val.hpp gecode/kernel/branch/val-sel-commit.hpp gecode/kernel/branch/print.hpp gecode/kernel/branch/filter.hpp gecode/kernel/trace/traits.hpp gecode/kernel/trace/filter.hpp gecode/kernel/trace/tracer.hpp gecode/kernel/trace/recorder.hpp gecode/kernel/trace/general.hpp gecode/kernel/trace/print.hpp gecode/search.hh gecode/search/statistics.hpp gecode/search/stop.hpp gecode/search/options.hpp gecode/search/cutoff.hpp gecode/search/support.hh gecode/search/worker.hh gecode/search/exception.hpp gecode/search/engine.hpp gecode/search/base.hpp gecode/search/nogoods.hh gecode/search/nogoods.hpp gecode/search/build.hpp gecode/search/traits.hpp gecode/search/sebs.hpp gecode/search/seq/path.hh gecode/search/seq/path.hpp gecode/search/seq/dfs.hh gecode/search/seq/dfs.hpp gecode/search/seq/bab.hh gecode/search/seq/bab.hpp gecode/search/seq/lds.hh gecode/search/seq/lds.hpp gecode/search/seq/rbs.hh gecode/search/seq/rbs.hpp gecode/search/seq/dead.hh gecode/search/seq/pbs.hh gecode/search/seq/pbs.hpp gecode/search/par/path.hh gecode/search/par/path.hpp gecode/search/par/engine.hh gecode/search/par/engine.hpp gecode/search/par/dfs.hh gecode/search/par/dfs.hpp gecode/search/par/bab.hh gecode/search/par/bab.hpp gecode/search/par/pbs.hh gecode/search/par/pbs.hpp gecode/search/dfs.hpp gecode/search/bab.hpp gecode/search/lds.hpp gecode/search/rbs.hpp gecode/search/pbs.hpp gecode/search/relax.hh gecode/search/tracer.hpp gecode/search/trace-recorder.hpp gecode/search/cpprofiler/message.hpp gecode/search/cpprofiler/connector.hpp gecode/int.hh gecode/int/limits.hpp gecode/int/support-values.hh gecode/int/support-values.hpp gecode/int/idx-view.hh gecode/int/idx-view.hpp gecode/int/div.hh gecode/int/div.hpp gecode/int/exec.hh gecode/int/exec/when.hpp gecode/int/arithmetic/abs.hpp gecode/int/arithmetic/max.hpp gecode/int/arithmetic/argmax.hpp gecode/int/arithmetic/mult.hpp gecode/int/arithmetic/divmod.hpp gecode/int/arithmetic/pow-ops.hpp gecode/int/arithmetic/pow.hpp gecode/int/arithmetic/nroot.hpp gecode/int/bool/or.hpp gecode/int/bool/eq.hpp gecode/int/bool/lq.hpp gecode/int/bool/eqv.hpp gecode/int/bool/base.hpp gecode/int/bool/clause.hpp gecode/int/bool/ite.hpp gecode/int/precede.hh gecode/int/precede/single.hpp gecode/int/branch/traits.hpp gecode/int/branch/var.hpp gecode/int/branch/val.hpp gecode/int/branch/assign.hpp gecode/int/branch/view-values.hpp gecode/int/branch/merit.hpp gecode/int/branch/val-sel.hpp gecode/int/branch/val-commit.hpp gecode/int/branch/ngl.hpp gecode/int/branch/cbs.hpp gecode/int/branch.hpp gecode/int/count.hh gecode/int/count/rel.hpp gecode/int/count/int-base.hpp gecode/int/count/int-eq.hpp gecode/int/count/int-gq.hpp gecode/int/count/int-lq.hpp gecode/int/count/view-base.hpp gecode/int/count/view-eq.hpp gecode/int/count/view-gq.hpp gecode/int/count/view-lq.hpp gecode/int/view-val-graph.hh gecode/int/view-val-graph/graph.hpp gecode/int/view-val-graph/bi-link.hpp gecode/int/view-val-graph/comb-ptr-flag.hpp gecode/int/view-val-graph/edge.hpp gecode/int/view-val-graph/node.hpp gecode/int/view-val-graph/iter-prune-val.hpp gecode/int/distinct/graph.hpp gecode/int/distinct/dom-ctrl.hpp gecode/int/distinct/bnd.hpp gecode/int/distinct/dom.hpp gecode/int/distinct/val.hpp gecode/int/distinct/ter-dom.hpp gecode/int/distinct/cbs.hpp gecode/int/distinct/eqite.hpp gecode/int/dom/range.hpp gecode/int/dom/set.hpp gecode/int/element/int.hpp gecode/int/element/view.hpp gecode/int/element/pair.hpp gecode/int/gcc/bnd.hpp gecode/int/gcc/dom.hpp gecode/int/gcc/bnd-sup.hpp gecode/int/gcc/dom-sup.hpp gecode/int/gcc/val.hpp gecode/int/gcc/view.hpp gecode/int/gcc/post.hpp gecode/int/linear/post.hpp gecode/int/linear/int-noview.hpp gecode/int/linear/int-bin.hpp gecode/int/linear/int-ter.hpp gecode/int/linear/int-nary.hpp gecode/int/linear/int-dom.hpp gecode/int/linear/bool-int.hpp gecode/int/linear/bool-view.hpp gecode/int/linear/bool-scale.hpp gecode/int/extensional/dfa.hpp gecode/int/extensional/layered-graph.hpp gecode/int/extensional/tuple-set.hpp gecode/int/extensional/compact.hpp gecode/int/extensional/tiny-bit-set.hpp gecode/int/extensional/bit-set.hpp gecode/int/extensional.hpp gecode/int/rel/eq.hpp gecode/int/rel/lex.hpp gecode/int/rel/lq-le.hpp gecode/int/rel/nq.hpp gecode/int/sorted/matching.hpp gecode/int/sorted/narrowing.hpp gecode/int/sorted/order.hpp gecode/int/sorted/propagate.hpp gecode/int/sorted/sortsup.hpp gecode/int/int-set-1.hpp gecode/int/int-set-2.hpp gecode/int/var-imp/delta.hpp gecode/int/var/print.hpp gecode/int/var/bool.hpp gecode/int/var-imp/int.hpp gecode/int/var-imp/bool.hpp gecode/int/var/int.hpp gecode/int/view/bool.hpp gecode/int/view/cached.hpp gecode/int/view/constint.hpp gecode/int/view/zero.hpp gecode/int/view/int.hpp gecode/int/view/minus.hpp gecode/int/view/print.hpp gecode/int/view/neg-bool.hpp gecode/int/view/bool-test.hpp gecode/int/view/offset.hpp gecode/int/view/rel-test.hpp gecode/int/view/scale.hpp gecode/int/view/iter.hpp gecode/int/arithmetic.hh gecode/int/array.hpp gecode/int/array-traits.hpp gecode/int/bool.hh gecode/int/branch.hh gecode/int/distinct.hh gecode/int/dom.hh gecode/int/element.hh gecode/int/exception.hpp gecode/int/gcc.hh gecode/int/linear.hh gecode/int/reify.hpp gecode/int/propagator.hpp gecode/int/extensional.hh gecode/int/rel.hh gecode/int/sorted.hh gecode/int/var-imp.hpp gecode/int/view.hpp gecode/int/ipl.hpp gecode/int/irt.hpp gecode/int/channel.hh gecode/int/channel.hpp gecode/int/channel/dom.hpp gecode/int/channel/val.hpp gecode/int/channel/base.hpp gecode/int/channel/link-single.hpp gecode/int/channel/link-multi.hpp gecode/int/sequence.hh gecode/int/sequence/int.hpp gecode/int/sequence/view.hpp gecode/int/sequence/set-op.hpp gecode/int/sequence/violations.hpp gecode/int/bin-packing.hh gecode/int/bin-packing/propagate.hpp gecode/int/bin-packing/conflict-graph.hpp gecode/int/task.hh gecode/int/task/fwd-to-bwd.hpp gecode/int/task/array.hpp gecode/int/task/sort.hpp gecode/int/task/iter.hpp gecode/int/task/tree.hpp gecode/int/task/purge.hpp gecode/int/task/prop.hpp gecode/int/task/man-to-opt.hpp gecode/int/task/event.hpp gecode/int/order.hh gecode/int/order/propagate.hpp gecode/int/unary.hh gecode/int/unary/task.hpp gecode/int/unary/task-view.hpp gecode/int/unary/tree.hpp gecode/int/unary/overload.hpp gecode/int/unary/detectable.hpp gecode/int/unary/time-tabling.hpp gecode/int/unary/not-first-not-last.hpp gecode/int/unary/edge-finding.hpp gecode/int/unary/subsumption.hpp gecode/int/unary/man-prop.hpp gecode/int/unary/opt-prop.hpp gecode/int/unary/post.hpp gecode/int/cumulative.hh gecode/int/cumulative/man-prop.hpp gecode/int/cumulative/opt-prop.hpp gecode/int/cumulative/task-view.hpp gecode/int/cumulative/overload.hpp gecode/int/cumulative/time-tabling.hpp gecode/int/cumulative/task.hpp gecode/int/cumulative/edge-finding.hpp gecode/int/cumulative/post.hpp gecode/int/cumulative/tree.hpp gecode/int/cumulative/limits.hpp gecode/int/cumulative/subsumption.hpp gecode/int/cumulatives.hh gecode/int/cumulatives/val.hpp gecode/int/circuit.hh gecode/int/circuit/base.hpp gecode/int/circuit/val.hpp gecode/int/circuit/dom.hpp gecode/int/no-overlap.hh gecode/int/no-overlap/dim.hpp gecode/int/no-overlap/box.hpp gecode/int/no-overlap/base.hpp gecode/int/no-overlap/man.hpp gecode/int/no-overlap/opt.hpp gecode/int/nvalues.hh gecode/int/nvalues/range-event.hpp gecode/int/nvalues/sym-bit-matrix.hpp gecode/int/nvalues/graph.hpp gecode/int/nvalues/bool-base.hpp gecode/int/nvalues/bool-eq.hpp gecode/int/nvalues/bool-lq.hpp gecode/int/nvalues/bool-gq.hpp gecode/int/nvalues/int-base.hpp gecode/int/nvalues/int-eq.hpp gecode/int/nvalues/int-lq.hpp gecode/int/nvalues/int-gq.hpp gecode/int/val-set.hh gecode/int/val-set.hpp gecode/int/member.hh gecode/int/member/prop.hpp gecode/int/member/re-prop.hpp gecode/int/branch/afc.hpp gecode/int/branch/action.hpp gecode/int/branch/chb.hpp gecode/int/ldsb.hh gecode/int/ldsb/brancher.hpp gecode/int/ldsb/sym-imp.hpp gecode/int/trace.hpp gecode/int/trace/bool-trace-view.hpp gecode/int/trace/int-trace-view.hpp gecode/int/trace/bool-delta.hpp gecode/int/trace/int-delta.hpp gecode/int/trace/traits.hpp gecode/float.hh gecode/float/var-imp.hpp gecode/float/array.hpp gecode/float/array-traits.hpp gecode/float/limits.hpp gecode/float/exception.hpp gecode/float/view.hpp gecode/float/view/float.hpp gecode/float/view/minus.hpp gecode/float/view/offset.hpp gecode/float/view/scale.hpp gecode/float/view/print.hpp gecode/float/view/rel-test.hpp gecode/float/var-imp/float.hpp gecode/float/var-imp/delta.hpp gecode/float/var/float.hpp gecode/float/var/print.hpp gecode/float/linear.hh gecode/float/linear/nary.hpp gecode/float/arithmetic.hh gecode/float/arithmetic/sqr-sqrt.hpp gecode/float/arithmetic/pow-nroot.hpp gecode/float/arithmetic/mult.hpp gecode/float/arithmetic/div.hpp gecode/float/arithmetic/min-max.hpp gecode/float/arithmetic/abs.hpp gecode/float/channel.hh gecode/float/channel.hpp gecode/float/channel/channel.hpp gecode/float/transcendental.hh gecode/float/transcendental/exp-log.hpp gecode/float/trigonometric.hh gecode/float/trigonometric/sincos.hpp gecode/float/trigonometric/asinacos.hpp gecode/float/trigonometric/tanatan.hpp gecode/float/rel.hh gecode/float/rel/eq.hpp gecode/float/rel/lq-le.hpp gecode/float/rel/nq.hpp gecode/float/bool.hh gecode/float/bool/ite.hpp gecode/float/branch.hh gecode/float/branch/afc.hpp gecode/float/branch/action.hpp gecode/float/branch/chb.hpp gecode/float/branch/traits.hpp gecode/float/branch.hpp gecode/float/branch/var.hpp gecode/float/branch/val.hpp gecode/float/branch/assign.hpp gecode/float/branch/val-commit.hpp gecode/float/branch/val-sel.hpp gecode/float/branch/merit.hpp gecode/float/num.hpp gecode/float/val.hpp gecode/float/rounding.hpp gecode/float/nextafter.hpp gecode/float/trace.hpp gecode/float/trace/trace-view.hpp gecode/float/trace/delta.hpp gecode/float/trace/traits.hpp gecode/set.hh gecode/set/limits.hpp gecode/set/view.hpp gecode/set/exception.hpp gecode/set/int.hh gecode/set/int.hpp gecode/set/element.hh gecode/set/var-imp.hpp gecode/set/int/card.hpp gecode/set/int/minmax.hpp gecode/set/int/weights.hpp gecode/set/channel/sorted.hpp gecode/set/channel/int.hpp gecode/set/channel/bool.hpp gecode/set/channel/set.hpp gecode/set/element/inter.hpp gecode/set/element/union.hpp gecode/set/element/unionConst.hpp gecode/set/element/disjoint.hpp gecode/set/array.hpp gecode/set/array-traits.hpp gecode/set/var-imp/set.hpp gecode/set/var-imp/integerset.hpp gecode/set/var-imp/delta.hpp gecode/set/var-imp/iter.hpp gecode/set/var/set.hpp gecode/set/var/print.hpp gecode/set/view/complement.hpp gecode/set/view/const.hpp gecode/set/view/set.hpp gecode/set/view/singleton.hpp gecode/set/view/cached.hpp gecode/set/view/print.hpp gecode/set/rel/subset.hpp gecode/set/rel/re-subset.hpp gecode/set/rel/eq.hpp gecode/set/rel/nq.hpp gecode/set/rel/re-eq.hpp gecode/set/rel/lq.hpp gecode/set/rel/re-lq.hpp gecode/set/rel/common.hpp gecode/set/rel/nosubset.hpp gecode/set/sequence.hh gecode/set/rel-op/union.hpp gecode/set/rel-op/partition.hpp gecode/set/rel-op/subofunion.hpp gecode/set/rel-op/inter.hpp gecode/set/rel-op/superofinter.hpp gecode/set/rel-op/post.hpp gecode/set/rel-op/common.hpp gecode/set/rel.hh gecode/set/distinct.hh gecode/set/distinct/atmostOne.hpp gecode/set/sequence/seq.hpp gecode/set/sequence/seq-u.hpp gecode/set/sequence/common.hpp gecode/set/convex/conv.hpp gecode/set/convex/hull.hpp gecode/set/convex.hh gecode/set/precede.hh gecode/set/precede/single.hpp gecode/set/rel-op.hh gecode/set/branch.hh gecode/set/branch/afc.hpp gecode/set/branch/action.hpp gecode/set/branch/chb.hpp gecode/set/branch/traits.hpp gecode/set/branch.hpp gecode/set/branch/var.hpp gecode/set/branch/val.hpp gecode/set/branch/assign.hpp gecode/set/branch/merit.hpp gecode/set/branch/val-commit.hpp gecode/set/branch/val-sel.hpp gecode/set/branch/ngl.hpp gecode/set/ldsb.hh gecode/set/ldsb/brancher.hpp gecode/set/channel.hh gecode/set/trace.hpp gecode/set/trace/trace-view.hpp gecode/set/trace/delta.hpp gecode/set/trace/traits.hpp gecode/minimodel.hh gecode/minimodel/int-expr.hpp gecode/minimodel/int-rel.hpp gecode/minimodel/float-expr.hpp gecode/minimodel/float-rel.hpp gecode/minimodel/bool-expr.hpp gecode/minimodel/set-expr.hpp gecode/minimodel/set-rel.hpp gecode/minimodel/exception.hpp gecode/minimodel/matrix.hpp gecode/minimodel/optimize.hpp gecode/minimodel/reg.hpp gecode/minimodel/ldsb.hpp gecode/minimodel/channel.hpp gecode/minimodel/aliases.hpp gecode/minimodel/ipl.hpp gecode/driver.hh gecode/driver/options.hpp gecode/driver/script.hpp gecode/iter.hh gecode/iter/ranges-add.hpp gecode/iter/ranges-append.hpp gecode/iter/ranges-array.hpp gecode/iter/ranges-cache.hpp gecode/iter/ranges-compl.hpp gecode/iter/ranges-diff.hpp gecode/iter/ranges-empty.hpp gecode/iter/ranges-inter.hpp gecode/iter/ranges-minmax.hpp gecode/iter/ranges-minus.hpp gecode/iter/ranges-offset.hpp gecode/iter/ranges-operations.hpp gecode/iter/ranges-rangelist.hpp gecode/iter/ranges-scale.hpp gecode/iter/ranges-singleton.hpp gecode/iter/ranges-singleton-append.hpp gecode/iter/ranges-size.hpp gecode/iter/ranges-union.hpp gecode/iter/ranges-values.hpp gecode/iter/ranges-negative.hpp gecode/iter/ranges-positive.hpp gecode/iter/ranges-map.hpp gecode/iter/ranges-list.hpp gecode/iter/values-array.hpp gecode/iter/values-minus.hpp gecode/iter/values-offset.hpp gecode/iter/values-ranges.hpp gecode/iter/values-positive.hpp gecode/iter/values-negative.hpp gecode/iter/values-singleton.hpp gecode/iter/values-unique.hpp gecode/iter/values-inter.hpp gecode/iter/values-union.hpp gecode/iter/values-map.hpp gecode/iter/values-bitset.hpp gecode/iter/values-list.hpp gecode/iter/values-bitsetoffset.hpp gecode/gist/drawingcursor.hh gecode/gist/drawingcursor.hpp gecode/gist/gist.hpp gecode/gist/gecodelogo.hh gecode/gist/node.hh gecode/gist/node.hpp gecode/gist/nodecursor.hh gecode/gist/nodecursor.hpp gecode/gist/nodevisitor.hh gecode/gist/nodevisitor.hpp gecode/gist/layoutcursor.hh gecode/gist/layoutcursor.hpp gecode/gist/spacenode.hh gecode/gist/spacenode.hpp gecode/gist/qtgist.hh gecode/gist/textoutput.hh gecode/gist/treecanvas.hh gecode/gist/zoomToFitIcon.hpp gecode/gist/visualnode.hh gecode/gist/visualnode.hpp gecode/gist/nodestats.hh gecode/gist/nodewidget.hh gecode/gist/mainwindow.hh gecode/gist/preferences.hh gecode/gist/stopbrancher.hh gecode/gist.hh gecode/flatzinc/ast.hh gecode/flatzinc/conexpr.hh gecode/flatzinc/option.hh gecode/flatzinc/parser.hh gecode/flatzinc/plugin.hh gecode/flatzinc/registry.hh gecode/flatzinc/symboltable.hh gecode/flatzinc/varspec.hh gecode/flatzinc/branch.hh gecode/flatzinc/branch.hpp gecode/flatzinc.hh examples/scowl.hpp examples/job-shop-instances.hpp gecode/third-party/boost/config/compiler/borland.hpp gecode/third-party/boost/config/compiler/clang.hpp gecode/third-party/boost/config/compiler/codegear.hpp gecode/third-party/boost/config/compiler/comeau.hpp gecode/third-party/boost/config/compiler/common_edg.hpp gecode/third-party/boost/config/compiler/compaq_cxx.hpp gecode/third-party/boost/config/compiler/digitalmars.hpp gecode/third-party/boost/config/compiler/gcc.hpp gecode/third-party/boost/config/compiler/gcc_xml.hpp gecode/third-party/boost/config/compiler/greenhills.hpp gecode/third-party/boost/config/compiler/hp_acc.hpp gecode/third-party/boost/config/compiler/intel.hpp gecode/third-party/boost/config/compiler/kai.hpp gecode/third-party/boost/config/compiler/metrowerks.hpp gecode/third-party/boost/config/compiler/mpw.hpp gecode/third-party/boost/config/compiler/nvcc.hpp gecode/third-party/boost/config/compiler/pathscale.hpp gecode/third-party/boost/config/compiler/pgi.hpp gecode/third-party/boost/config/compiler/sgi_mipspro.hpp gecode/third-party/boost/config/compiler/sunpro_cc.hpp gecode/third-party/boost/config/compiler/vacpp.hpp gecode/third-party/boost/config/compiler/visualc.hpp gecode/third-party/boost/config/no_tr1/cmath.hpp gecode/third-party/boost/config/no_tr1/utility.hpp gecode/third-party/boost/config/platform/aix.hpp gecode/third-party/boost/config/platform/amigaos.hpp gecode/third-party/boost/config/platform/beos.hpp gecode/third-party/boost/config/platform/bsd.hpp gecode/third-party/boost/config/platform/cygwin.hpp gecode/third-party/boost/config/platform/hpux.hpp gecode/third-party/boost/config/platform/irix.hpp gecode/third-party/boost/config/platform/linux.hpp gecode/third-party/boost/config/platform/macos.hpp gecode/third-party/boost/config/platform/qnxnto.hpp gecode/third-party/boost/config/platform/solaris.hpp gecode/third-party/boost/config/platform/symbian.hpp gecode/third-party/boost/config/platform/vms.hpp gecode/third-party/boost/config/platform/vxworks.hpp gecode/third-party/boost/config/platform/win32.hpp gecode/third-party/boost/config/posix_features.hpp gecode/third-party/boost/config/select_compiler_config.hpp gecode/third-party/boost/config/select_platform_config.hpp gecode/third-party/boost/config/select_stdlib_config.hpp gecode/third-party/boost/config/stdlib/dinkumware.hpp gecode/third-party/boost/config/stdlib/libcomo.hpp gecode/third-party/boost/config/stdlib/libcpp.hpp gecode/third-party/boost/config/stdlib/libstdcpp3.hpp gecode/third-party/boost/config/stdlib/modena.hpp gecode/third-party/boost/config/stdlib/msl.hpp gecode/third-party/boost/config/stdlib/roguewave.hpp gecode/third-party/boost/config/stdlib/sgi.hpp gecode/third-party/boost/config/stdlib/stlport.hpp gecode/third-party/boost/config/stdlib/vacpp.hpp gecode/third-party/boost/config/suffix.hpp gecode/third-party/boost/config/user.hpp gecode/third-party/boost/config.hpp gecode/third-party/boost/detail/endian.hpp gecode/third-party/boost/detail/limits.hpp gecode/third-party/boost/numeric/interval/arith.hpp gecode/third-party/boost/numeric/interval/arith2.hpp gecode/third-party/boost/numeric/interval/arith3.hpp gecode/third-party/boost/numeric/interval/checking.hpp gecode/third-party/boost/numeric/interval/compare/certain.hpp gecode/third-party/boost/numeric/interval/compare/explicit.hpp gecode/third-party/boost/numeric/interval/compare/lexicographic.hpp gecode/third-party/boost/numeric/interval/compare/possible.hpp gecode/third-party/boost/numeric/interval/compare/set.hpp gecode/third-party/boost/numeric/interval/compare.hpp gecode/third-party/boost/numeric/interval/constants.hpp gecode/third-party/boost/numeric/interval/detail/alpha_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/bcc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/bugs.hpp gecode/third-party/boost/numeric/interval/detail/c99sub_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/division.hpp gecode/third-party/boost/numeric/interval/detail/ia64_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/interval_prototype.hpp gecode/third-party/boost/numeric/interval/detail/msvc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/ppc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/sparc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/test_input.hpp gecode/third-party/boost/numeric/interval/detail/x86gcc_rounding_control.hpp gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp gecode/third-party/boost/numeric/interval/hw_rounding.hpp gecode/third-party/boost/numeric/interval/interval.hpp gecode/third-party/boost/numeric/interval/policies.hpp gecode/third-party/boost/numeric/interval/rounded_arith.hpp gecode/third-party/boost/numeric/interval/rounded_transc.hpp gecode/third-party/boost/numeric/interval/rounding.hpp gecode/third-party/boost/numeric/interval/transc.hpp gecode/third-party/boost/numeric/interval/utility.hpp gecode/third-party/boost/numeric/interval.hpp gecode/third-party/boost/LICENSE_1_0.txt gecode/third-party/boost/limits.hpp gecode/third-party/boost/non_type.hpp gecode/third-party/boost/type.hpp) | \ (cd /construction/math/gecode/stage/usr/local/include && tar xf -) && \ for_varimpheaders="gecode/kernel/var-type.hpp gecode/kernel/var-imp.hpp" && \ for f in $for_varimpheaders; do \ cp $f /construction/math/gecode/stage/usr/local/include/gecode/kernel; done && \ for_extraheaders="gecode/support/config.hpp gecode/flatzinc/parser.tab.hpp" && \ for f in $for_extraheaders; do \ cp $f /construction/math/gecode/stage/usr/local/include/$f; done && \ mkdir -p /construction/math/gecode/stage/usr/local/share/minizinc/solvers && \ for_flatconf="tools/flatzinc/gecode.msc" && \ for f in $for_flatconf; do \ cp $f /construction/math/gecode/stage/usr/local/share/minizinc/solvers; done && \ for_mznlib="gecode/flatzinc/mznlib" && \ mkdir -p /construction/math/gecode/stage/usr/local/share/minizinc/gecode; \ for f in $for_mznlib; do \ cp ./$f/*.mzn \ /construction/math/gecode/stage/usr/local/share/minizinc/gecode; done gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake ranliblib gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Nothing to be done for 'ranliblib'. gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake installsubdirs gmake[2]: Entering directory '/construction/math/gecode/gecode-6b09bea' gmake[2]: Leaving directory '/construction/math/gecode/gecode-6b09bea' gmake[1]: Leaving directory '/construction/math/gecode/gecode-6b09bea' ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for gecode-6.3.0_6 file sizes/checksums [790]: 0% file sizes/checksums [790]: 12% file sizes/checksums [790]: 25% file sizes/checksums [790]: 37% file sizes/checksums [790]: 50% file sizes/checksums [790]: 63% file sizes/checksums [790]: 75% file sizes/checksums [790]: 88% file sizes/checksums [790]: 100% Service unavailablepacking files [790]: 0% packing files [790]: 12% packing files [790]: 25% packing files [790]: 37% packing files [790]: 50% packing files [790]: 63% packing files [790]: 75% packing files [790]: 88% packing files [790]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:05 TOTAL TIME 00:01:41