Created
September 15, 2021 02:32
-
-
Save r-rmcgibbo/fa006a14fb1ec2075bfe0ee000a2fd7f to your computer and use it in GitHub Desktop.
system: aarch64-linux | build_time: a minute | https://github.com/NixOS/nixpkgs/pull/137876
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
@nix { "action": "setPhase", "phase": "unpackPhase" } | |
unpacking sources | |
unpacking source archive /nix/store/9fri6a3sxgsxbii4ch42a4pj9jrnbdgc-source | |
source root is source | |
@nix { "action": "setPhase", "phase": "patchPhase" } | |
patching sources | |
@nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" } | |
updateAutotoolsGnuConfigScriptsPhase | |
@nix { "action": "setPhase", "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_SKIP_BUILD_RPATH=ON -DBUILD_TESTING=OFF -DCMAKE_INSTALL_LOCALEDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/share/locale -DCMAKE_INSTALL_LIBEXECDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/libexec -DCMAKE_INSTALL_LIBDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/lib -DCMAKE_INSTALL_DOCDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/share/doc/opensmt -DCMAKE_INSTALL_INFODIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/share/info -DCMAKE_INSTALL_MANDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/share/man -DCMAKE_INSTALL_OLDINCLUDEDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/include -DCMAKE_INSTALL_INCLUDEDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/include -DCMAKE_INSTALL_SBINDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/sbin -DCMAKE_INSTALL_BINDIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/bin -DCMAKE_INSTALL_NAME_DIR=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1/lib -DCMAKE_POLICY_DEFAULT_CMP0025=NEW -DCMAKE_OSX_SYSROOT= -DCMAKE_FIND_FRAMEWORK=LAST -DCMAKE_STRIP=/nix/store/7whwzj6l52qcnlg8ym82gmzsdr9x5p20-binutils-2.35.1/bin/strip -DCMAKE_RANLIB=/nix/store/7whwzj6l52qcnlg8ym82gmzsdr9x5p20-binutils-2.35.1/bin/ranlib -DCMAKE_AR=/nix/store/7whwzj6l52qcnlg8ym82gmzsdr9x5p20-binutils-2.35.1/bin/ar -DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++ -DCMAKE_INSTALL_PREFIX=/nix/store/49v30ssafcyfdni471nq6wj6ys1lwv0i-opensmt-2.1.1 -Dgoogletest_SOURCE_DIR=/nix/store/fb8znz18h7639id91n7ryd21jyy7cqv3-source -Dgoogletest_BINARY_DIR=./gtest-build | |
-- The CXX compiler identification is GNU 9.3.0 | |
-- Detecting CXX compiler ABI info | |
-- Detecting CXX compiler ABI info - done | |
-- Check for working CXX compiler: /nix/store/6v68kjn0ih1am041bhxaykq5gb5s3fq2-gcc-wrapper-9.3.0/bin/g++ - skipped | |
-- Detecting CXX compile features | |
-- Detecting CXX compile features - done | |
-- GMP libs: /nix/store/fv8mn9vpfbnzr8qfd3d6vpa3lvhn573v-gmp-6.2.1/lib/libgmp.so /nix/store/fv8mn9vpfbnzr8qfd3d6vpa3lvhn573v-gmp-6.2.1/lib/libgmpxx.so | |
-- GMP include: /nix/store/aczm9r2b4d0h57zph8k86k0xjdpdcrfr-gmp-6.2.1-dev/include | |
-- Found GMP: /nix/store/aczm9r2b4d0h57zph8k86k0xjdpdcrfr-gmp-6.2.1-dev/include | |
-- Looking for C++ include pthread.h | |
-- Looking for C++ include pthread.h - found | |
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD | |
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed | |
-- Check if compiler accepts -pthread | |
-- Check if compiler accepts -pthread - yes | |
-- Found Threads: TRUE | |
-- Found BISON: /nix/store/b9564b858pj7migcvvs923y27jxy6nah-bison-3.7.6/bin/bison (found suitable version "3.7.6", minimum required is "3.0") | |
-- Found FLEX: /nix/store/2466669zfqxz7zwl34ipi9zmgzlnjh59-flex-2.6.4/bin/flex (found version "2.6.4") | |
-- Found LibEdit: /nix/store/w4rfbn7bwr51npc41n80sirgsbdhy4c2-libedit-20210714-3.1-dev/include | |
-- LibEdit library: /nix/store/jrmpq6ajlwr62ic8wb49a00dm4m9w16v-libedit-20210714-3.1/lib/libedit.so | |
-- The C compiler identification is GNU 9.3.0 | |
-- Detecting C compiler ABI info | |
-- Detecting C compiler ABI info - done | |
-- Check for working C compiler: /nix/store/6v68kjn0ih1am041bhxaykq5gb5s3fq2-gcc-wrapper-9.3.0/bin/gcc - skipped | |
-- Detecting C compile features | |
-- Detecting C compile features - done | |
-- Could NOT find Python (missing: Python_EXECUTABLE Interpreter) | |
-- Configuring done | |
-- Generating done | |
CMake Warning: | |
Manually-specified variables were not used by the project: | |
BUILD_TESTING | |
CMAKE_EXPORT_NO_PACKAGE_REGISTRY | |
-- Build files have been written to: /build/source/build | |
cmake: enabled parallel building | |
@nix { "action": "setPhase", "phase": "buildPhase" } | |
building | |
build flags: -j2 -l2 SHELL=/nix/store/kll877i3qbrhpakvjhh13mbjbvxiwjkw-bash-4.4-p23/bin/bash | |
Scanning dependencies of target common | |
Scanning dependencies of target proof | |
[ 0%] Building CXX object src/common/CMakeFiles/common.dir/FastRational.cc.o | |
[ 0%] Building CXX object src/proof/CMakeFiles/proof.dir/PGBuild.cc.o | |
[ 1%] Building CXX object src/common/CMakeFiles/common.dir/FlaPartitionMap.cc.o | |
[ 2%] Building CXX object src/common/CMakeFiles/common.dir/PartitionInfo.cc.o | |
[ 2%] Building CXX object src/common/CMakeFiles/common.dir/VerificationUtils.cc.o | |
[ 3%] Building CXX object src/proof/CMakeFiles/proof.dir/PGCheck.cc.o | |
[ 3%] Built target common | |
[ 3%] Building CXX object src/proof/CMakeFiles/proof.dir/PGHelp.cc.o | |
Scanning dependencies of target cnfizers | |
[ 4%] Building CXX object src/cnfizers/CMakeFiles/cnfizers.dir/Cnfizer.cc.o | |
[ 4%] Building CXX object src/cnfizers/CMakeFiles/cnfizers.dir/TermMapper.cc.o | |
[ 5%] Building CXX object src/proof/CMakeFiles/proof.dir/PGHeuristics.cc.o | |
[ 6%] Building CXX object src/cnfizers/CMakeFiles/cnfizers.dir/Tseitin.cc.o | |
[ 7%] Building CXX object src/proof/CMakeFiles/proof.dir/PGInterAux.cc.o | |
[ 7%] Built target cnfizers | |
Scanning dependencies of target pterms | |
[ 7%] Building CXX object src/pterms/CMakeFiles/pterms.dir/PtStore.cc.o | |
[ 8%] Building CXX object src/pterms/CMakeFiles/pterms.dir/Pterm.cc.o | |
[ 8%] Building CXX object src/pterms/CMakeFiles/pterms.dir/PtStructs.cc.o | |
[ 8%] Building CXX object src/proof/CMakeFiles/proof.dir/PGInterCheck.cc.o | |
[ 8%] Built target pterms | |
Scanning dependencies of target symbols | |
[ 8%] Building CXX object src/symbols/CMakeFiles/symbols.dir/SymStore.cc.o | |
[ 8%] Built target symbols | |
Scanning dependencies of target sorts | |
[ 9%] Building CXX object src/sorts/CMakeFiles/sorts.dir/SSort.cc.o | |
[ 10%] Building CXX object src/sorts/CMakeFiles/sorts.dir/SStore.cc.o | |
[ 10%] Built target sorts | |
Scanning dependencies of target options | |
[ 10%] Building CXX object src/options/CMakeFiles/options.dir/SMTConfig.cc.o | |
[ 11%] Building CXX object src/proof/CMakeFiles/proof.dir/PGInterpolator.cc.o | |
[ 11%] Built target options | |
Scanning dependencies of target rewriters | |
[ 12%] Building CXX object src/rewriters/CMakeFiles/rewriters.dir/DistinctRewriter.cc.o | |
[ 12%] Built target rewriters | |
Scanning dependencies of target api | |
[ 13%] Building CXX object src/api/CMakeFiles/api.dir/MainSolver.cc.o | |
[ 13%] Building CXX object src/proof/CMakeFiles/proof.dir/PGMain.cc.o | |
[ 14%] Building CXX object src/proof/CMakeFiles/proof.dir/PGPrint.cc.o | |
[ 14%] Building CXX object src/api/CMakeFiles/api.dir/PartitionManager.cc.o | |
[ 15%] Building CXX object src/proof/CMakeFiles/proof.dir/PGRules.cc.o | |
[ 16%] Building CXX object src/api/CMakeFiles/api.dir/Opensmt.cc.o | |
[ 16%] Building CXX object src/proof/CMakeFiles/proof.dir/PGTransformationAlgorithms.cc.o | |
[ 16%] Built target api | |
Scanning dependencies of target models | |
[ 16%] Building CXX object src/models/CMakeFiles/models.dir/Model.cc.o | |
[ 17%] Building CXX object src/models/CMakeFiles/models.dir/ModelBuilder.cc.o | |
[ 18%] Building CXX object src/proof/CMakeFiles/proof.dir/InterpolationContext.cc.o | |
[ 18%] Built target models | |
Scanning dependencies of target logics | |
[ 19%] Building CXX object src/logics/CMakeFiles/logics.dir/LogicFactory.cc.o | |
[ 19%] Building CXX object src/logics/CMakeFiles/logics.dir/BVLogic.cc.o | |
[ 20%] Building CXX object src/proof/CMakeFiles/proof.dir/__/smtsolvers/Proof.cc.o | |
[ 21%] Building CXX object src/logics/CMakeFiles/logics.dir/CUFLogic.cc.o | |
[ 21%] Built target proof | |
Scanning dependencies of target tsolvers | |
[ 22%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/Deductions.cc.o | |
[ 22%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/CUFTHandler.cc.o | |
[ 23%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/LRATHandler.cc.o | |
[ 24%] Building CXX object src/logics/CMakeFiles/logics.dir/CUFTheory.cc.o | |
[ 25%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/IDLTHandler.cc.o | |
[ 25%] Building CXX object src/logics/CMakeFiles/logics.dir/LRALogic.cc.o | |
[ 26%] Building CXX object src/logics/CMakeFiles/logics.dir/LIALogic.cc.o | |
[ 26%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/RDLTHandler.cc.o | |
[ 26%] Building CXX object src/logics/CMakeFiles/logics.dir/Logic.cc.o | |
[ 27%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/LIATHandler.cc.o | |
[ 28%] Building CXX object src/logics/CMakeFiles/logics.dir/LALogic.cc.o | |
[ 28%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/THandler.cc.o | |
[ 29%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/TSolverHandler.cc.o | |
[ 30%] Building CXX object src/logics/CMakeFiles/logics.dir/Theory.cc.o | |
[ 31%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/UFLRATHandler.cc.o | |
[ 31%] Building CXX object src/logics/CMakeFiles/logics.dir/UFLRATheory.cc.o | |
[ 31%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/UFTHandler.cc.o | |
[ 32%] Building CXX object src/logics/CMakeFiles/logics.dir/UFTheory.cc.o | |
[ 34%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/TSolver.cc.o | |
[ 35%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/Enode.cc.o | |
[ 36%] Building CXX object src/logics/CMakeFiles/logics.dir/SubstLoopBreaker.cc.o | |
[ 36%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/EnodeStore.cc.o | |
[ 36%] Built target logics | |
Scanning dependencies of target simplifiers | |
[ 37%] Building CXX object src/simplifiers/CMakeFiles/simplifiers.dir/LA.cc.o | |
[ 38%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/EgraphSolver.cc.o | |
[ 38%] Building CXX object src/simplifiers/CMakeFiles/simplifiers.dir/BoolRewriting.cc.o | |
[ 38%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/EgraphDebug.cc.o | |
[ 38%] Built target simplifiers | |
Scanning dependencies of target smtsolvers | |
[ 39%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/LookaheadSMTSolver.cc.o | |
[ 40%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/Explainer.cc.o | |
[ 41%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/LookaheadSplitter.cc.o | |
[ 42%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/UFInterpolator.cc.o | |
[ 42%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/LAScore.cc.o | |
[ 43%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/SimpSMTSolver.cc.o | |
[ 43%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/egraph/InterpolatingEgraph.cc.o | |
[ 44%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/LAVarMapper.cc.o | |
[ 44%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/CoreSMTSolver.cc.o | |
[ 45%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/Tableau.cc.o | |
[ 45%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/LABounds.cc.o | |
[ 46%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/Delta.cc.o | |
[ 47%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/GhostSMTSolver.cc.o | |
[ 47%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/LAVar.cc.o | |
[ 48%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/Polynomial.cc.o | |
[ 49%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/TheoryIF.cc.o | |
[ 50%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/LASolver.cc.o | |
[ 50%] Building CXX object src/smtsolvers/CMakeFiles/smtsolvers.dir/Debug.cc.o | |
[ 50%] Built target smtsolvers | |
[ 51%] [BISON][smt2newParser] Building parser with bison 3.7.6 | |
smt2newparser.yy:29.1-22: warning: deprecated directive: '%name-prefix "smt2new"', use '%define api.prefix {smt2new}' [-Wdeprecated] | |
29 | %name-prefix "smt2new" | |
| ^~~~~~~~~~~~~~~~~~~~~~ | |
| %define api.prefix {smt2new} | |
smt2newparser.yy: warning: 11 shift/reduce conflicts [-Wconflicts-sr] | |
smt2newparser.yy: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples | |
smt2newparser.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] | |
[ 52%] [FLEX][smt2newScanner] Building scanner with flex 2.6.4 | |
Scanning dependencies of target parsers | |
[ 52%] Building CXX object src/parsers/smt2new/CMakeFiles/parsers.dir/smt2newcontext.cc.o | |
[ 52%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lasolver/Simplex.cc.o | |
[ 53%] Building CXX object src/parsers/smt2new/CMakeFiles/parsers.dir/smt2newparser.cc.o | |
[ 54%] Building CXX object src/parsers/smt2new/CMakeFiles/parsers.dir/smt2newlexer.cc.o | |
[ 54%] Built target parsers | |
Scanning dependencies of target itehandler | |
[ 55%] Building CXX object src/itehandler/CMakeFiles/itehandler.dir/IteToSwitch.cc.o | |
[ 56%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lrasolver/LRASolver.cc.o | |
[ 56%] Building CXX object src/itehandler/CMakeFiles/itehandler.dir/IteToSwitchMisc.cc.o | |
[ 57%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lrasolver/LRAModel.cc.o | |
[ 58%] Building CXX object src/itehandler/CMakeFiles/itehandler.dir/IteHandler.cc.o | |
[ 58%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/lrasolver/FarkasInterpolator.cc.o | |
[ 58%] Built target itehandler | |
Scanning dependencies of target gtest | |
[ 58%] Building CXX object test/gtest-build/googletest/CMakeFiles/gtest.dir/src/gtest-all.cc.o | |
[ 59%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/bvsolver/BVSolver.cc.o | |
[ 59%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/bvsolver/BVStore.cc.o | |
[ 60%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/bvsolver/BitBlaster.cc.o | |
[ 61%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/liasolver/LIASolver.cc.o | |
[ 62%] Linking CXX shared library ../../../lib/libgtest.so | |
[ 62%] Built target gtest | |
Scanning dependencies of target gtest_main | |
[ 63%] Building CXX object test/gtest-build/googletest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o | |
[ 63%] Linking CXX shared library ../../../lib/libgtest_main.so | |
[ 63%] Built target gtest_main | |
[ 63%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/liasolver/Matrix.cc.o | |
[ 64%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/liasolver/LIAInterpolator.cc.o | |
[ 65%] Building CXX object src/tsolvers/CMakeFiles/tsolvers.dir/stpsolver/STPEdgeGraph.cc.o | |
[ 65%] Built target tsolvers | |
Scanning dependencies of target OpenSMT-static | |
Scanning dependencies of target OpenSMT | |
[ 67%] Linking CXX shared library ../../lib/libopensmt.so | |
[ 67%] Linking CXX static library ../../lib/libopensmt.a | |
[ 67%] Built target OpenSMT-static | |
Scanning dependencies of target OpenSMT-bin | |
[ 68%] Building CXX object src/bin/CMakeFiles/OpenSMT-bin.dir/opensmt.cc.o | |
[ 68%] Built target OpenSMT | |
Scanning dependencies of target SubstitutionsTest | |
[ 69%] Building CXX object test/unit/CMakeFiles/SubstitutionsTest.dir/test_SubstitutionBreaker.cpp.o | |
/build/source/src/bin/opensmt.cc: In function 'int main(int, char**)': | |
/build/source/src/bin/opensmt.cc:72:42: error: '_FPU_EXTENDED' was not declared in this scope | |
72 | _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); | |
| ^~~~~~~~~~~~~ | |
/build/source/src/bin/opensmt.cc:72:59: error: '_FPU_DOUBLE' was not declared in this scope | |
72 | _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); | |
| ^~~~~~~~~~~ | |
make[2]: *** [src/bin/CMakeFiles/OpenSMT-bin.dir/build.make:82: src/bin/CMakeFiles/OpenSMT-bin.dir/opensmt.cc.o] Error 1 | |
make[1]: *** [CMakeFiles/Makefile2:1164: src/bin/CMakeFiles/OpenSMT-bin.dir/all] Error 2 | |
make[1]: *** Waiting for unfinished jobs.... | |
[ 69%] Building CXX object test/unit/CMakeFiles/SubstitutionsTest.dir/test_LIASubstitutionsRegression.cc.o | |
[ 70%] Linking CXX executable SubstitutionsTest | |
[ 70%] Built target SubstitutionsTest | |
make: *** [Makefile:160: all] Error 2 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment