>>> Building on localhost under devel/cbmc BDEPENDS = [devel/bison;devel/gmake] DIST = [devel/cbmc:minisat2_2.2.1.orig.tar.gz;devel/cbmc:cbmc-cbmc-5.5.tar.gz] FULLPKGNAME = cbmc-5.5p5 Avoided depends for gmake-4.4.1 bison-3.8.2 distfiles size=5319101 >>> Running patch in devel/cbmc at 1752476702.35 ===> devel/cbmc ===> Building from scratch cbmc-5.5p5 ===> cbmc-5.5p5 depends on: bison-* -> bison-3.8.2 ===> cbmc-5.5p5 depends on: gmake-* -> gmake-4.4.1 ===> Verifying specs: c m c++ c++abi pthread ===> found c.100.3 m.10.1 c++.11.0 c++abi.8.0 pthread.27.1 ===> Checking files for cbmc-5.5p5 `/usr/ports/distfiles/cbmc-cbmc-5.5.tar.gz' is up to date. `/usr/ports/distfiles/minisat2_2.2.1.orig.tar.gz' is up to date. >> (SHA256) all files: OK ===> Extracting for cbmc-5.5p5 mv /usr/obj/ports/cbmc-5.5/minisat2-2.2.1 /usr/obj/ports/cbmc-5.5/cbmc-cbmc-5.5/minisat-2.2.1 cd /usr/obj/ports/cbmc-5.5/cbmc-cbmc-5.5/minisat-2.2.1; patch -z .bak -p1 < ../scripts/minisat-2.2.1-patch Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/core/Solver.cc minisat-2.2.1.patched/minisat/core/Solver.cc |--- minisat-2.2.1/minisat/core/Solver.cc 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/core/Solver.cc 2016-03-05 16:21:17.000000000 +0000 -------------------------- Patching file minisat/core/Solver.cc using Plan A... Hunk #1 succeeded at 210. Hunk #2 succeeded at 666. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/core/SolverTypes.h minisat-2.2.1.patched/minisat/core/SolverTypes.h |--- minisat-2.2.1/minisat/core/SolverTypes.h 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/core/SolverTypes.h 2016-03-05 16:29:42.000000000 +0000 -------------------------- Patching file minisat/core/SolverTypes.h using Plan A... Hunk #1 succeeded at 47. Hunk #2 succeeded at 55. Hunk #3 succeeded at 142. Hunk #4 succeeded at 158. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/mtl/IntTypes.h minisat-2.2.1.patched/minisat/mtl/IntTypes.h |--- minisat-2.2.1/minisat/mtl/IntTypes.h 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/mtl/IntTypes.h 2016-03-05 16:21:17.000000000 +0000 -------------------------- Patching file minisat/mtl/IntTypes.h using Plan A... Hunk #1 succeeded at 31. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/mtl/Vec.h minisat-2.2.1.patched/minisat/mtl/Vec.h |--- minisat-2.2.1/minisat/mtl/Vec.h 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/mtl/Vec.h 2016-03-05 16:21:17.000000000 +0000 -------------------------- Patching file minisat/mtl/Vec.h using Plan A... Hunk #1 succeeded at 96. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/simp/SimpSolver.cc minisat-2.2.1.patched/minisat/simp/SimpSolver.cc |--- minisat-2.2.1/minisat/simp/SimpSolver.cc 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/simp/SimpSolver.cc 2016-03-05 16:21:17.000000000 +0000 -------------------------- Patching file minisat/simp/SimpSolver.cc using Plan A... Hunk #1 succeeded at 130. Hunk #2 succeeded at 225. Hunk #3 succeeded at 261. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/utils/Options.h minisat-2.2.1.patched/minisat/utils/Options.h |--- minisat-2.2.1/minisat/utils/Options.h 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/utils/Options.h 2016-03-05 16:21:17.000000000 +0000 -------------------------- Patching file minisat/utils/Options.h using Plan A... Hunk #1 succeeded at 60. Hunk #2 succeeded at 282. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -urN minisat-2.2.1/minisat/utils/ParseUtils.h minisat-2.2.1.patched/minisat/utils/ParseUtils.h |--- minisat-2.2.1/minisat/utils/ParseUtils.h 2011-02-21 13:31:17.000000000 +0000 |+++ minisat-2.2.1.patched/minisat/utils/ParseUtils.h 2016-03-05 16:21:17.000000000 +0000 -------------------------- Patching file minisat/utils/ParseUtils.h using Plan A... Hunk #1 succeeded at 24. Hunk #2 succeeded at 35. Hunk #3 succeeded at 43. done ===> Patching for cbmc-5.5p5 ===> Applying OpenBSD patch patch-src_ansi-c_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Newer bison includes the defines file in the parser so the name must match. | |Index: src/ansi-c/Makefile |--- src/ansi-c/Makefile.orig |+++ src/ansi-c/Makefile -------------------------- Patching file src/ansi-c/Makefile using Plan A... Hunk #1 succeeded at 36. done ===> Applying OpenBSD patch patch-src_big-int_allocainc_h Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |--- src/big-int/allocainc.h.orig Sun Oct 16 18:58:41 2016 |+++ src/big-int/allocainc.h Sun Oct 16 18:58:58 2016 -------------------------- Patching file src/big-int/allocainc.h using Plan A... Hunk #1 succeeded at 41. done ===> Applying OpenBSD patch patch-src_common Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |--- src/common.orig Sat Aug 20 14:08:13 2016 |+++ src/common Fri Oct 14 16:29:34 2016 -------------------------- Patching file src/common using Plan A... Hunk #1 succeeded at 9. Hunk #2 succeeded at 22. Hunk #3 succeeded at 61. done ===> Applying OpenBSD patch patch-src_jsil_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Newer bison includes the defines file in the parser so the name must match. | |Index: src/jsil/Makefile |--- src/jsil/Makefile.orig |+++ src/jsil/Makefile -------------------------- Patching file src/jsil/Makefile using Plan A... Hunk #1 succeeded at 19. done ===> Applying OpenBSD patch patch-src_json_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Newer bison includes the defines file in the parser so the name must match. | |Index: src/json/Makefile |--- src/json/Makefile.orig |+++ src/json/Makefile -------------------------- Patching file src/json/Makefile using Plan A... Hunk #1 succeeded at 15. done ===> Applying OpenBSD patch patch-src_memory-models_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Newer bison includes the defines file in the parser so the name must match. | |Index: src/memory-models/Makefile |--- src/memory-models/Makefile.orig |+++ src/memory-models/Makefile -------------------------- Patching file src/memory-models/Makefile using Plan A... Hunk #1 succeeded at 16. done ===> Applying OpenBSD patch patch-src_xmllang_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |Newer bison includes the defines file in the parser so the name must match. | |Index: src/xmllang/Makefile |--- src/xmllang/Makefile.orig |+++ src/xmllang/Makefile -------------------------- Patching file src/xmllang/Makefile using Plan A... Hunk #1 succeeded at 15. done ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ >>> Running configure in devel/cbmc at 1752476706.70 ===> devel/cbmc ===> Generating configure for cbmc-5.5p5 ===> Configuring for cbmc-5.5p5 >>> Running build in devel/cbmc at 1752476707.15 ===> devel/cbmc ===> Building for cbmc-5.5p5 ## Entering big-int gmake -C big-int gmake[1]: Entering directory '/usr/obj/ports/cbmc-5.5/cbmc-cbmc-5.5/src/big-int' c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -o bigint-func.o bigint-func.cc c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -o bigint.o bigint.cc c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -o bigint-test.o bigint-test.cc bigint-test.cc:30:49: warning: 'fscanf' may overflow; destination buffer in argument 3 has size 4096, but the corresponding specifier may require size 4097 [-Wfortify-source] 30 | return 1 == fscanf (f, " %4096[-+0-9a-zA-Z]", buf) | ^ 1 warning generated. c++ -o test-bigint -Wl,--start-group bigint-func.o bigint.o bigint-test.o -Wl,--end-group ar rc big-int.a bigint-func.o bigint.o gmake[1]: Leaving directory '/usr/obj/ports/cbmc-5.5/cbmc-cbmc-5.5/src/big-int' ## Entering util gmake -C util gmake[1]: Entering directory '/usr/obj/ports/cbmc-5.5/cbmc-cbmc-5.5/src/util' c++ -o irep_ids_convert irep_ids_convert.cpp ./irep_ids_convert header < irep_ids.txt > irep_ids.h c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o arith_tools.o arith_tools.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o base_type.o base_type.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o cmdline.o cmdline.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o config.o config.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o symbol_table.o symbol_table.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o expr.o expr.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o expr_util.o expr_util.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o i2string.o i2string.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o irep.o irep.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o language.o language.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o lispexpr.o lispexpr.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o lispirep.o lispirep.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o source_location.o source_location.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o message.o message.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o language_file.o language_file.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o mp_arith.o mp_arith.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o namespace.o namespace.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o parse_options.o parse_options.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o rename.o rename.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o replace_expr.o replace_expr.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o threeval.o threeval.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o typecheck.o typecheck.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o graph.o graph.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o type.o type.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o cnf_simplify.o cnf_simplify.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o pointer_predicates.o pointer_predicates.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o merge_irep.o merge_irep.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o parser.o parser.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o replace_symbol.o replace_symbol.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o json.o json.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o get_base_name.o get_base_name.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr.o simplify_expr.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr_floatbv.o simplify_expr_floatbv.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr_int.o simplify_expr_int.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr_array.o simplify_expr_array.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr_struct.o simplify_expr_struct.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr_boolean.o simplify_expr_boolean.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_expr_pointer.o simplify_expr_pointer.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o get_module.o get_module.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o string_hash.o string_hash.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o string_container.o string_container.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o identifier.o identifier.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o rational.o rational.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o options.o options.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o c_misc.o c_misc.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o dstring.o dstring.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o find_symbols.o find_symbols.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o rational_tools.o rational_tools.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o ui_message.o ui_message.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o simplify_utils.o simplify_utils.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o time_stopping.o time_stopping.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o symbol.o symbol.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o irep_hash_container.o irep_hash_container.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o cout_message.o cout_message.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o type_eq.o type_eq.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o guard.o guard.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o array_name.o array_name.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o message_stream.o message_stream.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o substitute.o substitute.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o decision_procedure.o decision_procedure.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o union_find.o union_find.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o xml.o xml.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o xml_irep.o xml_irep.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o xml_expr.o xml_expr.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o std_types.o std_types.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o std_code.o std_code.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o format_constant.o format_constant.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o find_macros.o find_macros.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o ref_expr_set.o ref_expr_set.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o std_expr.o std_expr.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o irep_serialization.o irep_serialization.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o fixedbv.o fixedbv.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o rename_symbol.o rename_symbol.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o ieee_float.o ieee_float.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o signal_catcher.o signal_catcher.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o pointer_offset_size.o pointer_offset_size.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o bv_arithmetic.o bv_arithmetic.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o tempdir.o tempdir.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o tempfile.o tempfile.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o timer.o timer.cpp c++ -c -MMD -MP -std=c++11 -Wall -O2 -pipe -I .. -o unicode.o unicode.cpp In file included from unicode.cpp:11: In file included from ./unicode.h:12: /usr/include/c++/v1/string:820:42: error: implicit instantiation of undefined template 'std::char_traits' 820 | static_assert(is_same<_CharT, typename traits_type::char_type>::value, | ^ unicode.cpp:163:19: note: in instantiation of template class 'std::basic_string' requested here 163 | result.reserve(s.size()); // at least that long | ^ /usr/include/c++/v1/__fwd/string.h:23:29: note: template is declared here 23 | struct _LIBCPP_TEMPLATE_VIS char_traits; | ^ 1 error generated. gmake[1]: *** [../common:174: unicode.o] Error 1 gmake[1]: Leaving directory '/usr/obj/ports/cbmc-5.5/cbmc-cbmc-5.5/src/util' gmake: *** [Makefile:50: util.dir] Error 2 *** Error 2 in devel/cbmc (/usr/ports/infrastructure/mk/bsd.port.mk:3069 '/usr/obj/ports/cbmc-5.5/.build_done': @cd /usr/obj/ports/cbmc-5.5/...) *** Error 2 in devel/cbmc (/usr/ports/infrastructure/mk/bsd.port.mk:2712 'build': @lock=cbmc-5.5p5; export _LOCKS_HELD=" cbmc-5.5p5"; /us...) ===> Exiting devel/cbmc with an error *** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo}; : ${target:=build}; for i in ; do eval...) >>> Ended at 1752477084.03 max_stuck=1.63/patch=4.35/configure=0.48/build=376.93 Error: job failed with 512 on localhost at 1752477084