------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/chuffed XDG_CONFIG_HOME=/construction/math/chuffed XDG_CACHE_HOME=/construction/math/chuffed/.cache HOME=/construction/math/chuffed TMPDIR="/tmp" PATH=/construction/math/chuffed/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/chuffed/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/chuffed XDG_CONFIG_HOME=/construction/math/chuffed XDG_CACHE_HOME=/construction/math/chuffed/.cache HOME=/construction/math/chuffed TMPDIR="/tmp" PATH=/construction/math/chuffed/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/chuffed/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/chuffed/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/chuffed" EXAMPLESDIR="share/examples/chuffed" DATADIR="share/minizinc/chuffed" WWWDIR="www/chuffed" ETCDIR="etc/chuffed" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/minizinc/chuffed DOCSDIR=/usr/local/share/doc/chuffed EXAMPLESDIR=/usr/local/share/examples/chuffed WWWDIR=/usr/local/www/chuffed ETCDIR=/usr/local/etc/chuffed SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.4.pkg ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/libtextstyle-0.21.1.pkg Installing /packages/All/readline-8.2.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/m4-1.4.19,1.pkg Installing /packages/All/bison-3.8.2,1.pkg Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:08 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> chuffed-0.12.1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> chuffed-0.12.1 depends on file: /usr/local/sbin/pkg - found => chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/chuffed/chuffed/tar.gz/e04bedd?dummy=/chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz fetch: https://codeload.github.com/chuffed/chuffed/tar.gz/e04bedd?dummy=/chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz: size unknown fetch: https://codeload.github.com/chuffed/chuffed/tar.gz/e04bedd?dummy=/chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz: size of remote file is not known chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz 0 B 0 Bps chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz 96 kB 540 kBps chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz 314 kB 876 kBps 01s ===> Fetching all distfiles required by chuffed-0.12.1 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> chuffed-0.12.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by chuffed-0.12.1 for building => SHA256 Checksum OK for chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz. => SHA256 Checksum OK for cp-profiler-cpp-integration-f16b313_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> chuffed-0.12.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by chuffed-0.12.1 for building ===> Extracting for chuffed-0.12.1 => SHA256 Checksum OK for chuffed-chuffed-0.12.1-e04bedd_GH0.tar.gz. => SHA256 Checksum OK for cp-profiler-cpp-integration-f16b313_GH0.tar.gz. Extracted Memory Use: 1.83M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for chuffed-0.12.1 ===> Applying ports patches for chuffed-0.12.1 from /xports/math/chuffed/files SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> chuffed-0.12.1 depends on executable: bison - found ===> chuffed-0.12.1 depends on file: /usr/local/bin/cmake - found ===> chuffed-0.12.1 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> chuffed-0.12.1 depends on executable: bison - found ===> chuffed-0.12.1 depends on file: /usr/local/bin/cmake - found ===> chuffed-0.12.1 depends on file: /usr/local/bin/ccache - found ===> Configuring for chuffed-0.12.1 ===> Performing out-of-source build /bin/mkdir -p /construction/math/chuffed/.build -- The CXX compiler identification is GNU 8.3.0 -- The C compiler identification is GNU 8.3.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Found BISON: /usr/local/bin/bison (found suitable version "3.8.2", minimum required is "3.4") -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- Configuring done (3.2s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /construction/math/chuffed/.build SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for chuffed-0.12.1 /usr/local/bin/cmake -S/construction/math/chuffed/chuffed-e04bedd -B/construction/math/chuffed/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/chuffed/.build/CMakeFiles /construction/math/chuffed/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- CMakeFiles/chuffed.dir/all --- --- CMakeFiles/chuffed_fzn.dir/all --- --- CMakeFiles/chuffed.dir/all --- /usr/bin/make -f CMakeFiles/chuffed.dir/build.make CMakeFiles/chuffed.dir/depend --- CMakeFiles/chuffed_fzn.dir/all --- /usr/bin/make -f CMakeFiles/chuffed_fzn.dir/build.make CMakeFiles/chuffed_fzn.dir/depend --- lexer.yy.cpp --- --- parser.tab.cpp --- --- lexer.yy.cpp --- [ 3%] [FLEX][FZNLexer] Building scanner with flex 2.6.4 --- parser.tab.cpp --- [ 3%] [BISON][FZNParser] Building parser with bison 3.8.2 --- lexer.yy.cpp --- cd /construction/math/chuffed/chuffed-e04bedd && /usr/bin/flex -L -o/construction/math/chuffed/.build/lexer.yy.cpp /construction/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/lexer.lxx --- parser.tab.cpp --- cd /construction/math/chuffed/chuffed-e04bedd && /usr/local/bin/bison -l --defines=/construction/math/chuffed/.build/chuffed/flatzinc/parser.tab.h -o /construction/math/chuffed/.build/parser.tab.cpp /construction/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/parser.yxx --- CMakeFiles/chuffed.dir/all --- --- CMakeFiles/chuffed.dir/depend --- cd /construction/math/chuffed/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/.build /construction/math/chuffed/.build /construction/math/chuffed/.build/CMakeFiles/chuffed.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/chuffed.dir/build.make CMakeFiles/chuffed.dir/build --- CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o --- [ 7%] Building CXX object CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o --- [ 7%] Building CXX object CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o --- CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o --- [ 8%] Building CXX object CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o --- CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o --- [ 12%] Building CXX object CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o --- CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o --- [ 12%] Building CXX object CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o --- CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o --- [ 14%] Building CXX object CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/vars/int-var-sl.cpp --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/vars/int-var-ll.cpp --- CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/vars/modelling.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o --- [ 15%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o --- CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/ldsb/ldsb.cpp --- CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/parallel/slave.cpp --- CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/vars/int-var.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/sym-break.cpp --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o --- [ 17%] Building CXX object CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o --- [ 19%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o --- CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/vars/int-var-el.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp --- CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o --- [ 19%] Building CXX object CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/parallel/master.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o --- [ 21%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/mddglobals.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o --- /construction/math/chuffed/chuffed-e04bedd/chuffed/ldsb/ldsb.cpp: In constructor 'ValSeqSym::ValSeqSym(int, int, vec&, vec&)': /construction/math/chuffed/chuffed-e04bedd/chuffed/ldsb/ldsb.cpp:546:27: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] active = (Tchar*) malloc(n * sizeof(Tchar)); ~~~~~~^~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/8.0/cstdlib:75, from /construction/math/chuffed/chuffed-e04bedd/chuffed/support/vec.h:4, from /construction/math/chuffed/chuffed-e04bedd/chuffed/support/misc.h:23, from /construction/math/chuffed/chuffed-e04bedd/chuffed/ldsb/ldsb.h:5, from /construction/math/chuffed/chuffed-e04bedd/chuffed/ldsb/ldsb.cpp:1: /usr/include/stdlib.h:108:7: note: in a call to allocation function 'void* malloc(size_t)' declared here void *malloc(size_t) __malloclike __heedresult __alloc_size(1); ^~~~~~ --- CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o --- [ 22%] Building CXX object CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o --- [ 24%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o --- CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/vars/bool-view.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o --- In constructor 'SubCircuit::SubCircuit(vec >) [with int U = 0]', inlined from 'void subcircuit(vec&, int)' at /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1169:28: /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:69:35: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] inCircuit = (bool*) malloc(size * sizeof(bool)); ~~~~~~^~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/8.0/cstdlib:75, from /usr/include/c++/8.0/bits/stl_algo.h:59, from /usr/include/c++/8.0/algorithm:62, from /construction/math/chuffed/chuffed-e04bedd/chuffed/core/propagator.h:23, from /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1: /usr/include/stdlib.h: In function 'void subcircuit(vec&, int)': /usr/include/stdlib.h:108:7: note: in a call to allocation function 'void* malloc(size_t)' declared here void *malloc(size_t) __malloclike __heedresult __alloc_size(1); ^~~~~~ In constructor 'SubCircuit::SubCircuit(vec >) [with int U = 0]', inlined from 'void subcircuit(vec&, int)' at /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1169:28: /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:70:38: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] isStartChain = (bool*) malloc(size * sizeof(bool)); ~~~~~~^~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/8.0/cstdlib:75, from /usr/include/c++/8.0/bits/stl_algo.h:59, from /usr/include/c++/8.0/algorithm:62, from /construction/math/chuffed/chuffed-e04bedd/chuffed/core/propagator.h:23, from /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1: /usr/include/stdlib.h: In function 'void subcircuit(vec&, int)': /usr/include/stdlib.h:108:7: note: in a call to allocation function 'void* malloc(size_t)' declared here void *malloc(size_t) __malloclike __heedresult __alloc_size(1); ^~~~~~ In constructor 'SubCircuit::SubCircuit(vec >) [with int U = 4]', inlined from 'void subcircuit(vec&, int)' at /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1171:28: /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:69:35: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] inCircuit = (bool*) malloc(size * sizeof(bool)); ~~~~~~^~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/8.0/cstdlib:75, from /usr/include/c++/8.0/bits/stl_algo.h:59, from /usr/include/c++/8.0/algorithm:62, from /construction/math/chuffed/chuffed-e04bedd/chuffed/core/propagator.h:23, from /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1: /usr/include/stdlib.h: In function 'void subcircuit(vec&, int)': /usr/include/stdlib.h:108:7: note: in a call to allocation function 'void* malloc(size_t)' declared here void *malloc(size_t) __malloclike __heedresult __alloc_size(1); ^~~~~~ In constructor 'SubCircuit::SubCircuit(vec >) [with int U = 4]', inlined from 'void subcircuit(vec&, int)' at /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1171:28: /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:70:38: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] isStartChain = (bool*) malloc(size * sizeof(bool)); ~~~~~~^~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/8.0/cstdlib:75, from /usr/include/c++/8.0/bits/stl_algo.h:59, from /usr/include/c++/8.0/algorithm:62, from /construction/math/chuffed/chuffed-e04bedd/chuffed/core/propagator.h:23, from /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/subcircuit.cpp:1: /usr/include/stdlib.h: In function 'void subcircuit(vec&, int)': /usr/include/stdlib.h:108:7: note: in a call to allocation function 'void* malloc(size_t)' declared here void *malloc(size_t) __malloclike __heedresult __alloc_size(1); ^~~~~~ --- CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/linear-bool.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o --- [ 26%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o --- [ 28%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/well-founded.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/linear-bool-decomp.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o --- [ 29%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/circuit.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o --- [ 31%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o --- [ 31%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/minimum.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/bool_arg_max.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o --- [ 33%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/alldiff.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o --- [ 35%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/template.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o --- [ 36%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o --- [ 38%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o --- [ 40%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/cumulative.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/directives.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o --- [ 42%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/cumulativeCalendar.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/disjunctive.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o --- [ 45%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o --- [ 45%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/lex.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/regular.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o --- [ 45%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/table.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o --- [ 49%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o --- CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o --- [ 49%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o --- CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/MDD.cpp --- CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/edit_distance.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o --- [ 50%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/mdd_prop.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o --- [ 52%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/mdd_to_lgraph.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o --- [ 56%] Building CXX object CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/globals/EdExplFinder.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o --- [ 56%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o --- CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o --- [ 57%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o --- CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/MurmurHash3.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/opcache.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o --- [ 59%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o --- CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/weighted_dfa.cpp --- CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o --- [ 61%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mdd/wmdd_prop.cpp --- CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o --- [ 61%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mip/mip.cpp --- CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o --- [ 63%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mip/recalc.cpp --- CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o --- [ 64%] Building CXX object CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/mip/simplex.cpp --- CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o --- [ 66%] Building CXX object CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/primitives/element.cpp --- CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o --- [ 68%] Building CXX object CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o --- CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/primitives/bool.cpp --- CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o --- [ 70%] Building CXX object CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o --- CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o --- [ 71%] Building CXX object CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o --- CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/primitives/arithmetic.cpp --- CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/primitives/linear.cpp --- CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o --- [ 73%] Building CXX object CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o --- CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o --- [ 75%] Building CXX object CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/primitives/domain.cpp --- CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o --- [ 77%] Building CXX object CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/branching/branching.cpp --- CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/primitives/binary.cpp --- CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o --- [ 78%] Building CXX object CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/core/stats.cpp --- CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o --- [ 80%] Building CXX object CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o --- CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o --- /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/core/engine.cpp --- CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o --- [ 80%] Building CXX object CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/core/init.cpp --- CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o --- [ 82%] Building CXX object CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/core/options.cpp --- CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o --- --- CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o --- [ 84%] Building CXX object CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/core/sat.cpp --- CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o --- [ 85%] Building CXX object CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o /usr/local/libexec/ccache/c++ -DHAS_PROFILER -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o -MF CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o.d -o CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/core/conflict.cpp --- CMakeFiles/chuffed_fzn.dir/all --- --- chuffed/flatzinc/parser.tab.h --- --- CMakeFiles/chuffed_fzn.dir/depend --- cd /construction/math/chuffed/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/.build /construction/math/chuffed/.build /construction/math/chuffed/.build/CMakeFiles/chuffed_fzn.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/chuffed_fzn.dir/build.make CMakeFiles/chuffed_fzn.dir/build --- CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o --- --- CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o --- --- CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o --- --- CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o --- --- CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o --- [ 91%] Building CXX object CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o --- CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o --- [ 91%] Building CXX object CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o --- CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o --- [ 91%] Building CXX object CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o --- CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o --- [ 91%] Building CXX object CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o --- CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o --- /usr/local/libexec/ccache/c++ -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o -MF CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o.d -o CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o -c /construction/math/chuffed/.build/lexer.yy.cpp --- CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o --- /usr/local/libexec/ccache/c++ -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o -MF CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o.d -o CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o -c /construction/math/chuffed/.build/parser.tab.cpp --- CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o --- /usr/local/libexec/ccache/c++ -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o -MF CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o.d -o CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/registry.cpp --- CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o --- /usr/local/libexec/ccache/c++ -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o -MF CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o.d -o CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/flatzinc.cpp --- CMakeFiles/chuffed.dir/all --- --- libchuffed.a --- [ 92%] Linking CXX static library libchuffed.a /usr/local/bin/cmake -P CMakeFiles/chuffed.dir/cmake_clean_target.cmake /usr/local/bin/cmake -E cmake_link_script CMakeFiles/chuffed.dir/link.txt --verbose=1 /usr/bin/ar qc libchuffed.a "CMakeFiles/chuffed.dir/chuffed/vars/int-var.cpp.o" "CMakeFiles/chuffed.dir/chuffed/vars/int-var-el.cpp.o" CMakeFiles/chuffed.dir/chuffed/vars/modelling.cpp.o "CMakeFiles/chuffed.dir/chuffed/vars/int-var-sl.cpp.o" "CMakeFiles/chuffed.dir/chuffed/vars/bool-view.cpp.o" "CMakeFiles/chuffed.dir/chuffed/vars/int-var-ll.cpp.o" CMakeFiles/chuffed.dir/chuffed/parallel/master.cpp.o CMakeFiles/chuffed.dir/chuffed/parallel/slave.cpp.o CMakeFiles/chuffed.dir/chuffed/ldsb/ldsb.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/subcircuit.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/mddglobals.cpp.o "CMakeFiles/chuffed.dir/chuffed/globals/sym-break.cpp.o" "CMakeFiles/chuffed.dir/chuffed/globals/linear-bool.cpp.o" "CMakeFiles/chuffed.dir/chuffed/globals/linear-bool-decomp.cpp.o" "CMakeFiles/chuffed.dir/chuffed/globals/well-founded.cpp.o" CMakeFiles/chuffed.dir/chuffed/globals/circuit.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/minimum.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/bool_arg_max.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/alldiff.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/template.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/directives.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/cumulative.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/cumulativeCalendar.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/disjunctive.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/regular.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/lex.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/table.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/edit_distance.cpp.o CMakeFiles/chuffed.dir/chuffed/globals/EdExplFinder.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/MDD.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/mdd_prop.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/mdd_to_lgraph.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/MurmurHash3.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/opcache.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/weighted_dfa.cpp.o CMakeFiles/chuffed.dir/chuffed/mdd/wmdd_prop.cpp.o CMakeFiles/chuffed.dir/chuffed/mip/mip.cpp.o CMakeFiles/chuffed.dir/chuffed/mip/recalc.cpp.o CMakeFiles/chuffed.dir/chuffed/mip/simplex.cpp.o CMakeFiles/chuffed.dir/chuffed/primitives/element.cpp.o CMakeFiles/chuffed.dir/chuffed/primitives/bool.cpp.o CMakeFiles/chuffed.dir/chuffed/primitives/linear.cpp.o CMakeFiles/chuffed.dir/chuffed/primitives/arithmetic.cpp.o CMakeFiles/chuffed.dir/chuffed/primitives/domain.cpp.o CMakeFiles/chuffed.dir/chuffed/primitives/binary.cpp.o CMakeFiles/chuffed.dir/chuffed/branching/branching.cpp.o CMakeFiles/chuffed.dir/chuffed/core/init.cpp.o CMakeFiles/chuffed.dir/chuffed/core/stats.cpp.o CMakeFiles/chuffed.dir/chuffed/core/engine.cpp.o CMakeFiles/chuffed.dir/chuffed/core/options.cpp.o CMakeFiles/chuffed.dir/chuffed/core/sat.cpp.o CMakeFiles/chuffed.dir/chuffed/core/conflict.cpp.o /usr/bin/ranlib libchuffed.a [ 92%] Built target chuffed --- CMakeFiles/chuffed_fzn.dir/all --- --- libchuffed_fzn.a --- [ 94%] Linking CXX static library libchuffed_fzn.a /usr/local/bin/cmake -P CMakeFiles/chuffed_fzn.dir/cmake_clean_target.cmake /usr/local/bin/cmake -E cmake_link_script CMakeFiles/chuffed_fzn.dir/link.txt --verbose=1 /usr/bin/ar qc libchuffed_fzn.a CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/registry.cpp.o CMakeFiles/chuffed_fzn.dir/chuffed/flatzinc/flatzinc.cpp.o CMakeFiles/chuffed_fzn.dir/lexer.yy.cpp.o CMakeFiles/chuffed_fzn.dir/parser.tab.cpp.o /usr/bin/ranlib libchuffed_fzn.a [ 94%] Built target chuffed_fzn --- CMakeFiles/fzn-chuffed.dir/all --- /usr/bin/make -f CMakeFiles/fzn-chuffed.dir/build.make CMakeFiles/fzn-chuffed.dir/depend --- CMakeFiles/fzn-chuffed.dir/depend --- cd /construction/math/chuffed/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/.build /construction/math/chuffed/.build /construction/math/chuffed/.build/CMakeFiles/fzn-chuffed.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/fzn-chuffed.dir/build.make CMakeFiles/fzn-chuffed.dir/build --- CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o --- [ 96%] Building CXX object CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o /usr/local/libexec/ccache/c++ -I/construction/math/chuffed/.build -I/construction/math/chuffed/chuffed-e04bedd -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o -MF CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o.d -o CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o -c /construction/math/chuffed/chuffed-e04bedd/chuffed/flatzinc/fzn-chuffed.cpp --- fzn-chuffed --- [ 98%] Linking CXX executable fzn-chuffed /usr/local/bin/cmake -E cmake_link_script CMakeFiles/fzn-chuffed.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG "CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o" -o fzn-chuffed libchuffed_fzn.a libchuffed.a -lpthread [100%] Built target fzn-chuffed /usr/local/bin/cmake -E cmake_progress_start /construction/math/chuffed/.build/CMakeFiles 0 SUCCEEDED 00:00:20 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for chuffed-0.12.1 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/chuffed/chuffed-e04bedd -B/construction/math/chuffed/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/chuffed/.build/CMakeFiles /construction/math/chuffed/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f CMakeFiles/chuffed.dir/build.make CMakeFiles/chuffed.dir/depend cd /construction/math/chuffed/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/.build /construction/math/chuffed/.build /construction/math/chuffed/.build/CMakeFiles/chuffed.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/chuffed.dir/build.make CMakeFiles/chuffed.dir/build [ 84%] Built target chuffed /usr/bin/make -f CMakeFiles/chuffed_fzn.dir/build.make CMakeFiles/chuffed_fzn.dir/depend cd /construction/math/chuffed/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/.build /construction/math/chuffed/.build /construction/math/chuffed/.build/CMakeFiles/chuffed_fzn.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/chuffed_fzn.dir/build.make CMakeFiles/chuffed_fzn.dir/build [ 94%] Built target chuffed_fzn /usr/bin/make -f CMakeFiles/fzn-chuffed.dir/build.make CMakeFiles/fzn-chuffed.dir/depend cd /construction/math/chuffed/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/chuffed-e04bedd /construction/math/chuffed/.build /construction/math/chuffed/.build /construction/math/chuffed/.build/CMakeFiles/fzn-chuffed.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/fzn-chuffed.dir/build.make CMakeFiles/fzn-chuffed.dir/build [100%] Built target fzn-chuffed /usr/local/bin/cmake -E cmake_progress_start /construction/math/chuffed/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f CMakeFiles/fzn-chuffed.dir/build.make CMakeFiles/fzn-chuffed.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/fzn-chuffed /usr/local/bin/cmake -E cmake_link_script CMakeFiles/fzn-chuffed.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG "CMakeFiles/fzn-chuffed.dir/chuffed/flatzinc/fzn-chuffed.cpp.o" -o CMakeFiles/CMakeRelink.dir/fzn-chuffed libchuffed_fzn.a libchuffed.a -lpthread Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/chuffed/stage/usr/local/bin/fzn-chuffed -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/chuffed.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/edit_distance.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_all_different_int.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_arg_max_bool.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_circuit.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_cost_regular.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_eq.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_eq_par.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_geq.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_geq_par.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_gt.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_gt_par.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_leq.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_leq_par.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_lt.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_count_lt_par.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_cumulative.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_disjunctive.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_disjunctive_strict.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_distribute.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_global_cardinality_low_up.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_inverse.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_nvalue.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_regular.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_subcircuit.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/fzn_table_int.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/redefinitions.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/values_interchange.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/values_sequences.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/variables_interchange.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/chuffed/variables_sequences.mzn -- Installing: /construction/math/chuffed/stage/usr/local/share/minizinc/solvers/chuffed.msc /usr/bin/env WRKSRC=/construction/math/chuffed/chuffed-e04bedd REWARNFILE=/construction/math/chuffed/reinplace_warnings.txt /bin/sh /xports/Mk/Scripts/sed_checked.sh -i '' -e 's|"version": ".*",|"version": "0.12.1",|' /construction/math/chuffed/stage/usr/local/share/minizinc/solvers/chuffed.msc ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for chuffed-0.12.1 file sizes/checksums [33]: 0% file sizes/checksums [33]: 100% Service unavailablepacking files [33]: 0% packing files [33]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:36