=> Bootstrap dependency digest>=20010302: found digest-20211005 => Checksum RMD160 OK for frama-c-Phosphorus-20170501.tar.gz => Checksum SHA512 OK for frama-c-Phosphorus-20170501.tar.gz ===> Installing dependencies for frama-c-20170501nb32 ========================================================================== The supported build options for frama-c are: coq gui The currently selected options are: coq gui You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.frama-c (not defined) ========================================================================== ========================================================================== The following variables will affect the build process of this package, frama-c-20170501nb32. Their current value is shown below: * JPEG_DEFAULT = jpeg * OCAML_USE_OPT_COMPILER = yes Based on these variables, the following variables have been set: * JPEGBASE (defined, but empty) * JPEG_TYPE = jpeg * TERMCAP_TYPE = termcap You may want to abort the process now with CTRL-C and change the value of variables in the first group before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.70.0 => Tool dependency autoconf>=2.50: found autoconf-2.71nb1 => Tool dependency gmake>=3.81: found gmake-4.3nb2 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency x11-links>=1.34: found x11-links-1.34 => Build dependency cwrappers>=20150314: found cwrappers-20180325 => Full dependency coq>=8.6: found coq-8.12.2nb2 => Full dependency ocaml-lablgtk>=2.18.10nb9: found ocaml-lablgtk-2.18.10nb9 => Full dependency ocamlgraph>=1.8.8nb10: found ocamlgraph-1.8.8nb30 => Full dependency ocaml-zarith>=1.7: found ocaml-zarith-1.7nb4 => Full dependency ocaml-findlib>=1.9.1: found ocaml-findlib-1.9.1 => Full dependency ocaml>=4.11.2: found ocaml-4.11.2 ===> 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'. ===> Overriding tools for frama-c-20170501nb32 ===> Extracting for frama-c-20170501nb32 ===> Patching for frama-c-20170501nb32 => Applying pkgsrc patches for frama-c-20170501nb32 => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-Makefile => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Makefile,v 1.1 2017/09/05 07:30:00 dholland Exp $ | |Don't install nonexecutables with execute permission. | |--- Makefile.orig 2017-06-01 08:02:11.000000000 +0000 |+++ Makefile -------------------------- Patching file Makefile using Plan A... Hunk #1 succeeded at 1527. Hunk #2 succeeded at 1569. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-configure => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-configure Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-configure,v 1.3 2017/12/19 08:17:21 markd Exp $ | |Recognize more recent coq. | |--- configure~ 2017-06-01 08:02:19.000000000 +0000 |+++ configure -------------------------- Patching file configure using Plan A... Hunk #1 succeeded at 11306 (offset -2 lines). done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-share_Makefile.common => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-share_Makefile.common Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-share_Makefile.common,v 1.1 2017/09/05 07:30:00 dholland Exp $ | |Don't install nonexecutables with execute permission. | |--- share/Makefile.common~ 2017-06-01 08:02:11.000000000 +0000 |+++ share/Makefile.common -------------------------- Patching file share/Makefile.common using Plan A... Hunk #1 succeeded at 165. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_libraries_utils_c__bindings.c,v 1.1 2017/09/05 07:30:00 dholland Exp $ | |sync ifdefs with reality | |--- src/libraries/utils/c_bindings.c~ 2017-06-01 08:02:15.000000000 +0000 |+++ src/libraries/utils/c_bindings.c -------------------------- Patching file src/libraries/utils/c_bindings.c using Plan A... Hunk #1 succeeded at 35. Hunk #2 succeeded at 218. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile.in => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile.in Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_plugins_e-acsl_Makefile.in,v 1.1 2017/09/05 07:42:00 dholland Exp $ | |Don't install nonexecutables with execute permission. | |--- src/plugins/e-acsl/Makefile.in~ 2017-09-05 07:10:24.721100926 +0000 |+++ src/plugins/e-acsl/Makefile.in -------------------------- Patching file src/plugins/e-acsl/Makefile.in using Plan A... Hunk #1 succeeded at 157. Hunk #2 succeeded at 187. Hunk #3 succeeded at 367. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_gui_gtk__helper.ml => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_gui_gtk__helper.ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_plugins_gui_gtk__helper.ml,v 1.1 2017/12/19 08:17:21 markd Exp $ | |Glib.Io.read wants bytes so dont convert to string | |--- src/plugins/gui/gtk_helper.ml.orig 2017-06-01 08:02:15.000000000 +0000 |+++ src/plugins/gui/gtk_helper.ml -------------------------- Patching file src/plugins/gui/gtk_helper.ml using Plan A... Hunk #1 succeeded at 319. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_plugins_wp_configure,v 1.2 2017/12/19 08:17:21 markd Exp $ | |Recognize more recent coq. | |--- src/plugins/wp/configure~ 2017-06-01 08:02:09.000000000 +0000 |+++ src/plugins/wp/configure -------------------------- Patching file src/plugins/wp/configure using Plan A... Hunk #1 succeeded at 2254. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_plugins_wp_configure.ac,v 1.2 2017/12/19 08:17:21 markd Exp $ | |Recognize more recent coq. | |--- src/plugins/wp/configure.ac~ 2017-06-01 08:02:17.000000000 +0000 |+++ src/plugins/wp/configure.ac -------------------------- Patching file src/plugins/wp/configure.ac using Plan A... Hunk #1 succeeded at 63. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_share_coqwp_Zbits.v => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_share_coqwp_Zbits.v Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_plugins_wp_share_coqwp_Zbits.v,v 1.1 2017/09/05 07:30:00 dholland Exp $ | |Make this work with coq-8.6. | |--- src/plugins/wp/share/coqwp/Zbits.v~ 2017-06-01 08:02:13.000000000 +0000 |+++ src/plugins/wp/share/coqwp/Zbits.v -------------------------- Patching file src/plugins/wp/share/coqwp/Zbits.v using Plan A... Hunk #1 succeeded at 1868. Hunk #2 succeeded at 1948. done ===> Creating toolchain wrappers for frama-c-20170501nb32 ===> Configuring for frama-c-20170501nb32 => Modifying GNU configure scripts to avoid --recheck => Replacing config-guess with pkgsrc versions => Replacing config-sub with pkgsrc versions => Replacing install-sh with pkgsrc version => Checking for portability problems in extracted files configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... make checking version of make... 4.3 configure: ***************************** configure: * CONFIGURE OCAML COMPILERS * configure: ***************************** checking for ocamlc... ocamlc checking version of OCaml... 4.11.2 checking OCaml library path... /usr/pkg/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version and standard library... ok checking for ocamlfind... ocamlfind configure: Distribution mode: all warnings are deactivated configure: ******************************************* configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * configure: ******************************************* checking for ocamldep... ocamldep checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc checking for ocamlcp... ocamlcp checking for ocamlgraph... found 1.8.8: should work checking for zarith... found configure: ****************************************** configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES * configure: ****************************************** checking for ocamldoc... ocamldoc checking for ocamlmktop... ocamlmktop checking for otags... no checking for Apron... not found. The corresponding domains won't be available in Eva checking for Landmarks... not found. configure: ********************** configure: * CONFIGURE PLATFORM * configure: ********************** checking platform... Unix checking OCaml native threads... ok. checking for x86_64--netbsd-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for stdlib.h... (cached) yes checking assert.h usability... yes checking assert.h presence... yes checking for assert.h... yes checking float.h usability... yes checking float.h presence... yes checking for float.h... yes checking math.h usability... yes checking math.h presence... yes checking for math.h... yes checking signal.h usability... yes checking signal.h presence... yes checking for signal.h... yes checking for unistd.h... (cached) yes checking how to run the C preprocessor... gcc -E /* Check whether comments are kept in output */ Default preprocessor is 'gcc -E -C -I.'. ./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m32\"; : not found ./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m64\"; : not found ./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m16\"; : not found Default preprocessor supported architecture-related options: configure: *************************** configure: * WISHED FRAMA-C PLUG-INS * configure: *************************** checking for src/plugins/callgraph... yes callgraph... yes checking for src/plugins/constant_propagation... yes semantic_constant_folding... yes checking for src/plugins/from... yes from_analysis... yes checking for src/plugins/gui... yes gui... yes checking for src/plugins/impact... yes impact... yes checking for src/plugins/inout... yes inout... yes checking for src/plugins/metrics... yes metrics... yes checking for src/plugins/occurrence... yes occurrence... yes checking for src/plugins/pdg... yes pdg... yes checking for src/plugins/postdominators... yes postdominators... yes checking for src/plugins/rte... yes rtegen... yes checking for src/plugins/scope... yes scope... yes checking for src/plugins/slicing... yes slicing... yes checking for src/plugins/sparecode... yes sparecode... yes checking for src/plugins/users... yes users... yes checking for src/plugins/value... yes value_analysis... yes checking for src/plugins/aorai/Makefile.in... yes aorai... yes checking for ltl2ba... no checking for src/plugins/e-acsl/Makefile.in... yes e_acsl... yes checking for uname... uname checking stdio.h usability... yes checking stdio.h presence... yes checking for stdio.h... yes checking for doxygen... no checking for dot... no configure: creating ./config.status config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg config.status: executing default commands configure: Configure libjemalloc autoconf ./configure --enable-autogen --with-jemalloc-prefix=__e_acsl_native_ --with-private-namespace=__e_acsl_hidden_ checking for xsltproc... /usr/pkg/bin/xsltproc checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking how to run the C preprocessor... gcc -E checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking whether byte ordering is bigendian... no checking size of void *... 8 checking size of int... 4 checking size of long... 8 checking size of long long... 8 checking size of intmax_t... 8 checking build system type... x86_64-unknown-netbsd9.0 checking host system type... x86_64-unknown-netbsd9.0 checking whether pause instruction is compilable... yes checking for ar... ar checking ABI... elf checking for malloc.h... yes checking whether malloc_usable_size definition can use const argument... yes checking whether __attribute__ syntax is compilable... yes checking whether compiler supports -fvisibility=hidden... yes checking whether compiler supports -Werror... yes checking whether tls_model attribute is compilable... yes checking whether compiler supports -Werror... yes checking whether alloc_size attribute is compilable... yes checking whether compiler supports -Werror... yes checking whether format(gnu_printf, ...) attribute is compilable... yes checking whether compiler supports -Werror... yes checking whether format(printf, ...) attribute is compilable... yes checking for a BSD-compatible install... /usr/bin/install -c -o pbulk -g wheel checking for ranlib... ranlib checking for ld... /tmp/devel/frama-c/work/.cwrapper/bin/ld checking for autoconf... /tmp/devel/frama-c/work/.tools/bin/autoconf checking for memalign... no checking for valloc... yes checking configured backtracing method... N/A checking for sbrk... yes checking whether utrace(2) is compilable... no checking whether valgrind is compilable... no checking whether a program using __builtin_ffsl is compilable... yes checking LG_PAGE... 12 Missing VERSION file, and unable to generate it; creating bogus VERSION checking for pthread.h... yes checking for pthread_create in -lpthread... yes checking for library containing clock_gettime... none required checking for secure_getenv... no checking for issetugid... yes checking for _malloc_thread_cleanup... no checking for _pthread_mutex_init_calloc_cb... no checking for TLS... yes checking whether C11 atomics is compilable... yes checking whether atomic(9) is compilable... no checking whether Darwin OSAtomic*() is compilable... no checking whether madvise(2) is compilable... yes checking whether to force 32-bit __sync_{add,sub}_and_fetch()... no checking whether to force 64-bit __sync_{add,sub}_and_fetch()... no checking for __builtin_clz... yes checking whether Darwin OSSpin*() is compilable... no checking whether glibc malloc hook is compilable... no checking whether glibc memalign hook is compilable... no checking whether pthreads adaptive mutexes is compilable... no checking for _Bool... yes checking for stdbool.h that conforms to C99... yes configure: creating ./config.status config.status: creating Makefile config.status: creating jemalloc.pc config.status: creating doc/html.xsl config.status: creating doc/manpages.xsl config.status: creating doc/jemalloc.xml config.status: creating include/jemalloc/jemalloc_macros.h config.status: creating include/jemalloc/jemalloc_protos.h config.status: creating include/jemalloc/jemalloc_typedefs.h config.status: creating include/jemalloc/internal/jemalloc_internal.h config.status: creating test/test.sh config.status: creating test/include/test/jemalloc_test.h config.status: creating config.stamp config.status: creating bin/jemalloc-config config.status: creating bin/jemalloc.sh config.status: creating bin/jeprof config.status: creating include/jemalloc/jemalloc_defs.h config.status: creating include/jemalloc/internal/jemalloc_internal_defs.h config.status: creating test/include/test/jemalloc_test_defs.h config.status: executing include/jemalloc/internal/private_namespace.h commands config.status: executing include/jemalloc/internal/private_unnamespace.h commands config.status: executing include/jemalloc/internal/public_symbols.txt commands config.status: executing include/jemalloc/internal/public_namespace.h commands config.status: executing include/jemalloc/internal/public_unnamespace.h commands config.status: executing include/jemalloc/internal/size_classes.h commands config.status: executing include/jemalloc/jemalloc_protos_jet.h commands config.status: executing include/jemalloc/jemalloc_rename.h commands config.status: executing include/jemalloc/jemalloc_mangle.h commands config.status: executing include/jemalloc/jemalloc_mangle_jet.h commands config.status: executing include/jemalloc/jemalloc.h commands checking for src/plugins/loop_analysis/Makefile.in... yes loop_analysis... yes checking for src/plugins/nonterm/Makefile.in... yes nonterm... yes checking for src/plugins/obfuscator/Makefile.in... yes obfuscator... yes checking for src/plugins/print_api... yes print_api... yes checking for src/plugins/report/Makefile.in... yes report... yes checking for src/plugins/security_slicing/Makefile.in... yes security_slicing... yes checking for src/plugins/variadic/Makefile.in... yes variadic... yes checking for src/plugins/wp/Makefile.in... yes wp... yes configure: ******************************************************* configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure: ******************************************************* Ocamlfind -> using /usr/pkg/lib/ocaml/site-lib/lablgtk2 checking for /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtksourceview2.cmxa... yes checking for /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.cmxa... no checking for /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgtk.cmxa... yes checking for dot... no native dynlink works fine. Great. configure: ************************************* configure: * CHECKING FOR PLUG-IN DEPENDENCIES * configure: ************************************* configure: WARNING: ltl2ba not found. configure: WARNING: aorai partially enabled because ltl2ba missing. checking for coqc... yes unsupported coqc version 8.12.2 configure: WARNING: lablgnomecanvas.cmxa not found configure: WARNING: gui disabled because /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.cmxa missing. configure: WARNING: dot not found: you should install GraphViz configure: WARNING: callgraph partially enabled because dot missing. configure: WARNING: callgraph partially enabled because gui not enabled. configure: WARNING: security_slicing disabled because gui not enabled. configure: WARNING: impact only partially enabled because gui not enabled. configure: WARNING: metrics only partially enabled because gui not enabled. configure: WARNING: occurrence only partially enabled because gui not enabled. configure: WARNING: scope only partially enabled because gui not enabled. configure: WARNING: slicing only partially enabled because gui not enabled. configure: WARNING: value_analysis only partially enabled because gui not enabled. configure: WARNING: wp only partially enabled because gui not enabled. configure: ********************* configure: * CREATING MAKEFILE * configure: ********************* configure: creating ./config.status config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg config.status: creating src/plugins/e-acsl/Makefile config.status: creating src/plugins/loop_analysis/Makefile config.status: creating src/plugins/nonterm/Makefile config.status: creating src/plugins/obfuscator/Makefile config.status: creating src/plugins/report/Makefile config.status: creating src/plugins/variadic/Makefile config.status: creating src/plugins/aorai/Makefile config.status: creating src/plugins/security_slicing/Makefile config.status: creating src/plugins/wp/Makefile config.status: creating share/Makefile.config config.status: executing default commands configure: ******************************* configure: * SUMMARY: PLUG-INS AVAILABLE * configure: ******************************* configure: callgraph: partial, dynamic, gui not enabled configure: semantic_constant_folding: yes, dynamic configure: from_analysis: yes, dynamic configure: gui: no, /usr/pkg/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.cmxa missing configure: impact: partial, dynamic, gui not enabled configure: inout: yes, dynamic configure: metrics: partial, dynamic, gui not enabled configure: occurrence: partial, dynamic, gui not enabled configure: pdg: yes, dynamic configure: postdominators: yes, dynamic configure: rtegen: yes, dynamic configure: scope: partial, dynamic, gui not enabled configure: slicing: partial, dynamic, gui not enabled configure: sparecode: yes, dynamic configure: users: yes, dynamic configure: value_analysis: partial, dynamic, gui not enabled configure: aorai: partial, dynamic, ltl2ba missing configure: e_acsl: yes, dynamic configure: loop_analysis: yes, dynamic configure: nonterm: yes, dynamic configure: obfuscator: yes, dynamic configure: print_api: yes, dynamic configure: report: yes, dynamic configure: security_slicing: no, gui not enabled configure: variadic: yes, dynamic configure: wp: partial, dynamic, gui not enabled