Skip to content

Instantly share code, notes, and snippets.

@r-rmcgibbo
Created Sep 15, 2021
Embed
What would you like to do?
system: aarch64-linux | build_time: a minute | https://github.com/NixOS/nixpkgs/pull/137876
@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