=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. => Checksum SHA1 OK for frama-c-Phosphorus-20170501.tar.gz => 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-20170501nb2 ========================================================================== 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-20170501nb2. Their current value is shown below: * BDB185_DEFAULT = db1 * BDB_DEFAULT = db4 * OCAML_USE_OPT_COMPILER = yes * SSLBASE = /usr * SSLCERTS = /etc/openssl/certs * SSLDIR = /etc/openssl * SSLKEYS = /etc/openssl/private Based on these variables, the following variables have been set: * BDBBASE (defined, but empty) * BDB_LIBS = -ldb4 * BDB_TYPE = db4 * TERMCAP_TYPE = termcap You may want to abort the process now with CTRL-C and change their value before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency autoconf>=2.50: found autoconf-2.69nb7 => Tool dependency gmake>=3.81: found gmake-4.1nb3 => Tool dependency checkperms>=1.1: found checkperms-1.11nb1 => Build dependency renderproto>=0.9.3nb1: found renderproto-0.11.1 => Build dependency kbproto>=1.0.2: found kbproto-1.0.7 => Build dependency xproto>=7.0.13: found xproto-7.0.31 => Build dependency xcb-proto>=1.4: found xcb-proto-1.12 => Build dependency dri2proto>=2.1: found dri2proto-2.8 => Build dependency dri3proto>=1.0: found dri3proto-1.0 => Build dependency presentproto>=1.0: found presentproto-1.1 => Build dependency glproto>=1.4.11: found glproto-1.4.17 => Build dependency damageproto>=1.1.0: found damageproto-1.2.1 => Build dependency fixesproto>=4.0.0: found fixesproto-5.0 => Build dependency xextproto>=7.0.99.1: found xextproto-7.3.0 => Build dependency inputproto>=2.3: found inputproto-2.3.2 => Build dependency xf86vidmodeproto>=2.3: found xf86vidmodeproto-2.3.1 => Build dependency xf86driproto>=2.0.3: found xf86driproto-2.1.1nb1 => Build dependency randrproto>=1.4: found randrproto-1.5.0 => Build dependency xineramaproto>=1.1.1: found xineramaproto-1.2.1 => Build dependency compositeproto>=0.3.1: found compositeproto-0.4.2 => Build dependency recordproto>=1.13.1: found recordproto-1.14.2 => Build dependency cwrappers>=20150314: found cwrappers-20170611 => Full dependency coq>=8.6: found coq-8.6.1nb1 => Full dependency ocaml-lablgtk>=2.18.5nb10: found ocaml-lablgtk-2.18.5nb10 => Full dependency ocamlgraph>=1.8.7nb8: found ocamlgraph-1.8.7nb11 => Full dependency ocaml-zarith>=1.4.1nb6: found ocaml-zarith-1.4.1nb7 => Full dependency ocaml-findlib>=1.7.3: found ocaml-findlib-1.7.3nb1 => Full dependency ocaml>=4.05.0: found ocaml-4.05.0 ===> Overriding tools for frama-c-20170501nb2 ===> Extracting for frama-c-20170501nb2 ===> Patching for frama-c-20170501nb2 => Applying pkgsrc patches for frama-c-20170501nb2 => Verifying /data/pkgsrc/devel/frama-c/patches/patch-Makefile => Applying pkgsrc patch /data/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 /data/pkgsrc/devel/frama-c/patches/patch-configure => Applying pkgsrc patch /data/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.2 2017/09/05 07:30:00 dholland 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 /data/pkgsrc/devel/frama-c/patches/patch-share_Makefile.common => Applying pkgsrc patch /data/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 /data/pkgsrc/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c => Applying pkgsrc patch /data/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 /data/pkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile.in => Applying pkgsrc patch /data/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 /data/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure => Applying pkgsrc patch /data/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.1 2017/09/05 07:30:00 dholland 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 /data/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_configure.ac => Applying pkgsrc patch /data/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.1 2017/09/05 07:30:00 dholland 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 /data/pkgsrc/devel/frama-c/patches/patch-src_plugins_wp_share_coqwp_Zbits.v => Applying pkgsrc patch /data/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-20170501nb2 src=/usr/pkg/lib/pkgconfig/fixesproto.pc dst=/data/scratch/devel/frama-c/work/.buildlink/lib/pkgconfig/fixesext.pc; /bin/mkdir -p /data/scratch/devel/frama-c/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi src=/usr/pkg/lib/pkgconfig/compositeproto.pc dst=/data/scratch/devel/frama-c/work/.buildlink/lib/pkgconfig/compositeext.pc; /bin/mkdir -p /data/scratch/devel/frama-c/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi ===> Configuring for frama-c-20170501nb2 => 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.1 configure: ***************************** configure: * CONFIGURE OCAML COMPILERS * configure: ***************************** checking for ocamlc... ocamlc checking version of OCaml... 4.05.0 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 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... clang 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 clang accepts -g... yes checking for clang option to accept ISO C89... none needed checking how to run the C preprocessor... clang -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... clang -E /* Check whether comments are kept in output */ Default preprocessor is 'clang -E -C -I.'. DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m32\"; : not found DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m64\"; : not found 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... no checking stdio.h presence... yes configure: WARNING: stdio.h: present but cannot be compiled configure: WARNING: stdio.h: check for missing prerequisite headers? configure: WARNING: stdio.h: see the Autoconf documentation configure: WARNING: stdio.h: section "Present But Cannot Be Compiled" configure: WARNING: stdio.h: proceeding with the compiler's result checking for stdio.h... no configure: WARNING: stdio.h missing: non-regression tests unavailable. 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... clang checking whether the C compiler works... no configure: error: in `/data/scratch/devel/frama-c/work/frama-c-Phosphorus-20170501/src/plugins/e-acsl/contrib/libjemalloc': configure: error: C compiler cannot create executables See `config.log' for more details Error 0 in ./configure 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... yes 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 coqc version 8.6.1 found checking for why3... no configure: rerun configure to make wp using why3 0.87 configure: WARNING: dot not found: you should install GraphViz configure: WARNING: callgraph partially enabled because dot missing. configure: WARNING: gui partially enabled because dot missing. 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, dot missing configure: semantic_constant_folding: yes, dynamic configure: from_analysis: yes, dynamic configure: gui: partial, dot missing configure: impact: yes, dynamic configure: inout: yes, dynamic configure: metrics: yes, dynamic configure: occurrence: yes, dynamic configure: pdg: yes, dynamic configure: postdominators: yes, dynamic configure: rtegen: yes, dynamic configure: scope: yes, dynamic configure: slicing: yes, dynamic configure: sparecode: yes, dynamic configure: users: yes, dynamic configure: value_analysis: yes, dynamic 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: yes, dynamic configure: variadic: yes, dynamic configure: wp: yes, dynamic