=> 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-20170501nb13
==========================================================================
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-20170501nb13. 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 glib2-tools-[0-9]*: found glib2-tools-2.56.2
=> Tool dependency autoconf>=2.50: found autoconf-2.69nb8
=> Tool dependency gmake>=3.81: found gmake-4.2.1nb1
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency xorgproto>=2016.1: found xorgproto-2018.4
=> Build dependency xcb-proto>=1.4: found xcb-proto-1.13
=> Build dependency cwrappers>=20150314: found cwrappers-20180325
=> Full dependency coq>=8.6: found coq-8.8.1
=> Full dependency ocaml-lablgtk>=2.18.6nb12: found ocaml-lablgtk-2.18.6nb12
=> Full dependency ocamlgraph>=1.8.8nb10: found ocamlgraph-1.8.8nb11
=> Full dependency ocaml-zarith>=1.4.1nb10: found ocaml-zarith-1.4.1nb11
=> Full dependency ocaml-findlib>=1.8.0nb2: found ocaml-findlib-1.8.0nb2
=> Full dependency ocaml>=4.07.0: found ocaml-4.07.0
===> Overriding tools for frama-c-20170501nb13
===> Extracting for frama-c-20170501nb13
===> Patching for frama-c-20170501nb13
=> Applying pkgsrc patches for frama-c-20170501nb13
=> 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.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 /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_gui_gtk__helper.ml
=> Applying pkgsrc patch /data/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 /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.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 /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.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 /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-20170501nb13
===> Configuring for frama-c-20170501nb13
=> 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.2
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
checking version of OCaml... 4.07.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 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... 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.'.
./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... 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
unsupported coqc version 8.8.1
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