=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for lean4-4.32.1nb1 [ 6%] Creating directories for 'stage0' [ 12%] No download step for 'stage0' [ 18%] No update step for 'stage0' [ 25%] No patch step for 'stage0' [ 31%] Performing configure step for 'stage0' CMake Warning: Ignoring extra path from command line: "/pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/CMD_DEPRECATED=WARN" CMake Warning: Ignoring extra path from command line: "CMD_UNUSED_CLI=WARN" The CMAKE_ERROR_DEPRECATED variable is deprecated. Use -W[no-]error=deprecated instead. The CMAKE_WARN_DEPRECATED variable is deprecated. Use -W[no-]deprecated instead. -- The CXX compiler identification is GNU 12.5.0 -- The C compiler identification is GNU 12.5.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /pbulk/work/math/lean4/work/.cwrapper/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: /pbulk/work/math/lean4/work/.cwrapper/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done gcc: error: unrecognized command-line option '--print-target-triple' gcc: fatal error: no input files compilation terminated. -- No build type selected, default to Release -- 32-bit machine detected -- Found GMP: /pbulk/work/math/lean4/work/.buildlink/include (Required is at least version "5.0.5") -- Found PkgConfig: /pbulk/work/math/lean4/work/.tools/bin/pkg-config (found version "3.0.4") -- Checking for one of the modules 'libuv' -- LIBUV_LDFLAGS: -L/usr/pkg/lib-luv-lkvm -- LIBUV_INCLUDE_DIRS: /usr/pkg/include -- Found LibUV: TRUE (Required is at least version "1.0.0") -- Found OpenSSL: /usr/lib/libcrypto.so (found suitable version "3.5.6", minimum required is "3") found components: Crypto SSL CMake Warning at CMakeLists.txt:406 (message): Failed to find ccache, prepare for longer and redundant builds... CMake Warning at CMakeLists.txt:464 (message): Disabling LLVM support -- stage0 sha1: -- Configuring done (0.6s) -- Generating done (0.1s) CMake Warning (unused-cli): Manually-specified variables were not used by the project: CMAKE_EDIT_COMMAND CMAKE_INSTALL_LIBDIR CMAKE_INSTALL_MANDIR -- Build files have been written to: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0 [ 37%] Performing build step for 'stage0' [ 0%] Building CXX object initialize/CMakeFiles/initialize.dir/init.cpp.o [ 0%] Building CXX object library/constructions/CMakeFiles/constructions.dir/cases_on.cpp.o [ 1%] Building CXX object util/CMakeFiles/util.dir/name.cpp.o [ 2%] Building CXX object CMakeFiles/leanshell.dir/util/shell.cpp.o [ 3%] Building CXX object kernel/CMakeFiles/kernel.dir/level.cpp.o [ 4%] Building CXX object library/CMakeFiles/library.dir/expr_lt.cpp.o [ 4%] Built target copy-leantar [ 5%] Building CXX object library/CMakeFiles/library.dir/bin_app.cpp.o [ ] Building /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/../stdlib//Init/BinderNameHint.c In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/../stdlib//Init/BinderNameHint.c:4: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/stackinfo.h:9, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/initialize/init.cpp:7: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/stackinfo.h:9, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/util/shell.cpp:16: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/optional.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/environment.h:11, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/kernel_exception.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/library/constructions/cases_on.cpp:8: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/optional.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/expr.h:14, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/library/expr_lt.cpp:7: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ cc1: note: unrecognized command-line option '-Wno-unused-command-line-argument' may have been intended to silence earlier diagnostics make[7]: *** [/pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/bin/../share/lean/lean.mk:107: ../../cmake-pkgsrc-build/stage0/lib/temp/Init/BinderNameHint.o.export] Error 1 gmake[6]: *** [/pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/stdlib.make:65: Init] Error 2 gmake[5]: *** [CMakeFiles/make_stdlib.dir/build.make:70: CMakeFiles/make_stdlib] Error 2 gmake[4]: *** [CMakeFiles/Makefile2:1379: CMakeFiles/make_stdlib.dir/all] Error 2 gmake[4]: *** Waiting for unfinished jobs.... In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/thread.h:11, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/util/name.cpp:13: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ [ 6%] Building CXX object library/CMakeFiles/library.dir/constants.cpp.o In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/optional.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/expr.h:14, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/library/bin_app.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/library/bin_app.cpp:7: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/exception.h:11, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/debug.h:10, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/level.cpp:11: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/optional.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/util/name.h:13, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/library/constants.cpp:4: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ gmake[5]: *** [library/CMakeFiles/library.dir/build.make:107: library/CMakeFiles/library.dir/constants.cpp.o] Error 1 gmake[5]: *** Waiting for unfinished jobs.... [ 7%] Building CXX object kernel/CMakeFiles/kernel.dir/expr.cpp.o gmake[5]: *** [util/CMakeFiles/util.dir/build.make:79: util/CMakeFiles/util.dir/name.cpp.o] Error 1 gmake[4]: *** [CMakeFiles/Makefile2:1871: util/CMakeFiles/util.dir/all] Error 2 gmake[5]: *** [library/CMakeFiles/library.dir/build.make:79: library/CMakeFiles/library.dir/expr_lt.cpp.o] Error 1 [ 8%] Building CXX object kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o [ 8%] Building CXX object kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/exception.h:11, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/debug.h:10, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/hash.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/expr.cpp:13: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/memory.h:9, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/for_each_fn.cpp:10: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/alloc.h:10, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/expr_eq_fn.cpp:9: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ gmake[5]: *** [library/constructions/CMakeFiles/constructions.dir/build.make:79: library/constructions/CMakeFiles/constructions.dir/cases_on.cpp.o] Error 1 gmake[5]: *** [library/CMakeFiles/library.dir/build.make:93: library/CMakeFiles/library.dir/bin_app.cpp.o] Error 1 gmake[4]: *** [CMakeFiles/Makefile2:1967: library/constructions/CMakeFiles/constructions.dir/all] Error 2 gmake[4]: *** [CMakeFiles/Makefile2:1935: library/CMakeFiles/library.dir/all] Error 2 [ 9%] Building CXX object kernel/CMakeFiles/kernel.dir/abstract.cpp.o [ 10%] Building CXX object kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o gmake[5]: *** [kernel/CMakeFiles/kernel.dir/build.make:79: kernel/CMakeFiles/kernel.dir/level.cpp.o] Error 1 gmake[5]: *** Waiting for unfinished jobs.... gmake[5]: *** [initialize/CMakeFiles/initialize.dir/build.make:79: initialize/CMakeFiles/initialize.dir/init.cpp.o] Error 1 gmake[4]: *** [CMakeFiles/Makefile2:1677: initialize/CMakeFiles/initialize.dir/all] Error 2 gmake[5]: *** [CMakeFiles/leanshell.dir/build.make:79: CMakeFiles/leanshell.dir/util/shell.cpp.o] Error 1 gmake[4]: *** [CMakeFiles/Makefile2:1243: CMakeFiles/leanshell.dir/all] Error 2 In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/optional.h:8, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/expr.h:14, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/abstract.h:9, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/abstract.cpp:10: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ In file included from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/thread.h:11, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/runtime/interrupt.h:9, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/replace_fn.h:9, from /pbulk/work/math/lean4/work/lean4-4.32.1/stage0/src/kernel/replace_fn.cpp:11: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/include/lean/lean.h:91:2: error: #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. 91 | #error Lean requires `FLT_EVAL_METHOD = 0` to ensure predictable semantics for floating-point operations. | ^~~~~ gmake[5]: *** [kernel/CMakeFiles/kernel.dir/build.make:93: kernel/CMakeFiles/kernel.dir/expr.cpp.o] Error 1 gmake[5]: *** [kernel/CMakeFiles/kernel.dir/build.make:107: kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o] Error 1 gmake[5]: *** [kernel/CMakeFiles/kernel.dir/build.make:121: kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o] Error 1 gmake[5]: *** [kernel/CMakeFiles/kernel.dir/build.make:149: kernel/CMakeFiles/kernel.dir/abstract.cpp.o] Error 1 gmake[5]: *** [kernel/CMakeFiles/kernel.dir/build.make:135: kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o] Error 1 gmake[4]: *** [CMakeFiles/Makefile2:1903: kernel/CMakeFiles/kernel.dir/all] Error 2 gmake[3]: *** [Makefile:146: all] Error 2 gmake[2]: *** [CMakeFiles/stage0.dir/build.make:95: stage0-prefix/src/stage0-stamp/stage0-build] Error 2 gmake[1]: *** [CMakeFiles/Makefile2:104: CMakeFiles/stage0.dir/all] Error 2 gmake: *** [Makefile:136: all] Error 2 *** Error code 2 Stop. make[1]: stopped making "all" in /usr/pkgsrc/math/lean4 *** Error code 1 Stop. make: stopped making "all" in /usr/pkgsrc/math/lean4