------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.2.20200831.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/libtextstyle-0.21.txz Installing /packages/All/gettext-runtime-0.21.txz Installing /packages/All/m4-1.4.18_1,1.txz Installing /packages/All/bison-3.6.4,1.txz Installing /packages/All/libnghttp2-1.41.0.txz Installing /packages/All/ca_root_nss-3.56.txz ===== Message from ca_root_nss-3.56: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/openssl-1.1.1g,1.txz Installing /packages/All/curl-7.72.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/libuv-1.39.0.txz Installing /packages/All/rhash-1.3.9.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.3,1.txz Installing /packages/All/cmake-3.18.2.txz Installing /packages/All/gmp-6.2.0.txz Installing /packages/All/mpfr-4.1.0.txz Installing /packages/All/mpc-1.1.0_2.txz UNFLAVORED devel/binutils -> use devel/binutils@native Installing /packages/All/binutils-2.33.1_3,1.txz Installing /packages/All/gcc8-8.4.0.txz ===== Message from gcc8-8.4.0: -- To ensure binaries built with this toolchain find appropriate versions of the necessary run-time libraries, you may want to link using -Wl,-rpath=/usr/local/lib/gcc8 For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens transparently. Installing /packages/All/blas-3.5.0_6.txz Installing /packages/All/lapack-3.5.0_8.txz Installing /packages/All/coin-or-Clp-1.17.3_1.txz Installing /packages/All/coin-or-cgl-0.60.3.txz Installing /packages/All/coin-or-cbc-2.10.5.txz Installing /packages/All/gecode-6.2.0.txz ===== Message from gecode-6.2.0: -- ===> NOTICE: The gecode port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port UNFLAVORED devel/binutils -> use devel/binutils@native SUCCEEDED 00:00:37 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by minizinc-2.4.3.20200807_1 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by minizinc-2.4.3.20200807_1 for building => SHA256 Checksum OK for MiniZinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by minizinc-2.4.3.20200807_1 for building ===> Extracting for minizinc-2.4.3.20200807_1 => SHA256 Checksum OK for MiniZinc-libminizinc-2.4.3.20200807-01854690be366b964df9e25eaf5bd244759c4e76_GH0.tar.gz. Extracted Memory Use: 11.88M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for minizinc-2.4.3.20200807_1 /usr/bin/env WRKSRC=/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 REWARNFILE=/construction/math/minizinc/reinplace_warnings.txt /xports/Mk/Scripts/sed_checked.sh -e 's|string std_lib_dir;|string std_lib_dir = "/usr/local/share/minizinc";|' /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/mzn2doc.cpp /usr/bin/env WRKSRC=/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 REWARNFILE=/construction/math/minizinc/reinplace_warnings.txt /xports/Mk/Scripts/sed_checked.sh -e 's|std_lib_dir(stdlibDir) {}|std_lib_dir(stdlibDir.empty() ? "/usr/local/share/minizinc" : stdlibDir) {}|' /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flattener.cpp SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on executable: bison - found ===> minizinc-2.4.3.20200807_1 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on shared library: libCbc.so - found (/usr/local/lib/libCbc.so) ===> minizinc-2.4.3.20200807_1 depends on shared library: libCgl.so - found (/usr/local/lib/libCgl.so) ===> minizinc-2.4.3.20200807_1 depends on shared library: libgecodekernel.so - found (/usr/local/lib/libgecodekernel.so) ===> minizinc-2.4.3.20200807_1 depends on shared library: libOsiClp.so - found (/usr/local/lib/libOsiClp.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> minizinc-2.4.3.20200807_1 depends on executable: bison - found ===> minizinc-2.4.3.20200807_1 depends on file: /usr/local/bin/cmake - found ===> minizinc-2.4.3.20200807_1 depends on shared library: libCbc.so - found (/usr/local/lib/libCbc.so) ===> minizinc-2.4.3.20200807_1 depends on shared library: libCgl.so - found (/usr/local/lib/libCgl.so) ===> minizinc-2.4.3.20200807_1 depends on shared library: libgecodekernel.so - found (/usr/local/lib/libgecodekernel.so) ===> minizinc-2.4.3.20200807_1 depends on shared library: libOsiClp.so - found (/usr/local/lib/libOsiClp.so) ===> Configuring for minizinc-2.4.3.20200807_1 ===> Performing out-of-source build /bin/mkdir -p /construction/math/minizinc/.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/bin/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/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for include file dlfcn.h -- Looking for include file dlfcn.h - found -- Looking for include file Windows.h -- Looking for include file Windows.h - not found -- Could NOT find CPlex, use CPLEX_ROOT to hint its location (missing: CPLEX_INCLUDE) -- Could NOT find Geas, use GEAS_ROOT to hint its location (missing: GEAS_INCLUDE GEAS_LIBRARY) -- Found Gecode: /usr/local/include (found suitable version "6.2.0", minimum required is "6.0") found components: Driver Float Int Kernel Minimodel Search Set Support -- Could NOT find Gurobi, use GUROBI_ROOT to hint its location (missing: GUROBI_INCLUDE) -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- Found OsiCBC: /usr/local/include;/usr/local/include/coin (found version "") -- Could NOT find SCIP, use SCIP_ROOT to hint its location (missing: SCIP_INCLUDE) -- Could NOT find Xpress, use Xpress_ROOT to hint its location (missing: XPRESS_INCLUDE) -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Found BISON: /usr/local/bin/bison (found suitable version "3.6.4", minimum required is "3.4") -- Found FLEX: /usr/bin/flex (found suitable version "2.6.4", minimum required is "2.5") ----- MiniZinc build configuration ---- MiniZinc version: 2.4.3 Enabled drivers: Gecode 6.2.0: /usr/local/include OSICBC : /usr/local/include;/usr/local/include/coin --------------------------------------- -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS -- Build files have been written to: /construction/math/minizinc/.build SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for minizinc-2.4.3.20200807_1 /usr/local/bin/cmake -S/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 -B/construction/math/minizinc/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/minizinc/.build/CMakeFiles /construction/math/minizinc/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- CMakeFiles/minizinc_parser.dir/all --- /usr/bin/make -f CMakeFiles/minizinc_parser.dir/build.make CMakeFiles/minizinc_parser.dir/depend --- parser.tab.cpp --- --- lexer.yy.cpp --- --- regex_parser.tab.cpp --- --- regex_lexer.yy.cpp --- --- parser.tab.cpp --- [ 1%] [BISON][MZNParser] Building parser with bison 3.6.4 cd /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 && /usr/local/bin/bison -p mzn_yy -l --defines=/construction/math/minizinc/.build/include/minizinc/parser.tab.hh -o /construction/math/minizinc/.build/parser.tab.cpp /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/parser.yxx --- regex_lexer.yy.cpp --- [ 2%] [FLEX][RegExLexer] Building scanner with flex 2.6.4 cd /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 && /usr/bin/flex -P regex_yy -L -o/construction/math/minizinc/.build/regex_lexer.yy.cpp /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/support/regex/lexer.lxx --- regex_parser.tab.cpp --- [ 3%] [BISON][RegExParser] Building parser with bison 3.6.4 cd /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 && /usr/local/bin/bison -p regex_yy -l --defines=/construction/math/minizinc/.build/include/minizinc/support/regex_parser.tab.hh -o /construction/math/minizinc/.build/regex_parser.tab.cpp /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/support/regex/parser.yxx --- lexer.yy.cpp --- [ 4%] [FLEX][MZNLexer] Building scanner with flex 2.6.4 cd /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 && /usr/bin/flex -P mzn_yy -L -o/construction/math/minizinc/.build/lexer.yy.cpp /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/lexer.lxx --- include/minizinc/parser.tab.hh --- --- CMakeFiles/minizinc_parser.dir/depend --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_parser.dir/DependInfo.cmake Scanning dependencies of target minizinc_parser /usr/bin/make -f CMakeFiles/minizinc_parser.dir/build.make CMakeFiles/minizinc_parser.dir/build --- CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o --- --- CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o --- --- CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o --- --- CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o --- --- CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o --- [ 5%] Building CXX object CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o --- CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o --- [ 7%] Building CXX object CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o --- CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o --- [ 8%] Building CXX object CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o --- CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o --- [ 9%] Building CXX object CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o --- CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o --- /usr/bin/c++ -DHAS_GECODE -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o -c /construction/math/minizinc/.build/parser.tab.cpp --- CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o --- /usr/bin/c++ -DHAS_GECODE -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o -c /construction/math/minizinc/.build/regex_parser.tab.cpp --- CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o --- /usr/bin/c++ -DHAS_GECODE -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o -c /construction/math/minizinc/.build/regex_lexer.yy.cpp --- CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o --- /usr/bin/c++ -DHAS_GECODE -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o -c /construction/math/minizinc/.build/lexer.yy.cpp [ 9%] Built target minizinc_parser --- CMakeFiles/minizinc_fzn.dir/all --- --- CMakeFiles/minizinc_nl.dir/all --- --- CMakeFiles/minizinc_osicbc.dir/all --- --- CMakeFiles/minizinc_gecode.dir/all --- --- CMakeFiles/minizinc_fzn.dir/all --- /usr/bin/make -f CMakeFiles/minizinc_fzn.dir/build.make CMakeFiles/minizinc_fzn.dir/depend --- CMakeFiles/minizinc_nl.dir/all --- /usr/bin/make -f CMakeFiles/minizinc_nl.dir/build.make CMakeFiles/minizinc_nl.dir/depend --- CMakeFiles/minizinc_osicbc.dir/all --- /usr/bin/make -f CMakeFiles/minizinc_osicbc.dir/build.make CMakeFiles/minizinc_osicbc.dir/depend --- CMakeFiles/minizinc_gecode.dir/all --- /usr/bin/make -f CMakeFiles/minizinc_gecode.dir/build.make CMakeFiles/minizinc_gecode.dir/depend --- CMakeFiles/minizinc_gecode.dir/depend --- --- CMakeFiles/minizinc_osicbc.dir/all --- --- CMakeFiles/minizinc_osicbc.dir/depend --- --- CMakeFiles/minizinc_nl.dir/all --- --- CMakeFiles/minizinc_nl.dir/depend --- --- CMakeFiles/minizinc_osicbc.dir/all --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_osicbc.dir/DependInfo.cmake --- CMakeFiles/minizinc_nl.dir/all --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_nl.dir/DependInfo.cmake --- CMakeFiles/minizinc_fzn.dir/all --- --- CMakeFiles/minizinc_fzn.dir/depend --- --- CMakeFiles/minizinc_gecode.dir/all --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_gecode.dir/DependInfo.cmake --- CMakeFiles/minizinc_fzn.dir/all --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_fzn.dir/DependInfo.cmake Scanning dependencies of target minizinc_fzn /usr/bin/make -f CMakeFiles/minizinc_fzn.dir/build.make CMakeFiles/minizinc_fzn.dir/build --- CMakeFiles/minizinc_nl.dir/all --- Scanning dependencies of target minizinc_nl /usr/bin/make -f CMakeFiles/minizinc_nl.dir/build.make CMakeFiles/minizinc_nl.dir/build --- CMakeFiles/minizinc_fzn.dir/all --- --- CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o --- --- CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o --- --- CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o --- --- CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o --- --- CMakeFiles/minizinc_osicbc.dir/all --- Scanning dependencies of target minizinc_osicbc /usr/bin/make -f CMakeFiles/minizinc_osicbc.dir/build.make CMakeFiles/minizinc_osicbc.dir/build --- CMakeFiles/minizinc_fzn.dir/all --- --- CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o --- [ 11%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o --- CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o --- [ 11%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o --- CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/fzn/fzn_solverfactory.cpp --- CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/mzn/mzn_solverinstance.cpp --- CMakeFiles/minizinc_nl.dir/all --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o --- --- CMakeFiles/minizinc_fzn.dir/all --- --- CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o --- [ 13%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/fzn/fzn_solverinstance.cpp --- CMakeFiles/minizinc_nl.dir/all --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o --- [ 15%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/nl/nl_components.cpp --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o --- [ 16%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o --- CMakeFiles/minizinc_osicbc.dir/all --- --- CMakeFiles/minizinc_osicbc.dir/lib/algorithms/min_cut.cpp.o --- --- CMakeFiles/minizinc_nl.dir/all --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/nl/nl_solreader.cpp --- CMakeFiles/minizinc_fzn.dir/all --- --- CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o --- [ 16%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/mzn/mzn_solverfactory.cpp --- CMakeFiles/minizinc_nl.dir/all --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o --- [ 20%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o --- CMakeFiles/minizinc_osicbc.dir/all --- [ 20%] Building CXX object CMakeFiles/minizinc_osicbc.dir/lib/algorithms/min_cut.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -I/usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_osicbc.dir/lib/algorithms/min_cut.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/algorithms/min_cut.cpp --- CMakeFiles/minizinc_nl.dir/all --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/nl/nl_solverfactory.cpp --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o --- [ 20%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/nl/nl_file.cpp --- CMakeFiles/minizinc_gecode.dir/all --- Scanning dependencies of target minizinc_gecode /usr/bin/make -f CMakeFiles/minizinc_gecode.dir/build.make CMakeFiles/minizinc_gecode.dir/build --- CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o --- [ 21%] Building CXX object CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/passes/gecode_pass.cpp --- CMakeFiles/minizinc_osicbc.dir/all --- --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_solverfactory.cpp.o --- [ 22%] Building CXX object CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_solverfactory.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -I/usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_solverfactory.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/MIP/MIP_osicbc_solverfactory.cpp --- CMakeFiles/minizinc_nl.dir/all --- --- CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o --- [ 23%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/nl/nl_solverinstance.cpp --- CMakeFiles/minizinc_osicbc.dir/all --- --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o --- --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o --- --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o --- [ 26%] Building CXX object CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o --- [ 26%] Building CXX object CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -I/usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/MIP/MIP_osicbc_wrap.cpp --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -I/usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/MIP/MIP_solverinstance.cpp --- CMakeFiles/minizinc_gecode.dir/all --- --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o --- --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o --- --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o --- [ 28%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o --- [ 28%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/gecode/gecode_constraints.cpp --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/gecode/fzn_space.cpp --- CMakeFiles/minizinc_osicbc.dir/all --- --- CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o --- In file included from /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/MIP/MIP_osicbc_wrap.cpp:35: /usr/local/include/coin/CoinSignal.hpp:106:2: warning: #warning ("OS and/or compiler is not recognized. Defaulting to:"); [-Wcpp] #warning("OS and/or compiler is not recognized. Defaulting to:"); ^~~~~~~ /usr/local/include/coin/CoinSignal.hpp:107:2: warning: #warning ("extern 'C' {") [-Wcpp] #warning("extern 'C' {") ^~~~~~~ /usr/local/include/coin/CoinSignal.hpp:108:2: warning: #warning (" typedef void (*CoinSighandler_t) (int);") [-Wcpp] #warning(" typedef void (*CoinSighandler_t) (int);") ^~~~~~~ /usr/local/include/coin/CoinSignal.hpp:109:2: warning: #warning ("}") [-Wcpp] #warning("}") ^~~~~~~ --- CMakeFiles/minizinc_gecode.dir/all --- --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o --- --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o --- --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o --- [ 30%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o --- [ 30%] Building CXX object CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/gecode/gecode_solverfactory.cpp --- CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o --- /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/solvers/gecode/gecode_solverinstance.cpp --- CMakeFiles/minizinc_fzn.dir/all --- [ 30%] Built target minizinc_fzn --- CMakeFiles/minizinc_nl.dir/all --- [ 30%] Built target minizinc_nl --- CMakeFiles/minizinc_osicbc.dir/all --- [ 30%] Built target minizinc_osicbc --- CMakeFiles/minizinc_gecode.dir/all --- [ 30%] Built target minizinc_gecode --- CMakeFiles/mzn.dir/all --- /usr/bin/make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/depend --- CMakeFiles/mzn.dir/depend --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/mzn.dir/DependInfo.cmake Scanning dependencies of target mzn /usr/bin/make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/build --- CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o --- --- CMakeFiles/mzn.dir/lib/ast.cpp.o --- --- CMakeFiles/mzn.dir/lib/astexception.cpp.o --- --- CMakeFiles/mzn.dir/lib/astmap.cpp.o --- --- CMakeFiles/mzn.dir/lib/aststring.cpp.o --- --- CMakeFiles/mzn.dir/lib/astvec.cpp.o --- --- CMakeFiles/mzn.dir/lib/builtins.cpp.o --- --- CMakeFiles/mzn.dir/lib/cdecode.c.o --- --- CMakeFiles/mzn.dir/lib/cencode.c.o --- --- CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o --- --- CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o --- [ 32%] Building CXX object CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o --- CMakeFiles/mzn.dir/lib/astmap.cpp.o --- [ 33%] Building CXX object CMakeFiles/mzn.dir/lib/astmap.cpp.o --- CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o --- /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/MIPdomains.cpp --- CMakeFiles/mzn.dir/lib/astmap.cpp.o --- /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/astmap.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/astmap.cpp --- CMakeFiles/mzn.dir/lib/builtins.cpp.o --- [ 34%] Building CXX object CMakeFiles/mzn.dir/lib/builtins.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/builtins.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/builtins.cpp --- CMakeFiles/mzn.dir/lib/astvec.cpp.o --- [ 35%] Building CXX object CMakeFiles/mzn.dir/lib/astvec.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/astvec.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/astvec.cpp --- CMakeFiles/mzn.dir/lib/cdecode.c.o --- [ 36%] Building C object CMakeFiles/mzn.dir/lib/cdecode.c.o /usr/bin/cc -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/mzn.dir/lib/cdecode.c.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/cdecode.c --- CMakeFiles/mzn.dir/lib/aststring.cpp.o --- [ 38%] Building CXX object CMakeFiles/mzn.dir/lib/aststring.cpp.o --- CMakeFiles/mzn.dir/lib/cencode.c.o --- [ 39%] Building C object CMakeFiles/mzn.dir/lib/cencode.c.o --- CMakeFiles/mzn.dir/lib/aststring.cpp.o --- /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/aststring.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/aststring.cpp --- CMakeFiles/mzn.dir/lib/ast.cpp.o --- [ 40%] Building CXX object CMakeFiles/mzn.dir/lib/ast.cpp.o --- CMakeFiles/mzn.dir/lib/cencode.c.o --- /usr/bin/cc -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/mzn.dir/lib/cencode.c.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/cencode.c --- CMakeFiles/mzn.dir/lib/ast.cpp.o --- /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/ast.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/ast.cpp --- CMakeFiles/mzn.dir/lib/astexception.cpp.o --- [ 41%] Building CXX object CMakeFiles/mzn.dir/lib/astexception.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/astexception.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/astexception.cpp --- CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o --- [ 42%] Building CXX object CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/chain_compressor.cpp --- CMakeFiles/mzn.dir/lib/copy.cpp.o --- --- CMakeFiles/mzn.dir/lib/eval_par.cpp.o --- --- CMakeFiles/mzn.dir/lib/copy.cpp.o --- [ 44%] Building CXX object CMakeFiles/mzn.dir/lib/copy.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/copy.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/copy.cpp --- CMakeFiles/mzn.dir/lib/eval_par.cpp.o --- [ 45%] Building CXX object CMakeFiles/mzn.dir/lib/eval_par.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/eval_par.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/eval_par.cpp --- CMakeFiles/mzn.dir/lib/file_utils.cpp.o --- [ 46%] Building CXX object CMakeFiles/mzn.dir/lib/file_utils.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/file_utils.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/file_utils.cpp --- CMakeFiles/mzn.dir/lib/flatten.cpp.o --- [ 47%] Building CXX object CMakeFiles/mzn.dir/lib/flatten.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten.cpp --- CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o --- [ 48%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flat_exp.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o --- [ 50%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_anon.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o --- [ 51%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_arrayaccess.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o --- [ 52%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_arraylit.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o --- [ 53%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_binop.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o --- [ 54%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_call.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o --- [ 55%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_comp.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o --- [ 57%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_id.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o --- [ 58%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_ite.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o --- [ 59%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_let.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o --- [ 60%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_par.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o --- [ 61%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_setlit.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o --- [ 63%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_unop.cpp --- CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o --- [ 64%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flatten/flatten_vardecl.cpp --- CMakeFiles/mzn.dir/lib/flattener.cpp.o --- [ 65%] Building CXX object CMakeFiles/mzn.dir/lib/flattener.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/flattener.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/flattener.cpp --- CMakeFiles/mzn.dir/lib/gc.cpp.o --- [ 66%] Building CXX object CMakeFiles/mzn.dir/lib/gc.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/gc.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/gc.cpp --- CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o --- [ 67%] Building CXX object CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/htmlprinter.cpp --- CMakeFiles/mzn.dir/lib/json_parser.cpp.o --- [ 69%] Building CXX object CMakeFiles/mzn.dir/lib/json_parser.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/json_parser.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/json_parser.cpp --- CMakeFiles/mzn.dir/lib/miniz.c.o --- [ 70%] Building C object CMakeFiles/mzn.dir/lib/miniz.c.o /usr/bin/cc -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/mzn.dir/lib/miniz.c.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/miniz.c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/miniz.c:3030:9: note: #pragma message: Using fopen, ftello, fseeko, stat() etc. path for file I/O - this path may not support large files. #pragma message("Using fopen, ftello, fseeko, stat() etc. path for file I/O - this path may not support large files.") ^~~~~~~ --- CMakeFiles/mzn.dir/lib/model.cpp.o --- [ 71%] Building CXX object CMakeFiles/mzn.dir/lib/model.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/model.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/model.cpp --- CMakeFiles/mzn.dir/lib/optimize.cpp.o --- [ 72%] Building CXX object CMakeFiles/mzn.dir/lib/optimize.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/optimize.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/optimize.cpp --- CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o --- [ 73%] Building CXX object CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/optimize_constraints.cpp --- CMakeFiles/mzn.dir/lib/output.cpp.o --- [ 75%] Building CXX object CMakeFiles/mzn.dir/lib/output.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/output.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/output.cpp --- CMakeFiles/mzn.dir/lib/parser.cpp.o --- [ 76%] Building CXX object CMakeFiles/mzn.dir/lib/parser.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/parser.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/parser.cpp --- CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o --- [ 77%] Building CXX object CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/passes/compile_pass.cpp --- CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o --- [ 78%] Building CXX object CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/pathfileprinter.cpp --- CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o --- [ 79%] Building CXX object CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/prettyprinter.cpp --- CMakeFiles/mzn.dir/lib/solns2out.cpp.o --- [ 80%] Building CXX object CMakeFiles/mzn.dir/lib/solns2out.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solns2out.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/solns2out.cpp --- CMakeFiles/mzn.dir/lib/solver.cpp.o --- [ 82%] Building CXX object CMakeFiles/mzn.dir/lib/solver.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/solver.cpp --- CMakeFiles/mzn.dir/lib/solver_config.cpp.o --- [ 83%] Building CXX object CMakeFiles/mzn.dir/lib/solver_config.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver_config.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/solver_config.cpp --- CMakeFiles/mzn.dir/lib/solver_instance.cpp.o --- [ 84%] Building CXX object CMakeFiles/mzn.dir/lib/solver_instance.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver_instance.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/solver_instance.cpp --- CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o --- [ 85%] Building CXX object CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/solver_instance_base.cpp --- CMakeFiles/mzn.dir/lib/statistics.cpp.o --- [ 86%] Building CXX object CMakeFiles/mzn.dir/lib/statistics.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/statistics.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/statistics.cpp --- CMakeFiles/mzn.dir/lib/type.cpp.o --- [ 88%] Building CXX object CMakeFiles/mzn.dir/lib/type.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/type.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/type.cpp --- CMakeFiles/mzn.dir/lib/typecheck.cpp.o --- [ 89%] Building CXX object CMakeFiles/mzn.dir/lib/typecheck.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/typecheck.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/typecheck.cpp --- CMakeFiles/mzn.dir/lib/values.cpp.o --- [ 90%] Building CXX object CMakeFiles/mzn.dir/lib/values.cpp.o /usr/bin/c++ -DHAS_GECODE -DHAS_OSICBC -Dmzn_EXPORTS -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -std=gnu++11 -o CMakeFiles/mzn.dir/lib/values.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/lib/values.cpp --- libmzn.so --- [ 91%] Linking CXX shared library libmzn.so /usr/local/bin/cmake -E cmake_link_script CMakeFiles/mzn.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libmzn.so -o libmzn.so CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o CMakeFiles/mzn.dir/lib/ast.cpp.o CMakeFiles/mzn.dir/lib/astexception.cpp.o CMakeFiles/mzn.dir/lib/astmap.cpp.o CMakeFiles/mzn.dir/lib/aststring.cpp.o CMakeFiles/mzn.dir/lib/astvec.cpp.o CMakeFiles/mzn.dir/lib/builtins.cpp.o CMakeFiles/mzn.dir/lib/cdecode.c.o CMakeFiles/mzn.dir/lib/cencode.c.o CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o CMakeFiles/mzn.dir/lib/copy.cpp.o CMakeFiles/mzn.dir/lib/eval_par.cpp.o CMakeFiles/mzn.dir/lib/file_utils.cpp.o CMakeFiles/mzn.dir/lib/flatten.cpp.o CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o CMakeFiles/mzn.dir/lib/flattener.cpp.o CMakeFiles/mzn.dir/lib/gc.cpp.o CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o CMakeFiles/mzn.dir/lib/json_parser.cpp.o CMakeFiles/mzn.dir/lib/miniz.c.o CMakeFiles/mzn.dir/lib/model.cpp.o CMakeFiles/mzn.dir/lib/optimize.cpp.o CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o CMakeFiles/mzn.dir/lib/output.cpp.o CMakeFiles/mzn.dir/lib/parser.cpp.o CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o CMakeFiles/mzn.dir/lib/solns2out.cpp.o CMakeFiles/mzn.dir/lib/solver.cpp.o CMakeFiles/mzn.dir/lib/solver_config.cpp.o CMakeFiles/mzn.dir/lib/solver_instance.cpp.o CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o CMakeFiles/mzn.dir/lib/statistics.cpp.o CMakeFiles/mzn.dir/lib/type.cpp.o CMakeFiles/mzn.dir/lib/typecheck.cpp.o CMakeFiles/mzn.dir/lib/values.cpp.o CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o CMakeFiles/minizinc_osicbc.dir/lib/algorithms/min_cut.cpp.o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_solverfactory.cpp.o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o -Wl,-z,origin,-rpath,/usr/local/lib -pthread /usr/local/lib/libgecodedriver.so /usr/local/lib/libgecodefloat.so /usr/local/lib/libgecodeint.so /usr/local/lib/libgecodekernel.so /usr/local/lib/libgecodesearch.so /usr/local/lib/libgecodeset.so /usr/local/lib/libCbcSolver.so /usr/local/lib/libCbc.so /usr/local/lib/libCgl.so /usr/local/lib/libOsiClp.so /usr/local/lib/libClp.so /usr/local/lib/libOsi.so /usr/local/lib/libCoinUtils.so /usr/lib/libz.so /usr/local/lib/libgecodeminimodel.so /usr/local/lib/libgecodesupport.so [ 92%] Built target mzn --- CMakeFiles/mzn2doc.dir/all --- --- CMakeFiles/minizinc.dir/all --- /usr/bin/make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/depend --- CMakeFiles/mzn2doc.dir/all --- /usr/bin/make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/depend --- CMakeFiles/minizinc.dir/all --- --- CMakeFiles/minizinc.dir/depend --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc.dir/DependInfo.cmake --- CMakeFiles/mzn2doc.dir/all --- --- CMakeFiles/mzn2doc.dir/depend --- cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/mzn2doc.dir/DependInfo.cmake --- CMakeFiles/minizinc.dir/all --- Scanning dependencies of target minizinc --- CMakeFiles/mzn2doc.dir/all --- Scanning dependencies of target mzn2doc --- CMakeFiles/minizinc.dir/all --- /usr/bin/make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/build --- CMakeFiles/minizinc.dir/minizinc.cpp.o --- --- CMakeFiles/mzn2doc.dir/all --- /usr/bin/make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/build --- CMakeFiles/minizinc.dir/all --- [ 94%] Building CXX object CMakeFiles/minizinc.dir/minizinc.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIE -std=gnu++11 -o CMakeFiles/minizinc.dir/minizinc.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/minizinc.cpp --- CMakeFiles/mzn2doc.dir/all --- --- CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o --- [ 95%] Building CXX object CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o /usr/bin/c++ -I/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/include -I/construction/math/minizinc/.build/include -isystem /usr/local/include -isystem /usr/local/include/coin -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIE -std=gnu++11 -o CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o -c /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76/mzn2doc.cpp --- CMakeFiles/minizinc.dir/all --- --- minizinc --- [ 96%] Linking CXX executable minizinc /usr/local/bin/cmake -E cmake_link_script CMakeFiles/minizinc.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/minizinc.dir/minizinc.cpp.o -o minizinc -Wl,-z,origin,-rpath,/construction/math/minizinc/.build:/usr/local/lib libmzn.so -pthread /usr/local/lib/libgecodedriver.so /usr/local/lib/libgecodefloat.so /usr/local/lib/libgecodeint.so /usr/local/lib/libgecodekernel.so /usr/local/lib/libgecodesearch.so /usr/local/lib/libgecodeset.so /usr/local/lib/libCbcSolver.so /usr/local/lib/libCbc.so /usr/local/lib/libCgl.so /usr/local/lib/libOsiClp.so /usr/local/lib/libClp.so /usr/local/lib/libOsi.so /usr/local/lib/libCoinUtils.so /usr/lib/libz.so /usr/local/lib/libgecodeminimodel.so /usr/local/lib/libgecodesupport.so [ 97%] Built target minizinc --- CMakeFiles/mzn2doc.dir/all --- --- mzn2doc --- [ 98%] Linking CXX executable mzn2doc /usr/local/bin/cmake -E cmake_link_script CMakeFiles/mzn2doc.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o -o mzn2doc -Wl,-z,origin,-rpath,/construction/math/minizinc/.build:/usr/local/lib libmzn.so -pthread /usr/local/lib/libgecodedriver.so /usr/local/lib/libgecodefloat.so /usr/local/lib/libgecodeint.so /usr/local/lib/libgecodekernel.so /usr/local/lib/libgecodesearch.so /usr/local/lib/libgecodeset.so /usr/local/lib/libCbcSolver.so /usr/local/lib/libCbc.so /usr/local/lib/libCgl.so /usr/local/lib/libOsiClp.so /usr/local/lib/libClp.so /usr/local/lib/libOsi.so /usr/local/lib/libCoinUtils.so /usr/lib/libz.so /usr/local/lib/libgecodeminimodel.so /usr/local/lib/libgecodesupport.so [100%] Built target mzn2doc /usr/local/bin/cmake -E cmake_progress_start /construction/math/minizinc/.build/CMakeFiles 0 SUCCEEDED 00:03:10 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for minizinc-2.4.3.20200807_1 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 -B/construction/math/minizinc/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/minizinc/.build/CMakeFiles /construction/math/minizinc/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f CMakeFiles/minizinc_parser.dir/build.make CMakeFiles/minizinc_parser.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_parser.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/minizinc_parser.dir/build.make CMakeFiles/minizinc_parser.dir/build [ 9%] Built target minizinc_parser /usr/bin/make -f CMakeFiles/minizinc_osicbc.dir/build.make CMakeFiles/minizinc_osicbc.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_osicbc.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/minizinc_osicbc.dir/build.make CMakeFiles/minizinc_osicbc.dir/build [ 14%] Built target minizinc_osicbc /usr/bin/make -f CMakeFiles/minizinc_nl.dir/build.make CMakeFiles/minizinc_nl.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_nl.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/minizinc_nl.dir/build.make CMakeFiles/minizinc_nl.dir/build [ 20%] Built target minizinc_nl /usr/bin/make -f CMakeFiles/minizinc_fzn.dir/build.make CMakeFiles/minizinc_fzn.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_fzn.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/minizinc_fzn.dir/build.make CMakeFiles/minizinc_fzn.dir/build [ 25%] Built target minizinc_fzn /usr/bin/make -f CMakeFiles/minizinc_gecode.dir/build.make CMakeFiles/minizinc_gecode.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc_gecode.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/minizinc_gecode.dir/build.make CMakeFiles/minizinc_gecode.dir/build [ 30%] Built target minizinc_gecode /usr/bin/make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/mzn.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/build [ 92%] Built target mzn /usr/bin/make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/mzn2doc.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/build [ 96%] Built target mzn2doc /usr/bin/make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/depend cd /construction/math/minizinc/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/libminizinc-01854690be366b964df9e25eaf5bd244759c4e76 /construction/math/minizinc/.build /construction/math/minizinc/.build /construction/math/minizinc/.build/CMakeFiles/minizinc.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/build [100%] Built target minizinc /usr/local/bin/cmake -E cmake_progress_start /construction/math/minizinc/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f CMakeFiles/mzn2doc.dir/build.make CMakeFiles/mzn2doc.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/mzn2doc /usr/local/bin/cmake -E cmake_link_script CMakeFiles/mzn2doc.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o -o CMakeFiles/CMakeRelink.dir/mzn2doc -Wl,-z,origin,-rpath,/usr/local/lib libmzn.so -pthread /usr/local/lib/libgecodedriver.so /usr/local/lib/libgecodefloat.so /usr/local/lib/libgecodeint.so /usr/local/lib/libgecodekernel.so /usr/local/lib/libgecodesearch.so /usr/local/lib/libgecodeset.so /usr/local/lib/libCbcSolver.so /usr/local/lib/libCbc.so /usr/local/lib/libCgl.so /usr/local/lib/libOsiClp.so /usr/local/lib/libClp.so /usr/local/lib/libOsi.so /usr/local/lib/libCoinUtils.so /usr/lib/libz.so /usr/local/lib/libgecodeminimodel.so /usr/local/lib/libgecodesupport.so /usr/bin/make -f CMakeFiles/minizinc.dir/build.make CMakeFiles/minizinc.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/minizinc /usr/local/bin/cmake -E cmake_link_script CMakeFiles/minizinc.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/minizinc.dir/minizinc.cpp.o -o CMakeFiles/CMakeRelink.dir/minizinc -Wl,-z,origin,-rpath,/usr/local/lib libmzn.so -pthread /usr/local/lib/libgecodedriver.so /usr/local/lib/libgecodefloat.so /usr/local/lib/libgecodeint.so /usr/local/lib/libgecodekernel.so /usr/local/lib/libgecodesearch.so /usr/local/lib/libgecodeset.so /usr/local/lib/libCbcSolver.so /usr/local/lib/libCbc.so /usr/local/lib/libCgl.so /usr/local/lib/libOsiClp.so /usr/local/lib/libClp.so /usr/local/lib/libOsi.so /usr/local/lib/libCoinUtils.so /usr/lib/libz.so /usr/local/lib/libgecodeminimodel.so /usr/local/lib/libgecodesupport.so /usr/bin/make -f CMakeFiles/mzn.dir/build.make CMakeFiles/mzn.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/libmzn.so /usr/local/bin/cmake -E cmake_link_script CMakeFiles/mzn.dir/relink.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libmzn.so -o CMakeFiles/CMakeRelink.dir/libmzn.so CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o CMakeFiles/mzn.dir/lib/ast.cpp.o CMakeFiles/mzn.dir/lib/astexception.cpp.o CMakeFiles/mzn.dir/lib/astmap.cpp.o CMakeFiles/mzn.dir/lib/aststring.cpp.o CMakeFiles/mzn.dir/lib/astvec.cpp.o CMakeFiles/mzn.dir/lib/builtins.cpp.o CMakeFiles/mzn.dir/lib/cdecode.c.o CMakeFiles/mzn.dir/lib/cencode.c.o CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o CMakeFiles/mzn.dir/lib/copy.cpp.o CMakeFiles/mzn.dir/lib/eval_par.cpp.o CMakeFiles/mzn.dir/lib/file_utils.cpp.o CMakeFiles/mzn.dir/lib/flatten.cpp.o CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o CMakeFiles/mzn.dir/lib/flattener.cpp.o CMakeFiles/mzn.dir/lib/gc.cpp.o CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o CMakeFiles/mzn.dir/lib/json_parser.cpp.o CMakeFiles/mzn.dir/lib/miniz.c.o CMakeFiles/mzn.dir/lib/model.cpp.o CMakeFiles/mzn.dir/lib/optimize.cpp.o CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o CMakeFiles/mzn.dir/lib/output.cpp.o CMakeFiles/mzn.dir/lib/parser.cpp.o CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o CMakeFiles/mzn.dir/lib/solns2out.cpp.o CMakeFiles/mzn.dir/lib/solver.cpp.o CMakeFiles/mzn.dir/lib/solver_config.cpp.o CMakeFiles/mzn.dir/lib/solver_instance.cpp.o CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o CMakeFiles/mzn.dir/lib/statistics.cpp.o CMakeFiles/mzn.dir/lib/type.cpp.o CMakeFiles/mzn.dir/lib/typecheck.cpp.o CMakeFiles/mzn.dir/lib/values.cpp.o CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o CMakeFiles/minizinc_parser.dir/regex_parser.tab.cpp.o CMakeFiles/minizinc_parser.dir/regex_lexer.yy.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o CMakeFiles/minizinc_gecode.dir/lib/passes/gecode_pass.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/fzn_space.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_constraints.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverfactory.cpp.o CMakeFiles/minizinc_gecode.dir/solvers/gecode/gecode_solverinstance.cpp.o CMakeFiles/minizinc_osicbc.dir/lib/algorithms/min_cut.cpp.o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_solverfactory.cpp.o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_osicbc_wrap.cpp.o CMakeFiles/minizinc_osicbc.dir/solvers/MIP/MIP_solverinstance.cpp.o -Wl,-z,origin,-rpath,/usr/local/lib -pthread /usr/local/lib/libgecodedriver.so /usr/local/lib/libgecodefloat.so /usr/local/lib/libgecodeint.so /usr/local/lib/libgecodekernel.so /usr/local/lib/libgecodesearch.so /usr/local/lib/libgecodeset.so /usr/local/lib/libCbcSolver.so /usr/local/lib/libCbc.so /usr/local/lib/libCgl.so /usr/local/lib/libOsiClp.so /usr/local/lib/libClp.so /usr/local/lib/libOsi.so /usr/local/lib/libCoinUtils.so /usr/lib/libz.so /usr/local/lib/libgecodeminimodel.so /usr/local/lib/libgecodesupport.so Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/config.hh -- Installing: /construction/math/minizinc/stage/usr/local/lib/libmzn.so -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_lazyfd -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_lazyfd/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_lazyfd/all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/Preferences.json -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_partition_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_at_least_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_cumulative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_arg_min_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_roots.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_inverse_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_exactly_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_at_least_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_sort.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_member_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_table_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_lex_lesseq_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_bin_packing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_global_cardinality.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_count_eq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_value_precede_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_value_precede_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_nvalue.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_circuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_at_most_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/precedence.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_member_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/redefinitions-2.0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_disjoint.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_increasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_increasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/gecode.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_link_set_to_booleans.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_count_eq_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_member_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_lex_less_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_decreasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_diffn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_int_set_channel.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_regular.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_lex_less_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_all_equal_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_distribute.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_at_most_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_decreasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_exactly_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_sum_pred.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_range.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_among.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/gecode_presolver/fzn_arg_max_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_chain_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_least_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/globals.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_equal_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_float_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_sort_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sum_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/decreasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dtree_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_dpath_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sort.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_lesseq_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_least_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/disjoint.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_min.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_opt_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strict_lex2_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_path_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions-2.3.3.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_float_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_seq_precede_chain_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_path_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cost_regular.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/geost.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/decreasing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_dpath_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_min_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_leq_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/mdd.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dpath_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/global_cardinality.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cumulative_opt_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_network_flow_cost_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_sort_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/regular.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_inverse_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_smallest_bb.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_less_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/piecewise_linear.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/element_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sum_pred_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_greater.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_writes_seq_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_geq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/link_set_to_booleans.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_subgraph_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_set_member.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/alldifferent_except_0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_lesseq_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dreachable_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_path_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_gt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_lesseq_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_network_flow.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_max_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_float_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/cost_mdd.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_alldifferent_except_0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_k.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_gt_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_distribute_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/tree.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/table.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bin_packing_load.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_transitive_closure.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/roots_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_max_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions-2.1.1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dpath_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_chain_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_leq_par.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/reachable.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dpath_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_eq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/writes_seq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_nonoverlap_k_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_equal_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sort_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_reachable_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_min_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dreachable_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_sort.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/diffn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/writes.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/bin_packing_capa.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/sum_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_dpath_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_span.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_opt_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_connected.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dtree_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cumulative_opt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dag.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_min_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_writes_seq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_decreasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_lt_par_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_gt_par_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_most_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/network_flow.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/cost_regular.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_among_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex2_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bin_packing_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/bin_packing_load.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_float_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_neural_net.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/stdlib.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_lt_par.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/int_set_channel.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/comparison_rel_array.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cumulative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/diffn_k.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_float_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_nonstrict.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_piecewise_linear.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/nvalue_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_mdd.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/strict_lex2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/atmost1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_disjoint.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_path_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_partition_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_most.mzn.deprecated.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_k_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sum_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/write.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_tree_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/sort_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_different_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/diffn_nonstrict_k.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions-2.0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/symmetric_all_different.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sum_pred.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_tree_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/nvalue.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_path_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dconnected_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_path_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_least_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/increasing_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/sum_pred.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/member_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_nfa_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_sort_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/member_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_eq_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_most1_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/distribute_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_greatereq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/bounded_path.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/strictly_increasing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/seq_precede_chain.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/path.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions-2.1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_chain_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/cumulative_opt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_span_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/neural_net.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/element_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_set_member_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_less_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/connected.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_exactly_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_partiality.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/knapsack.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/regular_nfa.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_steiner_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_inverse_in_range.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/atleast.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_max_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dpath_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dag_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_geq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dtree_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjoint.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_wst_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_lesseq_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/value_precede.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_gt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_nvalue.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_equal_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sliding_sum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_least_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/increasing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_most_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_alternative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_roots_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/subgraph.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/exactly_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dreachable_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/global_cardinality_closed.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/analyse_all_different.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_geq_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_less_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_most_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_mdd_nondet.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_reachable_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_opt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/global_cardinality_low_up.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/minimum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/among.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_increasing_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/inverse_in_range.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_strict_opt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/decreasing_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_exactly_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/increasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_nfa_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_inverse_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_eq_par.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/distribute.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_subcircuit_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/value_precede_chain_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_min_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_opt_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bin_packing_load_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_strict_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/sliding_sum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_subgraph_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cost_mdd.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_low_up_closed_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/atmost.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/range_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/member.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dtree_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_range.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_closed.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_reachable_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_among.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_less_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_nonstrict_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_nonoverlap_k.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/regular_regexp.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/global_cardinality_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjoint_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dsteiner_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/element.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dwst.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_least_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_min_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_nfa_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_lt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_max_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_tree_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_tree_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/strictly_decreasing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_link_set_to_booleans.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_partition_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_opt_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_max_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_nfa.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_bb_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_write.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/mdd_nondet.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_roots.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_subcircuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_regexp.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_neural_net_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_neq_par.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_nonstrict_k.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_reachable_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bin_packing_capa.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_lt_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_leq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_different_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_most_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/sort.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_nonstrict_k_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_low_up_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/partition_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cost_mdd_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_mdd_nondet_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_bb.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strict_lex2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_low_up.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cumulative_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_min_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_most_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_sort_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/builtins.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_table_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/alternative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_seq_precede_chain_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_closed_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/flatzinc_builtins.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_decreasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/value_precede_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_least.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_geq_par.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_eq_par_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/set_member.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_nvalue_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_symmetric_all_different_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/exactly_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/bin_packing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/global_cardinality_closed_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/roots.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/inverse_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/element_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_different_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/member_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_most_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_subgraph_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/exactly.mzn.deprecated.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/increasing_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_range_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/subcircuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_strict.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/table_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_subgraph_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/inverse_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_neq_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bin_packing.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_path_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_different.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_most.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_opt_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_equal_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_disjoint.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_circuit_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_cost_regular_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_writes_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_network_flow_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_link_set_to_booleans_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/cumulative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_mdd_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_value_precede_chain_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/exactly.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/disjunctive.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_geost_smallest_bb_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dsteiner.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_neq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_max.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/alldifferent.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bounded_dpath_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_increasing_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_increasing_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_sliding_sum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_disjoint_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/dag.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_disjunctive_strict_opt_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_seq_precede_chain_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/circuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_equal_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_piecewise_linear_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_table_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_least_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/disjunctive_opt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_circuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_connected_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_leq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_exactly_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/disjunctive_strict_opt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_int_set_channel_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/diffn_nonstrict.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_less.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_increasing_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_leq_par_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/disjunctive_strict.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_opt_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_diffn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_member_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/among_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_sort_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_wst.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_decreasing_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/maximum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_seq_precede_chain_set_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/increasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/global_cardinality_low_up_closed.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_neq_par_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/member_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/lex_lesseq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/value_precede_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions-2.2.1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_network_flow_cost.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_neq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_table_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_lt.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_global_cardinality_low_up_closed.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/redefinitions-2.0.2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_inverse_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_inverse_in_range_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/decreasing_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_knapsack.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/experimental.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_regular_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_increasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_arg_sort_float_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dreachable_enum_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_gt_par.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/bin_packing_load_fn.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_different_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_less_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_most1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/count_eq.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_int_set_channel.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/at_least.mzn.deprecated.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/value_precede_chain.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/arg_max_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_distribute.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/range.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_alldifferent_except_0_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_count_geq_par_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_exactly_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_bin_packing_capa_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/all_equal.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/span.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_decreasing_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/nosets.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/weighted_spanning_tree.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_all_equal_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/element_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dconnected.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_steiner.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_symmetric_all_different.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_write_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/value_precede_chain_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_writes.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_opt_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_strictly_decreasing_int_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_lex_lesseq_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_knapsack_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/decreasing_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_alternative_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_dwst_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/steiner.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_path_enum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/regular_set.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_at_most1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/std/fzn_if_then_else_var_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_disjunctive.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/redefinitions-2.0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_alldifferent_except_0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_global_cardinality.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_cumulative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_value_precede_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/geas/fzn_table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_lex_lesseq_bool.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_sliding_sum.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/domain_encodings.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefs_lin_reifs.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_if_then_else_float.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/subcircuit_wDummy.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_inverse_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_lex_less_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_alldifferent_except_0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_inverse_in_range.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefinitions-2.0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefs_bool_imp.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefs_bool_reifs.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefs_lin_halfreifs.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_lex_lesseq_bool_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefs_lin_imp.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_if_then_else_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/CHANGELOG.txt -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefinitions-2.2.1.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/options.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_subcircuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/redefinitions-2.0.2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_cumulative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_regular.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_circuit.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear/fzn_inverse_in_range_reif.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/redefinitions-2.0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/redefinitions-2.0.2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/linear/domain_encodings.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/redefinitions.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/redefinitions-2.0.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/all_different_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/redefinitions-2.0.2.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/inverse.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/domain_encodings.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/linear_old/table_int.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_fd -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_fd/cumulative.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_fd/global_cardinality_low_up.mzn -- Installing: /construction/math/minizinc/stage/usr/local/share/minizinc/g12_fd/all_different_int.mzn -- Up-to-date: /construction/math/minizinc/stage/usr/local/include/minizinc -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/algorithms -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/algorithms/min_cut.h -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/ast.hpp -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/aststring.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/flattener.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/gc.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/htmlprinter.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/iter.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/interrupt.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/hash.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/process.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/model.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/parser.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/optimize.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/output.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/plugin.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/pathfileprinter.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/passes -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/passes/compile_pass.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/passes/gecode_pass.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/prettyprinter.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/json_parser.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/optimize_constraints.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solns2out.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solver_config.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solver_instance_base.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_cplex_wrap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_scip_wrap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_solverinstance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_solverinstance.hpp -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_wrap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/MIP/MIP_xpress_wrap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/fzn_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/fzn_solverinstance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/geas -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/geas/geas_constraints.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/geas_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/geas_solverinstance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/gecode -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/gecode/fzn_space.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/gecode/gecode_constraints.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/gecode_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/gecode_solverinstance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/mzn_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/mzn_solverinstance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/nl -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/nl/nl_components.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/nl/nl_file.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/nl/nl_solverfactory.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/nl/nl_solreader.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solvers/nl/nl_solverinstance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solver_instance_defs.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solver_instance.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/copy.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/exception.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/eval_par.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/flatten_internal.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/file_utils.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/flat_exp.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/MIPdomains.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/ast.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/astexception.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/flatten.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/astiterator.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/astmap.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/astvec.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/builtins.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/chain_compressor.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/solver.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/statistics.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty/miniz.h -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty/b64 -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty/b64/cdecode.h -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty/b64/encode.h -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty/b64/cencode.h -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/thirdparty/b64/decode.h -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/utils_savestream.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/timer.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/utils.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/typecheck.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/values.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/type.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/support -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/support/regex.hh -- Up-to-date: /construction/math/minizinc/stage/usr/local/include/minizinc -- Up-to-date: /construction/math/minizinc/stage/usr/local/include/minizinc/support -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/support/regex_parser.tab.hh -- Installing: /construction/math/minizinc/stage/usr/local/include/minizinc/parser.tab.hh -- Installing: /construction/math/minizinc/stage/usr/local/bin/minizinc -- Installing: /construction/math/minizinc/stage/usr/local/bin/mzn2doc -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/FindGecode.cmake -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/FindMPFR.cmake -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/FindOsiCBC.cmake -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/libminizincConfig.cmake -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/libminizincConfigVersion.cmake -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/libminizincTargets.cmake -- Installing: /construction/math/minizinc/stage/usr/local/lib/cmake/libminizinc/libminizincTargets-release.cmake ====> 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:04 ------------------------------------------------------------------------------- -- 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:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for minizinc-2.4.3.20200807_1 file sizes/checksums [707]: 0% file sizes/checksums [707]: 14% file sizes/checksums [707]: 28% file sizes/checksums [707]: 42% file sizes/checksums [707]: 56% file sizes/checksums [707]: 70% file sizes/checksums [707]: 84% file sizes/checksums [707]: 99% file sizes/checksums [707]: 100% packing files [707]: 0% packing files [707]: 14% packing files [707]: 28% packing files [707]: 42% packing files [707]: 56% packing files [707]: 70% packing files [707]: 84% packing files [707]: 99% packing files [707]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:12 TOTAL TIME 00:04:08