=> 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-Oxygen-20120901.tar.gz
=> Checksum RMD160 OK for frama-c-Oxygen-20120901.tar.gz
=> Checksum SHA512 OK for frama-c-Oxygen-20120901.tar.gz
===> Installing dependencies for frama-c-20120901nb36
==========================================================================
The supported build options for frama-c are:
gui
The currently selected options are:
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-20120901nb36. Their current value is shown below:
* BDB185_DEFAULT = db1
* BDB_DEFAULT = db4
* 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 gmake>=3.81: found gmake-4.1nb3
=> Tool dependency checkperms>=1.1: found checkperms-1.11nb1
=> Build dependency x11-links>=1.04: found x11-links-1.05
=> Build dependency cwrappers>=20150314: found cwrappers-20170112
=> Full dependency gtksourceview2>=2.0.2<3: found gtksourceview2-2.10.5nb28
=> Full dependency gtksourceview2>=2.10.5nb28: found gtksourceview2-2.10.5nb28
=> Full dependency ocaml-lablgtk>=2.18.5nb4: found ocaml-lablgtk-2.18.5nb4
=> Full dependency ocaml>=4.04.0: found ocaml-4.04.0
===> Overriding tools for frama-c-20120901nb36
===> Extracting for frama-c-20120901nb36
===> Patching for frama-c-20120901nb36
=> Applying pkgsrc patches for frama-c-20120901nb36
=> Verifying /data/pkgsrc-current/devel/frama-c/patches/patch-configure
=> Applying pkgsrc patch /data/pkgsrc-current/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.1 2013/11/15 14:10:29 wiz Exp $
|
|Fix GNU make version comparison logic.
|
|--- configure.orig 2013-11-15 14:08:17.000000000 +0000
|+++ configure
--------------------------
Patching file configure using Plan A...
Hunk #1 succeeded at 2617.
done
===> Creating toolchain wrappers for frama-c-20120901nb36
src=/usr/X11R7/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/X11R7/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-20120901nb36
=> 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
make version is GNU Make 4.1: Good!
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
OCaml version is 4.04.0: good!
ocaml library path is /usr/pkg/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version and standard library... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version and standard library... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version and standard library... ok
configure: *******************************************
configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
configure: *******************************************
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for /usr/pkg/lib/ocaml/ocamlgraph/graph.cmx... no
configure: switching to OcamlGraph provided by Frama-C
checking for ocamlgraph... no
checking for ocamlgraph.tar.gz... yes
configure: unarchiving ocamlgraph.tar.gz
configure: configuring ocamlgraph...
configure: ******************************************
configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
configure: ******************************************
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for ocamlmktop... ocamlmktop
checking for ocamlcp... ocamlcp
checking for otags... no
checking for ocamlfind... ocamlfind
OCamlfind detected and enabled
checking for /usr/pkg/lib/ocaml/site-lib/zarith/zarith.cmxa... no
configure: WARNING: Zarith not found: will use the default less efficient library instead
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking whether performance counters are usable... ok (3480.000 cycles per us)
Default preprocessor is gcc -C -E -I..
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/constant_propagation... yes
semantic_constant_folding... yes
checking for src/from... yes
from_analysis... yes
checking for src/gui... yes
gui... yes
checking for src/impact... yes
impact... yes
checking for src/inout... yes
inout... yes
checking for src/metrics... yes
metrics... yes
checking for src/occurrence... yes
occurrence... yes
checking for src/pdg... yes
pdg... yes
checking for src/postdominators... yes
postdominators... yes
checking for src/rte... yes
rte_annotation... yes
checking for src/scope... yes
scope... yes
checking for src/semantic_callgraph... yes
semantic_callgraph... yes
checking for src/slicing... yes
slicing... yes
checking for src/sparecode... yes
sparecode... yes
checking for src/syntactic_callgraph... yes
syntactic_callgraph... yes
checking for src/users... yes
users... yes
checking for src/value... yes
value_analysis... yes
checking for src/aorai/Makefile.in... yes
aorai... yes
checking for ltl2ba... no
checking for src/obfuscator/Makefile.in... yes
obfuscator... yes
checking for src/report/Makefile.in... yes
report... yes
checking for src/security_slicing/Makefile.in... yes
security_slicing... yes
checking for src/wp/Makefile.in... yes
wp... yes
checking for why... no
checking for why-dp... no
checking for alt-ergo... no
alt-ergo: not found
configure: alt-ergo version is .
configure: alt-ergo's array theory unsupported.
checking for coqc... no
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/lablgtk.cmxa... yes
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 dot... no
checking for /usr/pkg/lib/ocaml/dynlink.cmxa... yes
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.
configure: WARNING: why not found
configure: WARNING: wp partially enabled because why missing.
configure: WARNING: why-dp not found
configure: WARNING: wp partially enabled because why-dp missing.
configure: WARNING: alt-ergo not found
configure: WARNING: wp partially enabled because alt-ergo missing.
configure: WARNING: coq not found
configure: WARNING: wp partially enabled because coqc missing.
configure: WARNING: dot not found: you should install GraphViz
configure: WARNING: gui partially enabled because dot missing.
configure: WARNING: syntactic_callgraph partially enabled because dot missing.
configure: WARNING: wp partially enabled because dot missing.
configure: *********************
configure: * CREATING MAKEFILE *
configure: *********************
configure: creating ./config.status
config.status: creating src/aorai/Makefile
config.status: creating src/obfuscator/Makefile
config.status: creating src/report/Makefile
config.status: creating src/security_slicing/Makefile
config.status: creating src/wp/Makefile
config.status: creating cil/ocamlutil/perfcount.c
config.status: creating share/Makefile.config
configure: *******************************
configure: * SUMMARY: PLUG-INS AVAILABLE *
configure: *******************************
configure: semantic_constant_folding: yes
configure: from_analysis: yes
configure: gui: partial, dot missing
configure: impact: yes
configure: inout: yes
configure: metrics: yes
configure: occurrence: yes
configure: pdg: yes
configure: postdominators: yes
configure: rte_annotation: yes
configure: scope: yes
configure: semantic_callgraph: yes
configure: slicing: yes
configure: sparecode: yes
configure: syntactic_callgraph: partial, dot missing
configure: users: yes
configure: value_analysis: yes
configure: aorai: partial, dynamic, ltl2ba missing
configure: obfuscator: yes, dynamic
configure: report: yes, dynamic
configure: security_slicing: yes, dynamic
configure: wp: partial, dynamic, dot missing