=> Bootstrap dependency digest>=20010302: found digest-20111104 ===> 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-Nitrogen-20111001.tar.gz => Checksum RMD160 OK for frama-c-Nitrogen-20111001.tar.gz ===> Installing dependencies for frama-c-20111001nb10 ========================================================================== 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-20111001nb10. 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. ========================================================================== => Build dependency gmake>=3.81: found gmake-3.82nb5 => Build dependency x11-links>=0.70: found x11-links-0.70 => Build dependency ocaml>=3.12.0nb5: found ocaml-3.12.1nb1 => Full dependency gtksourceview2>=2.10.5nb10: found gtksourceview2-2.10.5nb10 => Full dependency lablgtk>=2.16.0nb1: found lablgtk-2.16.0nb1 ===> Overriding tools for frama-c-20111001nb10 ===> Extracting for frama-c-20111001nb10 ===> Patching for frama-c-20111001nb10 ===> Creating toolchain wrappers for frama-c-20111001nb10 src=/usr/X11R7/lib/pkgconfig/fixesproto.pc dst=/scratch/devel/frama-c/work/.buildlink/lib/pkgconfig/fixesext.pc; /bin/mkdir -p /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=/scratch/devel/frama-c/work/.buildlink/lib/pkgconfig/compositeext.pc; /bin/mkdir -p /scratch/devel/frama-c/work/.buildlink/lib/pkgconfig; if test -f ${src}; then /bin/ln -sf ${src} ${dst}; fi ===> Configuring for frama-c-20111001nb10 => 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 configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... make make version is GNU Make 3.82: Good! configure: ***************************** configure: * CONFIGURE OCAML COMPILERS * configure: ***************************** checking for ocamlc... ocamlc OCaml version is 3.12.1: 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: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled configure: ****************************************** configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES * configure: ****************************************** checking for ocamldoc... ocamldoc checking for ocamlmktop... ocamlmktop checking for otags... no configure: ********************** configure: * CONFIGURE PLATFORM * configure: ********************** checking platform... Unix checking whether performance counters are usable... ok (2363.636 cycles per us) 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/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: ******************************************************* checking for /usr/pkg/lib/ocaml/lablgtk2/lablgtk.cmxa... no 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: lablgtk2/lablgtk.cmxa not found. configure: WARNING: gui disabled because /usr/pkg/lib/ocaml/lablgtk2/lablgtk.cmxa missing. configure: WARNING: dot not found: you should install GraphViz configure: WARNING: syntactic_callgraph partially enabled because dot missing. configure: WARNING: wp partially enabled because dot missing. 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: security_slicing only partially enabled because gui not enabled. configure: WARNING: syntactic_callgraph partially enabled because gui not enabled. configure: WARNING: wp partially enabled because gui not enabled. configure: ********************* configure: * CREATING MAKEFILE * configure: ********************* configure: creating ./config.status config.status: creating src/aorai/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: no, /usr/pkg/lib/ocaml/lablgtk2/lablgtk.cmxa missing configure: impact: partial, gui not enabled configure: inout: yes configure: metrics: partial, gui not enabled configure: occurrence: partial, gui not enabled configure: pdg: yes configure: postdominators: yes configure: rte_annotation: yes configure: scope: partial, gui not enabled configure: semantic_callgraph: yes configure: slicing: partial, gui not enabled configure: sparecode: yes configure: syntactic_callgraph: partial, gui not enabled configure: users: yes configure: value_analysis: partial, gui not enabled configure: aorai: partial, dynamic, ltl2ba missing configure: report: yes, dynamic configure: security_slicing: partial, dynamic, gui not enabled configure: wp: partial, dynamic, gui not enabled