Running phase: unpackPhase unpacking sources unpacking source archive /nix/store/q2nwny894xjh8cxddzmfplvpa87s0hly-scalp-185b84e source root is scalp-185b84e Running phase: patchPhase patching sources Running phase: configurePhase configuring fixing cmake files... cmake flags: -DCMAKE_FIND_USE_SYSTEM_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_LOCALEDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/share/locale -DCMAKE_INSTALL_LIBEXECDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/libexec -DCMAKE_INSTALL_LIBDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib -DCMAKE_INSTALL_DOCDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/share/doc/ScaLP -DCMAKE_INSTALL_INFODIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/share/info -DCMAKE_INSTALL_MANDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/share/man -DCMAKE_INSTALL_OLDINCLUDEDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include -DCMAKE_INSTALL_INCLUDEDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include -DCMAKE_INSTALL_SBINDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/sbin -DCMAKE_INSTALL_BINDIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/bin -DCMAKE_INSTALL_NAME_DIR=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib -DCMAKE_POLICY_DEFAULT_CMP0025=NEW -DCMAKE_OSX_SYSROOT= -DCMAKE_FIND_FRAMEWORK=LAST -DCMAKE_STRIP=/nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip -DCMAKE_RANLIB=/nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/ranlib -DCMAKE_AR=/nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/ar -DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++ -DCMAKE_INSTALL_PREFIX=/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15 -DBUILD_TESTS=true -- The C compiler identification is GNU 11.3.0 -- The CXX compiler identification is GNU 11.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Performing Test COMPILER_SUPPORTS_CXX11 -- Performing Test COMPILER_SUPPORTS_CXX11 - Success Gurobi was not found and is not used, if you want to use it, pass Gurobi install directory by -DGUROBI_DIR=... or the individual lib and include directories by -DGUROBI_LIBRARIES=... and -DGUROBI_INCLUDE_DIRS=... (Header: GUROBI_H-NOTFOUND GUROBI_CPP_H-NOTFOUND, Libraries: GUROBI_LIB-NOTFOUND GUROBI_CPP_LIB-NOTFOUND) SCIP was not found and is not used, if you want to use it, pass SCIP install directory by -DSCIP_DIR=... or the individual lib and include directories by -DSCIP_LIBRARIES=... and -DSCIP_INCLUDE_DIRS=... (Header: SCIP_H-NOTFOUND, Libraries: SCIP_LIB-NOTFOUND SOPLEX_LIB-NOTFOUND Z_LIB-NOTFOUND) Found LPSOLVE (Header: /nix/store/97nnfjw8qqxg5864z1pyxkj93rbvhjkb-lp_solve-5.5.2.11/include, Library: /nix/store/97nnfjw8qqxg5864z1pyxkj93rbvhjkb-lp_solve-5.5.2.11/lib/liblpsolve55.so) CPLEX was not found and is not used, if you want to use it, pass CPLEX install directory by -DCPLEX_DIR=... or the individual lib and include directories by -DCPLEX_LIBRARIES=... and -DCPLEX_INCLUDE_DIRS=... (Header: CPLEX_H-NOTFOUND CONCERT_H-NOTFOUND, Library: CPLEX_LIB-NOTFOUND ILOCPLEX_LIB-NOTFOUND CONCERT_LIB-NOTFOUND /nix/store/4cjy86xj43b24k08qwin8chga56za8w4-glibc-2.35-224/lib/libm.so /nix/store/4cjy86xj43b24k08qwin8chga56za8w4-glibc-2.35-224/lib/libpthread.so) -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY CMAKE_FIND_USE_PACKAGE_REGISTRY CMAKE_FIND_USE_SYSTEM_PACKAGE_REGISTRY CMAKE_INSTALL_BINDIR CMAKE_INSTALL_DOCDIR CMAKE_INSTALL_INCLUDEDIR CMAKE_INSTALL_INFODIR CMAKE_INSTALL_LIBDIR CMAKE_INSTALL_LIBEXECDIR CMAKE_INSTALL_LOCALEDIR CMAKE_INSTALL_MANDIR CMAKE_INSTALL_OLDINCLUDEDIR CMAKE_INSTALL_SBINDIR CMAKE_POLICY_DEFAULT_CMP0025 -- Build files have been written to: /build/scalp-185b84e/build cmake: enabled parallel building Running phase: buildPhase building build flags: -j48 SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash [ 4%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Constraint.cpp.o [ 8%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Exception.cpp.o [ 12%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Objective.cpp.o [ 16%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/SolverBackend.cpp.o [ 20%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Solver.cpp.o [ 24%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Term.cpp.o [ 28%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Result.cpp.o [ 32%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/Variable.cpp.o [ 36%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/SolverBackend/SolverDynamic.cpp.o [ 40%] Building CXX object CMakeFiles/ScaLP.dir/src/ScaLP/ResultCache.cpp.o /build/scalp-185b84e/src/ScaLP/Constraint.cpp: In member function 'bool ScaLP::Constraint::isFeasible(const ScaLP::Result&)': /build/scalp-185b84e/src/ScaLP/Constraint.cpp:246:1: warning: control reaches end of non-void function [-Wreturn-type] 246 | } | ^ /build/scalp-185b84e/src/ScaLP/ResultCache.cpp: In function 'bool createDirectory(const string&)': /build/scalp-185b84e/src/ScaLP/ResultCache.cpp:15:9: warning: ignoring return value of 'int system(const char*)' declared with attribute 'warn_unused_result' [-Wunused-result] 15 | system(("mkdir -p \""+d+"\"").c_str()); | ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [ 44%] Linking CXX shared library libScaLP.so [ 44%] Built target ScaLP [ 48%] Building CXX object src/tests/CMakeFiles/FeasibilityCheck_ALL.dir/FeasibilityCheck_ALL.cpp.o [ 52%] Building CXX object src/tests/CMakeFiles/TermGeneration_ALL.dir/TermGeneration_ALL.cpp.o [ 56%] Building CXX object src/tests/CMakeFiles/TestTemplate.dir/TestTemplate.cpp.o [ 60%] Building CXX object CMakeFiles/ScaLPBinary.dir/src/main.cpp.o [ 64%] Building CXX object src/tests/CMakeFiles/Operators.dir/Operators.cpp.o [ 68%] Building CXX object src/tests/CMakeFiles/TermCompaction_ALL.dir/TermCompaction_ALL.cpp.o [ 72%] Building CXX object CMakeFiles/ScaLP-LPSolve.dir/src/ScaLP/SolverBackend/SolverLPSolve.cpp.o [ 76%] Linking CXX executable TestTemplate [ 80%] Linking CXX executable Operators [ 84%] Linking CXX executable scalp [ 88%] Linking CXX executable TermCompaction_ALL [ 92%] Linking CXX executable TermGeneration_ALL [ 96%] Linking CXX executable FeasibilityCheck_ALL [ 96%] Built target Operators [ 96%] Built target TestTemplate [ 96%] Built target ScaLPBinary [ 96%] Built target TermCompaction_ALL [ 96%] Built target TermGeneration_ALL [ 96%] Built target FeasibilityCheck_ALL [100%] Linking CXX shared library libScaLP-LPSolve.so [100%] Built target ScaLP-LPSolve buildPhase completed in 34 seconds Running phase: checkPhase running tests check flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash VERBOSE=y test Running tests... /nix/store/23dcrqiwbqn2jranbpjxsdh739dfk28d-cmake-3.24.3/bin/ctest --force-new-ctest-process Test project /build/scalp-185b84e/build Start 1: FeasibilityCheck_ALL Start 2: Operators_LPSolve Start 3: TermCompaction_ALL Start 4: TermGeneration_ALL Start 5: TestTemplate_LPSolve 1/5 Test #1: FeasibilityCheck_ALL ............. Passed 0.02 sec 2/5 Test #4: TermGeneration_ALL ............... Passed 0.01 sec 3/5 Test #5: TestTemplate_LPSolve ............. Passed 0.02 sec 4/5 Test #2: Operators_LPSolve ................ Passed 0.04 sec 5/5 Test #3: TermCompaction_ALL ............... Passed 0.07 sec 100% tests passed, 0 tests failed out of 5 Total Test time (real) = 0.08 sec Running phase: installPhase installing install flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash install Consolidate compiler generated dependencies of target ScaLP [ 44%] Built target ScaLP Consolidate compiler generated dependencies of target ScaLP-LPSolve [ 52%] Built target ScaLP-LPSolve Consolidate compiler generated dependencies of target ScaLPBinary [ 60%] Built target ScaLPBinary Consolidate compiler generated dependencies of target FeasibilityCheck_ALL [ 68%] Built target FeasibilityCheck_ALL Consolidate compiler generated dependencies of target Operators [ 76%] Built target Operators Consolidate compiler generated dependencies of target TermCompaction_ALL [ 84%] Built target TermCompaction_ALL Consolidate compiler generated dependencies of target TermGeneration_ALL [ 92%] Built target TermGeneration_ALL Consolidate compiler generated dependencies of target TestTemplate [100%] Built target TestTemplate Install the project... -- Install configuration: "Release" -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib/libScaLP.so -- Set runtime path of "/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib/libScaLP.so" to "$ORIGIN" -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib/libScaLP-LPSolve.so -- Set runtime path of "/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib/libScaLP-LPSolve.so" to "$ORIGIN" -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/bin/scalp -- Set runtime path of "/nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/bin/scalp" to "$ORIGIN:$ORIGIN/../lib" -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Constraint.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Exception.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Objective.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Result.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Solver.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/SolverBackend.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Term.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Variable.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/SolverDynamic.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/Utility.h -- Installing: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/SolverLPSolve.h -- Up-to-date: /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/include/ScaLP/SolverDynamic.h Running phase: fixupPhase post-installation fixup shrinking RPATHs of ELF executables and libraries in /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15 shrinking /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/bin/scalp shrinking /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib/libScaLP-LPSolve.so shrinking /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib/libScaLP.so strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip stripping (with command strip and flags -S) in /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/lib /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15/bin patching script interpreter paths in /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15 checking for references to /build/ in /nix/store/vc9i2jplnaskl12lg6pax3g4ys6g2x3f-scalp-unstable-2022-03-15...