=> 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-20120901nb37 ========================================================================== 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-20120901nb37. 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 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 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.5nb5: found ocaml-lablgtk-2.18.5nb5 => Full dependency ocaml>=4.04.0: found ocaml-4.04.0 ===> Overriding tools for frama-c-20120901nb37 ===> Extracting for frama-c-20120901nb37 ===> Patching for frama-c-20120901nb37 => Applying pkgsrc patches for frama-c-20120901nb37 => 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.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-20120901nb37 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-20120901nb37 => 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... no (cannot compile perfcount.c) 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