=> Building devel/gecode Started : Thursday, 30 AUG 2018 at 14:35:41 UTC Platform: 5.3-DEVELOPMENT DragonFly 5.3-DEVELOPMENT #140: Wed Aug 29 22:06:30 PDT 2018 root@test.backplane.com:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.3-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.3-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for gecode-5.1.0_1: GIST=off: Interactive Search Tool (requires Qt) ===> Use 'make config' to modify these settings -------------------------------------------------- -- 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/devel/gecode XDG_CONFIG_HOME=/construction/devel/gecode HOME=/construction/devel/gecode TMPDIR="/tmp" PATH=/construction/devel/gecode/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --disable-static --enable-shared --disable-doc-dot --disable-doc-tagfile --disable-doc-chm --enable-driver --enable-graph --enable-flatzinc --enable-sheduling --disable-examples --enable-minimodel --enable-search --with-gmp-include=/usr/local/include --with-gmp-lib=/usr/local/lib --with-mpfr-include=/usr/local/include --with-mpfr-lib=/usr/local/lib --disable-gist --disable-qt --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- PERL_USE_UNSAFE_INC=1 XDG_DATA_HOME=/construction/devel/gecode XDG_CONFIG_HOME=/construction/devel/gecode HOME=/construction/devel/gecode TMPDIR="/tmp" PATH=/construction/devel/gecode/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/devel/gecode/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- SHLIB_VERSION=44 PORTDOCS="" PORTEXAMPLES="" GIST="@comment " NO_GIST="" OSREL=5.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PERL_VERSION=5.26.2 PERL_VER=5.26 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.26 PROFILE="@comment " DOCSDIR="share/doc/gecode" EXAMPLESDIR="share/examples/gecode" DATADIR="share/gecode" WWWDIR="www/gecode" ETCDIR="etc/gecode" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- GIST="@comment " NO_GIST="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/gecode DOCSDIR=/usr/local/share/doc/gecode EXAMPLESDIR=/usr/local/share/examples/gecode WWWDIR=/usr/local/www/gecode ETCDIR=/usr/local/etc/gecode -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=LiveSystem USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=12 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500316 OSVERSION=9999999 OSREL=5.3 _OSRELEASE=5.3-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> gecode-5.1.0_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_1.txz Installing pkg-1.10.5_1... Extracting pkg-1.10.5_1: .......... done ===> gecode-5.1.0_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of gecode-5.1.0_1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_1 for building => SHA256 Checksum OK for gecode-5.1.0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_1 for building ===> Extracting for gecode-5.1.0_1 ===> License BSL MIT accepted by the user ===> Fetching all distfiles required by gecode-5.1.0_1 for building => SHA256 Checksum OK for gecode-5.1.0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for gecode-5.1.0_1 ===> Applying ports patches for gecode-5.1.0_1 ===> Applying dragonfly patches for gecode-5.1.0_1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> gecode-5.1.0_1 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.0.4,1.txz Installing bison-3.0.4,1... `-- Installing gettext-runtime-0.19.8.1_1... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gettext-runtime-0.19.8.1_1: .......... done `-- Installing m4-1.4.18,1... `-- Extracting m4-1.4.18,1: .......... done Extracting bison-3.0.4,1: .......... done ===> gecode-5.1.0_1 depends on executable: bison - found ===> Returning to build of gecode-5.1.0_1 ===> gecode-5.1.0_1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_2.txz Installing gmake-4.2.1_2... Extracting gmake-4.2.1_2: .......... done ===> gecode-5.1.0_1 depends on executable: gmake - found ===> Returning to build of gecode-5.1.0_1 ===> gecode-5.1.0_1 depends on package: perl5>=5.26<5.27 - not found ===> Installing existing package /packages/All/perl5-5.26.2.txz Installing perl5-5.26.2... Extracting perl5-5.26.2: .......... done Message from perl5-5.26.2: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. ===> gecode-5.1.0_1 depends on package: perl5>=5.26<5.27 - found ===> Returning to build of gecode-5.1.0_1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> gecode-5.1.0_1 depends on shared library: libmpfr.so - not found ===> Installing existing package /packages/All/mpfr-4.0.1.txz Installing mpfr-4.0.1... `-- Installing gmp-6.1.2... `-- Extracting gmp-6.1.2: .......... done Extracting mpfr-4.0.1: .......... done ===> gecode-5.1.0_1 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> Returning to build of gecode-5.1.0_1 ===> gecode-5.1.0_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for gecode-5.1.0_1 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 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 -pipe... yes checking whether cc accepts -pipe... yes checking whether c++ accepts -std=c++11... yes checking whether cc accepts -std=c++11... no checking whether c++ accepts -ggdb... yes checking for __builtin_ffsl... yes 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 ... yes checking whether cc accepts ... 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... no configure: WARNING: unordered_map: accepted by the compiler, rejected by the preprocessor! configure: WARNING: unordered_map: proceeding with the compiler's result 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... no 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... yes checking gmp.h usability... yes checking gmp.h presence... yes checking for gmp.h... yes checking mpfr.h usability... yes checking mpfr.h presence... yes checking for mpfr.h... yes checking for mpfr_add in -lmpfr... yes checking for qmake-qt4... no checking for qmake... no checking for moc-qt4... no checking for moc... no checking whether to build with Qt support... no checking whether to build Gist... 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 doxygen.conf config.status: creating doxygen.hh config.status: creating gecode/support/config.hpp -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for gecode-5.1.0_1 gmake[2]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' 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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/support/hw-rnd.o gecode/support/hw-rnd.cpp 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.44 \ -o libgecodesupport.so.44.0 ln -fs libgecodesupport.so.44.0 libgecodesupport.so ln -fs libgecodesupport.so.44.0 libgecodesupport.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/branch.o gecode/kernel/branch.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/region.o gecode/kernel/region.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/afc.o gecode/kernel/afc.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/action.o gecode/kernel/action.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/chb.o gecode/kernel/chb.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/rnd.o gecode/kernel/rnd.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/tracer.o gecode/kernel/tracer.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/kernel/trace.o gecode/kernel/trace.cpp c++ -shared -pthread gecode/kernel/archive.o gecode/kernel/core.o gecode/kernel/memory-manager.o gecode/kernel/branch.o gecode/kernel/region.o gecode/kernel/afc.o gecode/kernel/action.o gecode/kernel/chb.o gecode/kernel/rnd.o gecode/kernel/exception.o gecode/kernel/trace-recorder.o gecode/kernel/trace-filter.o gecode/kernel/tracer.o gecode/kernel/trace.o -Wl,-soname=libgecodekernel.so.44 \ -L. -lgecodesupport \ -o libgecodekernel.so.44.0 ln -fs libgecodekernel.so.44.0 libgecodekernel.so ln -fs libgecodekernel.so.44.0 libgecodekernel.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/engine.o gecode/search/parallel/engine.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/dfs.o gecode/search/parallel/dfs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/bab.o gecode/search/parallel/bab.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/sequential/lds.o gecode/search/sequential/lds.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/sequential/path.o gecode/search/sequential/path.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/parallel/path.o gecode/search/parallel/path.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/rbs.o gecode/search/meta/rbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/nogoods.o gecode/search/meta/nogoods.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/dead.o gecode/search/meta/dead.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/sequential/pbs.o gecode/search/meta/sequential/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/meta/parallel/pbs.o gecode/search/meta/parallel/pbs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/sebs.o gecode/search/sebs.cpp c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/search/exception.o gecode/search/exception.cpp c++ -shared -pthread gecode/search/stop.o gecode/search/options.o gecode/search/cutoff.o gecode/search/engine.o gecode/search/parallel/engine.o gecode/search/dfs.o gecode/search/parallel/dfs.o gecode/search/bab.o gecode/search/parallel/bab.o gecode/search/lds.o gecode/search/sequential/lds.o gecode/search/sequential/path.o gecode/search/parallel/path.o gecode/search/meta/rbs.o gecode/search/meta/nogoods.o gecode/search/meta/dead.o gecode/search/meta/sequential/pbs.o gecode/search/meta/parallel/pbs.o gecode/search/rbs.o gecode/search/pbs.o gecode/search/sebs.o gecode/search/exception.o -Wl,-soname=libgecodesearch.so.44 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodesearch.so.44.0 ln -fs libgecodesearch.so.44.0 libgecodesearch.so ln -fs libgecodesearch.so.44.0 libgecodesearch.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/int-set.o gecode/int/int-set.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/int-set.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var-imp/int.o gecode/int/var-imp/int.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/var-imp/int.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var-imp/bool.o gecode/int/var-imp/bool.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/var-imp/bool.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var/int.o gecode/int/var/int.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/var/int.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/var/bool.o gecode/int/var/bool.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/var/bool.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/array.o gecode/int/array.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/array.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bool.o gecode/int/bool.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/bool.hh:43, from gecode/int/bool.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bool/eqv.o gecode/int/bool/eqv.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/bool.hh:43, from gecode/int/bool/eqv.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional/dfa.o gecode/int/extensional/dfa.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/extensional/dfa.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional/tuple-set.o gecode/int/extensional/tuple-set.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/extensional/tuple-set.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/extensional.o gecode/int/extensional.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/extensional.hh:43, from gecode/int/extensional.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/dom.o gecode/int/dom.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/dom.hh:43, from gecode/int/dom.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/rel.o gecode/int/rel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/rel.hh:47, from gecode/int/rel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/precede.o gecode/int/precede.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/precede.hh:45, from gecode/int/precede.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/element.o gecode/int/element.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/element.hh:43, from gecode/int/element.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/count.o gecode/int/count.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/count.hh:43, from gecode/int/count.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/arithmetic.o gecode/int/arithmetic.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/arithmetic.hh:43, from gecode/int/arithmetic.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/exec.o gecode/int/exec.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/exec.hh:41, from gecode/int/exec.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/exec/when.o gecode/int/exec/when.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/exec.hh:41, from gecode/int/exec/when.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/element/pair.o gecode/int/element/pair.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/element.hh:43, from gecode/int/element/pair.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear/int-post.o gecode/int/linear/int-post.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/rel.hh:47, from gecode/int/linear/int-post.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear-int.o gecode/int/linear-int.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/linear.hh:45, from gecode/int/linear-int.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear/bool-post.o gecode/int/linear/bool-post.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/linear.hh:45, from gecode/int/linear/bool-post.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/linear-bool.o gecode/int/linear-bool.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/linear.hh:45, from gecode/int/linear-bool.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch.o gecode/int/branch.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/branch.hh:41, from gecode/int/branch.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ In file included from ./gecode/kernel.hh:245:0, from ./gecode/int.hh:59, from ./gecode/int/branch.hh:41, from gecode/int/branch.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::IntView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]': ./gecode/int/branch/view-values.hpp:101:58: required from 'Gecode::Int::Branch::ViewValuesBrancher::ViewValuesBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:113:5: required from 'static void Gecode::Int::Branch::ViewValuesBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:210:17: required from 'void Gecode::Int::Branch::postviewvaluesbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' gecode/int/branch.cpp:56:63: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ^ ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::BoolView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:260:5: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:368:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/branch.cpp:183:57: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] In file included from ./gecode/kernel.hh:243:0, from ./gecode/int.hh:59, from ./gecode/int/branch.hh:41, from gecode/int/branch.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::IntView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::IntView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]' ./gecode/int/branch/view-values.hpp:101:58: required from 'Gecode::Int::Branch::ViewValuesBrancher::ViewValuesBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:113:5: required from 'static void Gecode::Int::Branch::ViewValuesBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' ./gecode/int/branch/view-values.hpp:216:17: required from 'void Gecode::Int::Branch::postviewvaluesbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::IntBranchFilter, Gecode::IntVarValPrint) [with int n = 1; bool min = true; Gecode::IntBranchFilter = std::function; Gecode::IntVarValPrint = std::function&)>]' gecode/int/branch.cpp:56:63: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ^ ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:260:5: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:374:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/branch.cpp:183:57: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct/eqite.o gecode/int/distinct/eqite.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/distinct.hh:47, from gecode/int/distinct/eqite.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/distinct.o gecode/int/distinct.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/distinct.hh:47, from gecode/int/distinct.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/sorted.o gecode/int/sorted.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/sorted.hh:42, from gecode/int/sorted.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/gcc.o gecode/int/gcc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/gcc.hh:47, from gecode/int/gcc.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/channel.o gecode/int/channel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/channel.hh:41, from gecode/int/channel.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/channel/link-single.o gecode/int/channel/link-single.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/channel.hh:41, from gecode/int/channel/link-single.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/channel/link-multi.o gecode/int/channel/link-multi.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/channel.hh:41, from gecode/int/channel/link-multi.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/unshare.o gecode/int/unshare.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/rel.hh:47, from gecode/int/unshare.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/sequence.o gecode/int/sequence.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/sequence.hh:41, from gecode/int/sequence.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing.o gecode/int/bin-packing.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/bin-packing.hh:45, from gecode/int/bin-packing.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing/propagate.o gecode/int/bin-packing/propagate.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/bin-packing.hh:45, from gecode/int/bin-packing/propagate.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/bin-packing/conflict-graph.o gecode/int/bin-packing/conflict-graph.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/bin-packing.hh:45, from gecode/int/bin-packing/conflict-graph.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/unary.o gecode/int/unary.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/task.hh:41, from ./gecode/int/unary.hh:43, from gecode/int/unary.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/cumulative.o gecode/int/cumulative.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/task.hh:41, from ./gecode/int/cumulative.hh:43, from gecode/int/cumulative.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/cumulatives.o gecode/int/cumulatives.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/cumulatives.hh:41, from gecode/int/cumulatives.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/circuit.o gecode/int/circuit.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/circuit.hh:41, from gecode/int/circuit.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/no-overlap.o gecode/int/no-overlap.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/no-overlap.hh:41, from gecode/int/no-overlap.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/nvalues.o gecode/int/nvalues.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/nvalues.hh:41, from gecode/int/nvalues.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/member.o gecode/int/member.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/member.hh:41, from gecode/int/member.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/action.o gecode/int/branch/action.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/branch/action.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/chb.o gecode/int/branch/chb.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/branch/chb.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/arithmetic/mult.o gecode/int/arithmetic/mult.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/arithmetic.hh:43, from gecode/int/arithmetic/mult.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/view-sel.o gecode/int/branch/view-sel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/branch.hh:41, from gecode/int/branch/view-sel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/val-sel-commit.o gecode/int/branch/val-sel-commit.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/branch.hh:41, from gecode/int/branch/val-sel-commit.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/branch/view-values.o gecode/int/branch/view-values.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/branch.hh:41, from gecode/int/branch/view-values.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/relax.o gecode/int/relax.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/relax.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb.o gecode/int/ldsb.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ In file included from ./gecode/kernel.hh:245:0, from ./gecode/int.hh:59, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::IntView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:5: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:298:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' gecode/int/ldsb.cpp:307:24: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ^ ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Int::BoolView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:5: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:298:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/ldsb.cpp:467:67: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] In file included from ./gecode/kernel.hh:243:0, from ./gecode/int.hh:59, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::IntView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::IntView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:5: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::IntVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:303:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::IntView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::IntVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::IntVar]' gecode/int/ldsb.cpp:307:24: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ^ ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Int::BoolView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:127:5: required from 'static void Gecode::Int::LDSB::LDSBBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::BoolVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/int/ldsb/brancher.hpp:303:17: required from 'void Gecode::Int::LDSB::postldsbbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Int::BoolView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::BoolVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::BoolVar]' gecode/int/ldsb.cpp:467:67: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-imp.o gecode/int/ldsb/sym-imp.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb/sym-imp.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/ldsb/sym-obj.o gecode/int/ldsb/sym-obj.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/int/ldsb.hh:41, from gecode/int/ldsb/sym-obj.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/trace.o gecode/int/trace.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/trace.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/trace/tracer.o gecode/int/trace/tracer.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/trace/tracer.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/int/exception.o gecode/int/exception.cpp In file included from ./gecode/int.hh:4494:0, from gecode/int/exception.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ 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.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.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/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.44 \ -L. -lgecodesupport -lgecodekernel \ -o libgecodeint.so.44.0 ln -fs libgecodeint.so.44.0 libgecodeint.so ln -fs libgecodeint.so.44.0 libgecodeint.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/var/float.o gecode/float/var/float.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/var/float.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/var-imp/float.o gecode/float/var-imp/float.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/var-imp/float.cpp:45: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/arithmetic.o gecode/float/arithmetic.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float/arithmetic.hh:45, from gecode/float/arithmetic.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/array.o gecode/float/array.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/array.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch.o gecode/float/branch.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from ./gecode/float/branch.hh:43, from gecode/float/branch.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ In file included from ./gecode/kernel.hh:245:0, from ./gecode/float.hh:51, from ./gecode/float/branch.hh:43, from gecode/float/branch.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Float::FloatView; Val = Gecode::FloatNumBranch; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:260:5: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:368:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' gecode/float/branch.cpp:55:57: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ^ In file included from ./gecode/kernel.hh:243:0, from ./gecode/float.hh:51, from ./gecode/float/branch.hh:43, from gecode/float/branch.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Float::FloatView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Float::FloatView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:260:5: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' ./gecode/kernel/brancher-view-val.hpp:374:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Float::FloatView; int n = 1; Val = Gecode::FloatNumBranch; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::FloatVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::FloatVar]' gecode/float/branch.cpp:55:57: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/rel.o gecode/float/rel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float/rel.hh:49, from gecode/float/rel.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/linear.o gecode/float/linear.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float/linear.hh:45, from gecode/float/linear.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/linear/post.o gecode/float/linear/post.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float/linear.hh:45, from gecode/float/linear/post.cpp:43: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/bool.o gecode/float/bool.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from ./gecode/float/bool.hh:41, from gecode/float/bool.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/channel.o gecode/float/channel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float/channel.hh:45, from gecode/float/channel.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/transcendental.o gecode/float/transcendental.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/transcendental.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/trigonometric.o gecode/float/trigonometric.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/trigonometric.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/action.o gecode/float/branch/action.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/branch/action.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/chb.o gecode/float/branch/chb.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/branch/chb.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/rounding.o gecode/float/rounding.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/rounding.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/exec.o gecode/float/exec.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/exec.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/val-sel-commit.o gecode/float/branch/val-sel-commit.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from ./gecode/float/branch.hh:43, from gecode/float/branch/val-sel-commit.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/branch/view-sel.o gecode/float/branch/view-sel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from ./gecode/float/branch.hh:43, from gecode/float/branch/view-sel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/dom.o gecode/float/dom.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float/rel.hh:49, from gecode/float/dom.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/relax.o gecode/float/relax.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/relax.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/trace.o gecode/float/trace.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/trace.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/trace/tracer.o gecode/float/trace/tracer.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/trace/tracer.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing -I/usr/local/include -I/usr/local/include \ -c -o gecode/float/exception.o gecode/float/exception.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/float.hh:52, from gecode/float/exception.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ 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.44 \ -L. -lgecodesupport -lgecodekernel -lgecodeint -L/usr/local/lib -L/usr/local/lib -lmpfr -lgmp\ -o libgecodefloat.so.44.0 ln -fs libgecodefloat.so.44.0 libgecodefloat.so ln -fs libgecodefloat.so.44.0 libgecodefloat.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch.o gecode/set/branch.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ In file included from ./gecode/kernel.hh:245:0, from ./gecode/set.hh:47, from ./gecode/set/branch.hh:47, from gecode/set/branch.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Set::SetView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:260:5: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:368:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/branch.cpp:55:57: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ^ In file included from ./gecode/kernel.hh:243:0, from ./gecode/set.hh:47, from ./gecode/set/branch.hh:47, from gecode/set/branch.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Set::SetView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Set::SetView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:260:5: required from 'static void Gecode::ViewValBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:374:17: required from 'void Gecode::postviewvalbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/branch.cpp:55:57: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/cardinality.o gecode/set/cardinality.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/cardinality.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/convex.o gecode/set/convex.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/convex.hh:47, from gecode/set/convex.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/convex/conv.o gecode/set/convex/conv.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/convex.hh:47, from gecode/set/convex/conv.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/convex/hull.o gecode/set/convex/hull.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/convex.hh:47, from gecode/set/convex/hull.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/dom.o gecode/set/dom.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/dom.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel.o gecode/set/rel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/rel.hh:47, from gecode/set/rel.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op.o gecode/set/rel-op.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/rel-op.hh:47, from gecode/set/rel-op.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-ternary.o gecode/set/rel-op-ternary.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/rel-op.hh:47, from gecode/set/rel-op-ternary.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-singleton.o gecode/set/rel-op-singleton.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/rel-op.hh:47, from gecode/set/rel-op-singleton.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl.o gecode/set/rel-op/post-compl.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl.o gecode/set/rel-op/post-nocompl.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvv.o gecode/set/rel-op/post-compl-cvv.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl-cvv.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvv.o gecode/set/rel-op/post-nocompl-cvv.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl-cvv.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-vvc.o gecode/set/rel-op/post-compl-vvc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl-vvc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-vvc.o gecode/set/rel-op/post-nocompl-vvc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl-vvc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-compl-cvc.o gecode/set/rel-op/post-compl-cvc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-compl-cvc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op/post-nocompl-cvc.o gecode/set/rel-op/post-nocompl-cvc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op/post-nocompl-cvc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vvc.o gecode/set/rel-op-const-vvc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op-const-vvc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcv.o gecode/set/rel-op-const-vcv.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op-const-vcv.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-vcc.o gecode/set/rel-op-const-vcc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op-const-vcc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvc.o gecode/set/rel-op-const-cvc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op-const-cvc.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/rel-op-const-cvv.o gecode/set/rel-op-const-cvv.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/rel-op-const-cvv.cpp:41: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/int.o gecode/set/int.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/int.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/channel.o gecode/set/channel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/channel.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/bool.o gecode/set/bool.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/bool.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/element.o gecode/set/element.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/element.hh:43, from gecode/set/element.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence.o gecode/set/sequence.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/sequence.hh:47, from gecode/set/sequence.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/distinct.o gecode/set/distinct.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/distinct.hh:41, from gecode/set/distinct.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/distinct/atmostOne.o gecode/set/distinct/atmostOne.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/distinct.hh:41, from gecode/set/distinct/atmostOne.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/precede.o gecode/set/precede.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/precede.hh:47, from gecode/set/precede.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence/seq.o gecode/set/sequence/seq.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/sequence.hh:47, from gecode/set/sequence/seq.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/sequence/seq-u.o gecode/set/sequence/seq-u.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/sequence.hh:47, from gecode/set/sequence/seq-u.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/array.o gecode/set/array.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/array.cpp:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/var-imp/set.o gecode/set/var-imp/set.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/var-imp/set.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/var-imp/integerset.o gecode/set/var-imp/integerset.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/var-imp/integerset.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/var/set.o gecode/set/var/set.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/var/set.cpp:43: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/exec.o gecode/set/exec.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/exec.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/action.o gecode/set/branch/action.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/branch/action.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/chb.o gecode/set/branch/chb.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/branch/chb.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/view-sel.o gecode/set/branch/view-sel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch/view-sel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/val-sel-commit.o gecode/set/branch/val-sel-commit.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch/val-sel-commit.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/branch/ngl.o gecode/set/branch/ngl.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/branch.hh:47, from gecode/set/branch/ngl.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/ldsb.o gecode/set/ldsb.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ In file included from ./gecode/kernel.hh:245:0, from ./gecode/set.hh:47, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb.cpp:38: ./gecode/kernel/brancher-print.hpp: In instantiation of 'Gecode::BrancherNoPrint::BrancherNoPrint(Gecode::VarValPrint) [with View = Gecode::Set::SetView; Val = int; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:54:20: required from 'Gecode::Set::LDSB::LDSBSetBrancher::LDSBSetBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:265:5: required from 'static void Gecode::Set::LDSB::LDSBSetBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherFilter; Print = Gecode::BrancherNoPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:284:17: required from 'void Gecode::Set::LDSB::postldsbsetbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/ldsb.cpp:171:65: required from here ./gecode/kernel/brancher-print.hpp:147:67: warning: unused parameter 'vvp' [-Wunused-parameter] BrancherNoPrint::BrancherNoPrint(VarValPrint vvp) { ^ In file included from ./gecode/kernel.hh:243:0, from ./gecode/set.hh:47, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb.cpp:38: ./gecode/kernel/brancher-filter.hpp: In instantiation of 'Gecode::BrancherNoFilter::BrancherNoFilter(Gecode::BranchFilter) [with View = Gecode::Set::SetView; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]': ./gecode/kernel/brancher-view.hpp:143:44: required from 'Gecode::ViewBrancher::ViewBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::BranchFilter) [with View = Gecode::Set::SetView; Filter = Gecode::BrancherNoFilter; int n = 1; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar]' ./gecode/kernel/brancher-view-val.hpp:247:66: required from 'Gecode::ViewValBrancher::ViewValBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' ./gecode/int/ldsb/brancher.hpp:113:18: required from 'Gecode::Int::LDSB::LDSBBrancher::LDSBBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::ViewValBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:54:20: required from 'Gecode::Set::LDSB::LDSBSetBrancher::LDSBSetBrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:265:5: required from 'static void Gecode::Set::LDSB::LDSBSetBrancher::post(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter::Var>, Gecode::VarValPrint::Var, Val>) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Filter = Gecode::BrancherNoFilter; Print = Gecode::BrancherPrint; Gecode::BranchFilter::Var> = std::function; typename Gecode::Int::LDSB::LDSBBrancher::Var = Gecode::SetVar; Gecode::VarValPrint::Var, Val> = std::function&)>]' ./gecode/set/ldsb/brancher.hpp:289:17: required from 'void Gecode::Set::LDSB::postldsbsetbrancher(Gecode::Home, Gecode::ViewArray&, Gecode::ViewSel**, Gecode::ValSelCommitBase*, Gecode::Int::LDSB::SymmetryImp**, int, Gecode::BranchFilter, Gecode::VarValPrint) [with View = Gecode::Set::SetView; int n = 1; Val = int; unsigned int a = 2u; Gecode::BranchFilter = std::function; typename View::VarType = Gecode::SetVar; Gecode::VarValPrint = std::function&)>; typename View::VarType = Gecode::SetVar]' gecode/set/ldsb.cpp:171:65: required from here ./gecode/kernel/brancher-filter.hpp:135:62: warning: unused parameter 'bf' [-Wunused-parameter] BrancherNoFilter::BrancherNoFilter(BranchFilter bf) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/ldsb/sym-imp.o gecode/set/ldsb/sym-imp.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from ./gecode/set/ldsb.hh:41, from gecode/set/ldsb/sym-imp.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/relax.o gecode/set/relax.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/relax.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/trace.o gecode/set/trace.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/trace.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/trace/tracer.o gecode/set/trace/tracer.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/trace/tracer.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/set/exception.o gecode/set/exception.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/set.hh:48, from gecode/set/exception.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ 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.44 \ -L. -lgecodesupport -lgecodekernel -lgecodeint \ -o libgecodeset.so.44.0 ln -fs libgecodeset.so.44.0 libgecodeset.so ln -fs libgecodeset.so.44.0 libgecodeset.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-expr.o gecode/minimodel/int-expr.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/int-expr.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-rel.o gecode/minimodel/int-rel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/int-rel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/int-arith.o gecode/minimodel/int-arith.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/int-arith.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/bool-expr.o gecode/minimodel/bool-expr.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/bool-expr.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/set-expr.o gecode/minimodel/set-expr.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/set-expr.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/set-rel.o gecode/minimodel/set-rel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/set-rel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-expr.o gecode/minimodel/float-expr.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/float-expr.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-rel.o gecode/minimodel/float-rel.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/float-rel.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/float-arith.o gecode/minimodel/float-arith.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/float-arith.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/reg.o gecode/minimodel/reg.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/reg.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/optimize.o gecode/minimodel/optimize.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/optimize.cpp:38: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/minimodel/exception.o gecode/minimodel/exception.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from gecode/minimodel/exception.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ 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/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 -Wl,-soname=libgecodeminimodel.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodeint -lgecodefloat -lgecodeset \ -o libgecodeminimodel.so.44.0 ln -fs libgecodeminimodel.so.44.0 libgecodeminimodel.so ln -fs libgecodeminimodel.so.44.0 libgecodeminimodel.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/driver/options.o gecode/driver/options.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from ./gecode/driver.hh:41, from gecode/driver/options.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o gecode/driver/script.o gecode/driver/script.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/minimodel.hh:48, from ./gecode/driver.hh:41, from gecode/driver/script.cpp:39: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -shared -pthread gecode/driver/options.o gecode/driver/script.o -Wl,-soname=libgecodedriver.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint -lgecodeminimodel \ -o libgecodedriver.so.44.0 ln -fs libgecodedriver.so.44.0 libgecodedriver.so ln -fs libgecodedriver.so.44.0 libgecodedriver.so.44 c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/flatzinc.o gecode/flatzinc/flatzinc.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/flatzinc.hh:48, from gecode/flatzinc/flatzinc.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/registry.o gecode/flatzinc/registry.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/flatzinc.hh:48, from ./gecode/flatzinc/registry.hh:41, from gecode/flatzinc/registry.cpp:42: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/parser.tab.o gecode/flatzinc/parser.tab.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/flatzinc.hh:48, from gecode/flatzinc/parser.yxx:44: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ gecode/flatzinc/parser.yxx: In function 'int yyparse(void*)': gecode/flatzinc/parser.yxx:1894:11: warning: 'e' may be used uninitialized in this function [-Wmaybe-uninitialized] if (e.t == ST_INTVARARRAY) ^ gecode/flatzinc/parser.yxx:1879:21: note: 'e' was declared here SymbolEntry e; ^ gecode/flatzinc/parser.yxx:1888:75: warning: 'e.Gecode::FlatZinc::SymbolEntry::i' may be used uninitialized in this function [-Wmaybe-uninitialized] gecode/flatzinc/parser.yxx:1879:21: note: 'e.Gecode::FlatZinc::SymbolEntry::i' was declared here SymbolEntry e; ^ c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ \ -c -o gecode/flatzinc/lexer.yy.o gecode/flatzinc/lexer.yy.cpp gecode/flatzinc/lexer.yy.cpp:406:0: warning: "yywrap" redefined ^ gecode/flatzinc/lexer.yy.cpp:78:0: note: this is the location of the previous definition ^ c++ -shared -pthread gecode/flatzinc/flatzinc.o gecode/flatzinc/registry.o gecode/flatzinc/parser.tab.o gecode/flatzinc/lexer.yy.o -Wl,-soname=libgecodeflatzinc.so.44 \ -L. -lgecodesupport -lgecodekernel -lgecodesearch -lgecodeint \ -lgecodeset -lgecodefloat -lgecodeminimodel -lgecodedriver \ -o libgecodeflatzinc.so.44.0 ln -fs libgecodeflatzinc.so.44.0 libgecodeflatzinc.so ln -fs libgecodeflatzinc.so.44.0 libgecodeflatzinc.so.44 gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'framework'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' c++ -I. -fcx-limited-range -fno-signaling-nans -fno-rounding-math -ffinite-math-only -fno-math-errno -fno-strict-aliasing -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -c -o tools/flatzinc/fzn-gecode.o tools/flatzinc/fzn-gecode.cpp In file included from ./gecode/int.hh:4494:0, from ./gecode/flatzinc.hh:48, from tools/flatzinc/fzn-gecode.cpp:40: ./gecode/int/branch/var.hpp:448:28: warning: unused parameter 'c' [-Wunused-parameter] BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl) { ^ 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 -fvisibility=hidden -std=c++11 -pipe -Wall -Wextra -fPIC -pthread -DNDEBUG -pipe -D__USE_ISOC99 -D__USE_ISOC99 -O2 -fno-strict-aliasing \ -lgecodeflatzinc -lgecodedriver -lgecodesearch -lgecodeminimodel -lgecodeset -lgecodefloat -L/usr/local/lib -L/usr/local/lib -lmpfr -lgmp -lgecodeint -lgecodekernel -lgecodesupport perl ./misc/fixmanifest.perl .so.44.0 tools/flatzinc/fzn-gecode.manifest gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' Compilation of Gecode finished successfully. To use Gecode, either add /construction/devel/gecode/gecode-5.1.0 to your search path for libraries, or install Gecode using make install gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[2]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for gecode-5.1.0_1 ===> Generating temporary packing list gmake[2]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: 'gecode/kernel/var-type.hpp' is up to date. gmake[3]: 'gecode/kernel/var-imp.hpp' is up to date. gmake[3]: 'libgecodesupport.so.44.0' is up to date. gmake[3]: 'libgecodekernel.so.44.0' is up to date. gmake[3]: 'libgecodesearch.so.44.0' is up to date. gmake[3]: 'libgecodeint.so.44.0' is up to date. gmake[3]: 'libgecodefloat.so.44.0' is up to date. gmake[3]: 'libgecodeset.so.44.0' is up to date. gmake[3]: 'libgecodeminimodel.so.44.0' is up to date. gmake[3]: 'libgecodedriver.so.44.0' is up to date. gmake[3]: 'libgecodeflatzinc.so.44.0' is up to date. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'framework'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'flatzinc'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake doinstalllib gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' mkdir -p /construction/devel/gecode/stage/usr/local/lib && \ mkdir -p /construction/devel/gecode/stage/usr/local/lib && \ mkdir -p /construction/devel/gecode/stage/usr/local/bin && \ for_libtargets="libgecodesupport.so.44.0 libgecodekernel.so.44.0 libgecodesearch.so.44.0 libgecodeint.so.44.0 libgecodefloat.so.44.0 libgecodeset.so.44.0 libgecodeminimodel.so.44.0 libgecodedriver.so.44.0 libgecodeflatzinc.so.44.0 " && \ for f in $for_libtargets; do \ cp $f /construction/devel/gecode/stage/usr/local/lib; done && \ for_liblinktargets="libgecodesupport.so.44 libgecodekernel.so.44 libgecodesearch.so.44 libgecodeint.so.44 libgecodefloat.so.44 libgecodeset.so.44 libgecodeminimodel.so.44 libgecodedriver.so.44 libgecodeflatzinc.so.44 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/devel/gecode/stage/usr/local/lib; done &&\ for_liblibtargets="" && \ for f in $for_liblibtargets; do \ cp $f /construction/devel/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/devel/gecode/stage/usr/local/bin; done gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake doinstallheaders gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' mkdir -p /construction/devel/gecode/stage/usr/local/include && \ (cd . && tar cf - gecode/support.hh gecode/support/block-allocator.hpp gecode/support/cast.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/kernel.hh gecode/kernel/wait.hh gecode/kernel/archive.hpp gecode/kernel/array.hpp gecode/kernel/shared-array.hpp gecode/kernel/shared-data.hpp gecode/kernel/core.hpp gecode/kernel/exception.hpp gecode/kernel/macros.hpp gecode/kernel/memory-config.hpp gecode/kernel/memory-manager.hpp gecode/kernel/region.hpp gecode/kernel/modevent.hpp gecode/kernel/range-list.hpp gecode/kernel/propagator.hpp gecode/kernel/advisor.hpp gecode/kernel/view.hpp gecode/kernel/var.hpp gecode/kernel/branch-var.hpp gecode/kernel/branch-val.hpp gecode/kernel/branch-tiebreak.hpp gecode/kernel/brancher-view-sel.hpp gecode/kernel/brancher-merit.hpp gecode/kernel/brancher-val-sel.hpp gecode/kernel/brancher-val-commit.hpp gecode/kernel/brancher-view.hpp gecode/kernel/brancher-view-val.hpp gecode/kernel/brancher-val-sel-commit.hpp gecode/kernel/brancher-print.hpp gecode/kernel/brancher-filter.hpp gecode/kernel/allocators.hpp gecode/kernel/gpi.hpp gecode/kernel/afc.hpp gecode/kernel/action.hpp gecode/kernel/chb.hpp gecode/kernel/rnd.hpp gecode/kernel/branch-traits.hpp gecode/kernel/trace-traits.hpp gecode/kernel/trace-filter.hpp gecode/kernel/tracer.hpp gecode/kernel/trace-recorder.hpp gecode/kernel/trace.hpp gecode/kernel/trace-print.hpp gecode/kernel/subscribed-propagators.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/build.hpp gecode/search/traits.hpp gecode/search/sebs.hpp gecode/search/sequential/path.hh gecode/search/sequential/dfs.hh gecode/search/sequential/bab.hh gecode/search/sequential/lds.hh gecode/search/parallel/path.hh gecode/search/parallel/engine.hh gecode/search/parallel/dfs.hh gecode/search/parallel/bab.hh gecode/search/meta/rbs.hh gecode/search/meta/rbs.hpp gecode/search/meta/nogoods.hh gecode/search/meta/dead.hh gecode/search/meta/sequential/pbs.hh gecode/search/meta/parallel/pbs.hh gecode/search/meta/sequential/pbs.hpp gecode/search/meta/parallel/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/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/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/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/base.hpp gecode/int/extensional/basic.hpp gecode/int/extensional/incremental.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/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/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/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-rel.hpp gecode/minimodel/float-rel.hpp gecode/minimodel/exception.hpp gecode/minimodel/matrix.hpp gecode/minimodel/bool-expr.hpp gecode/minimodel/set-expr.hpp gecode/minimodel/set-rel.hpp gecode/minimodel/optimize.hpp gecode/minimodel/reg.hpp gecode/minimodel/ldsb.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.hh 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/devel/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/devel/gecode/stage/usr/local/include/gecode/kernel; done && \ for_extraheaders="gecode/support/config.hpp gecode/flatzinc/parser.tab.hh" && \ for f in $for_extraheaders; do \ cp $f /construction/devel/gecode/stage/usr/local/include/$f; done && \ for_mznlib="gecode/flatzinc/mznlib" && \ for f in $for_mznlib; do \ mkdir -p /construction/devel/gecode/stage/usr/local/share/gecode/mznlib; \ cp ./$f/*.mzn \ /construction/devel/gecode/stage/usr/local/share/gecode/mznlib; done gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake ranliblib gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Nothing to be done for 'ranliblib'. gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake installsubdirs gmake[3]: Entering directory '/construction/devel/gecode/gecode-5.1.0' gmake[3]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' gmake[2]: Leaving directory '/construction/devel/gecode/gecode-5.1.0' find: /construction/devel/gecode/stage/usr/local/lib/perl5/site_perl: No such file or directory ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for gecode-5.1.0_1 file sizes/checksums [750]: ........ done packing files [750]: ........ done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 30 AUG 2018 at 14:59:14 UTC Duration: 00:23:33