Jasper and Antoine reported me failures in frama-c. I can't reproduce
here, and don't quite understand what the problem is. Can anyone take
a look?
>>> Building on localhost under devel/frama-c
BDEPENDS = [lang/ocaml;devel/gmake;x11/lablgtk2]
DIST = [devel/frama-c:frama-c-Neon-20140301.tar.gz]
FULLPKGNAME = frama-c-1.10p1
RDEPENDS = [x11/lablgtk2;lang/ocaml]
(Junk lock obtained for localhost at 1434823237)
>>> Running depends in devel/frama-c at 1434823237
last junk was in geo/mapserver,-main
/usr/sbin/pkg_add -aI -Dunsigned -Drepair lablgtk2-2.18.3 ocaml-4.02.1
was: /usr/sbin/pkg_add -aI -Dunsigned -Drepair gmake-4.1p0 lablgtk2-2.18.3
ocaml-4.02.1
/usr/sbin/pkg_add -aI -Dunsigned -Drepair lablgtk2-2.18.3 ocaml-4.02.1
>>> Running show-prepare-results in devel/frama-c at 1434823240
===> devel/frama-c
===> frama-c-1.10p1 depends on: lablgtk2->=2.18.0p2 -> lablgtk2-2.18.3
===> frama-c-1.10p1 depends on: ocaml-=4.02.1 -> ocaml-4.02.1
===> frama-c-1.10p1 depends on: gmake-* -> gmake-4.1p0
===> Verifying specs: c curses m pthread
===> found c.79.0 curses.14.0 m.9.0 pthread.19.0
gmake-4.1p0
lablgtk2-2.18.3
ocaml-4.02.1
(Junk lock released for localhost at 1434823241)
distfiles size=3122492
>>> Running patch in devel/frama-c at 1434823242
===> devel/frama-c
===> Checking files for frama-c-1.10p1
`/exopi-cvs/ports/distfiles/frama-c-Neon-20140301.tar.gz' is up to date.
===> Extracting for frama-c-1.10p1
===> Patching for frama-c-1.10p1
>>> Running configure in devel/frama-c at 1434823243
===> devel/frama-c
===> Configuring for frama-c-1.10p1
Using /exopi-obj/pobj/frama-c-1.10/config.site (generated)
configure: WARNING: unrecognized options: --disable-silent-rules,
--disable-gtk-doc
configure: loading site script /exopi-obj/pobj/frama-c-1.10/config.site
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for make... gmake
checking version of make... 4.1
configure: *****************************
configure: * CONFIGURE OCAML COMPILERS *
configure: *****************************
checking for ocamlc... ocamlc
checking version of OCaml... 4.02.1
checking OCaml library path... /usr/local/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
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
configure: OcamlGraph 1.8.5 > 1.8.4 found: should be compatible, but no
warranty. Use it at your own risk!
configure: OcamlGraph native version is ok
configure: WARNING: Zarith not found: will use the default less efficient
library instead
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking OCaml native threads... ok.
checking for gcc... cc
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... (cached) o
checking whether we are using the GNU C compiler... (cached) yes
checking whether cc accepts -g... (cached) yes
checking for cc option to accept ISO C89... none needed
checking how to run the C preprocessor... cc -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... (cached) yes
checking for sys/types.h... (cached) yes
checking for sys/stat.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for memory.h... (cached) yes
checking for strings.h... (cached) yes
checking for inttypes.h... (cached) yes
checking for stdint.h... (cached) yes
checking for unistd.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for assert.h... (cached) yes
checking for float.h... (cached) yes
checking for math.h... (cached) yes
checking for signal.h... (cached) yes
checking for unistd.h... (cached) yes
/* Check whether comments are kept in output */
Default preprocessor is 'cc -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 coqc... no
configure: rerun configure to make wp using coq 8.4
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
Ocamlfind -> using
+lablgtk2.(/usr/local/lib/ocaml/lablgtk2,/usr/local/lib/ocaml/lablgtk2)
checking for /usr/local/lib/ocaml/lablgtk2/lablgtk.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... yes
checking for /usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... yes
checking for dot... no
checking for /usr/local/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: 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: *********************
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 share/Makefile.config
configure: WARNING: unrecognized options: --disable-silent-rules,
--disable-gtk-doc
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: yes, dynamic
>>> Running build in devel/frama-c at 1434823264
===> devel/frama-c
===> Building for frama-c-1.10p1
share/Makefile.dynamic:219: share/Makefile.kernel: No such file or directory
share/Makefile.dynamic:219: share/Makefile.kernel: No such file or directory
share/Makefile.dynamic:219: share/Makefile.kernel: No such file or directory
share/Makefile.dynamic:219: share/Makefile.kernel: No such file or directory
share/Makefile.dynamic:219: share/Makefile.kernel: No such file or directory
Makefile:2443: .depend: No such file or directory
Copying to src/lib/integer.ml
Generating src/lib/dynlink_common_interface.ml
Ocamllex cil/src/frontc/clexer.ml
372 states, 4382 transitions, table size 19760 bytes
3275 additional bytes used for bindings
Ocamlyacc cil/src/frontc/cparser.ml
1 shift/reduce conflict.
Ocamllex cil/src/logic/logic_lexer.ml
145 states, 1840 transitions, table size 8230 bytes
1915 additional bytes used for bindings
Ocamlyacc cil/src/logic/logic_parser.ml
Ocamllex cil/src/logic/logic_preprocess.ml
118 states, 565 transitions, table size 2968 bytes
2787 additional bytes used for bindings
Generating src/kernel/config.ml
Generating share/frama-c.rc
Generating ptests/ptests_config.ml
Generating share/Makefile.dynamic_config
Generating share/Makefile.kernel
Generating lib/plugins/Metrics.mli
Generating lib/plugins/gui/Metrics.mli
Ocamldep src/metrics/.depend
Generating lib/plugins/Syntactic_callgraph.mli
Generating lib/plugins/gui/Syntactic_callgraph.mli
Ocamldep src/syntactic_callgraph/.depend
Generating lib/plugins/Value.mli
Generating lib/plugins/gui/Value.mli
Ocamldep src/value/.depend
Generating lib/plugins/Occurrence.mli
Generating lib/plugins/gui/Occurrence.mli
Ocamldep src/occurrence/.depend
Generating lib/plugins/RteGen.mli
Ocamldep src/rte/.depend
Generating lib/plugins/From.mli
Generating lib/plugins/gui/From.mli
Ocamldep src/from/.depend
Generating lib/plugins/Users.mli
Ocamldep src/users/.depend
Generating lib/plugins/Constant_Propagation.mli
Ocamldep src/constant_propagation/.depend
Generating lib/plugins/Postdominators.mli
Ocamldep src/postdominators/.depend
Generating lib/plugins/Inout.mli
Ocamldep src/inout/.depend
Generating lib/plugins/Semantic_callgraph.mli
Ocamldep src/semantic_callgraph/.depend
Generating lib/plugins/Impact.mli
Generating lib/plugins/gui/Impact.mli
Ocamldep src/impact/.depend
Generating lib/plugins/Pdg.mli
Ocamldep src/pdg/.depend
Generating lib/plugins/Scope.mli
Generating lib/plugins/gui/Scope.mli
Ocamldep src/scope/.depend
Generating lib/plugins/Sparecode.mli
Ocamldep src/sparecode/.depend
Ocamldep src/slicing/.depend
Generating lib/plugins/Aorai.mli
Ocamldep src/aorai/.depend
Generating lib/plugins/Obfuscator.mli
Ocamldep src/obfuscator/.depend
Generating lib/plugins/Report.mli
Ocamldep src/report/.depend
Generating lib/plugins/Security_slicing.mli
Generating lib/plugins/gui/Security_slicing.mli
Ocamldep src/security_slicing/.depend
Generating lib/plugins/Wp.mli
Generating lib/plugins/gui/Wp.mli
Ocamldep src/wp/.depend
Generating .depend
Ocamlc external/unmarshal.cmi
Ocamlc external/unmarshal.cmo
File "external/unmarshal.ml", line 174, characters 4-21:
Warning 3: deprecated: String.unsafe_set
File "external/unmarshal.ml", line 238, characters 10-23:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "external/unmarshal.ml", line 253, characters 14-25:
Warning 3: deprecated: String.copy
File "external/unmarshal.ml", line 256, characters 6-18:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "external/unmarshal.ml", line 499, characters 22-35:
Warning 3: deprecated: String.create
Use Bytes.create instead.
Ocamlc external/unmarshal_nums.cmi
Ocamlc external/unmarshal_nums.cmo
Ocamlc external/sysutil.cmi
Ocamlc external/sysutil.cmo
Ocamlc src/lib/dynlink_common_interface.cmi
Ocamlc src/lib/dynlink_common_interface.cmo
Ocamlc src/type/structural_descr.cmi
Ocamlc src/type/structural_descr.cmo
Ocamlc src/type/type.cmi
Ocamlc src/type/type.cmo
Ocamlc src/type/descr.cmi
Ocamlc src/type/descr.cmo
Ocamlc src/lib/FCSet.cmi
Ocamlc src/lib/FCSet.cmo
Ocamlc src/lib/FCMap.cmi
Ocamlc src/lib/FCMap.cmo
Ocamlc src/lib/FCHashtbl.cmi
Ocamlc src/lib/FCHashtbl.cmo
Ocamlc src/lib/extlib.cmi
Ocamlc src/lib/extlib.cmo
Ocamlc src/lib/pretty_utils.cmi
Ocamlc src/lib/pretty_utils.cmo
Ocamlc src/lib/hook.cmi
Ocamlc src/lib/hook.cmo
Ocamlc src/lib/bag.cmi
Ocamlc src/lib/bag.cmo
Ocamlc src/lib/indexer.cmi
Ocamlc src/lib/indexer.cmo
Ocamlc src/lib/vector.cmi
Ocamlc src/lib/vector.cmo
File "src/lib/vector.ml", line 43, characters 14-26:
Warning 3: deprecated: Array.create
Use Array.make instead.
Ocamlc src/lib/bitvector.cmi
Ocamlc src/lib/bitvector.cmo
File "src/lib/bitvector.ml", line 66, characters 2-24:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/lib/bitvector.ml", line 74, characters 2-24:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/lib/bitvector.ml", line 90, characters 30-53:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/lib/bitvector.ml", line 164, characters 8-31:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/lib/bitvector.ml", line 172, characters 8-31:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/lib/bitvector.ml", line 174, characters 20-35:
Warning 3: deprecated: String.set
Use Bytes.set instead.
Ocamlc src/lib/qstack.cmi
Ocamlc src/lib/qstack.cmo
Ocamlc src/lib/integer.cmi
Ocamlc src/lib/integer.cmo
Ocamlc src/lib/filepath.cmi
Ocamlc src/lib/filepath.cmo
Ocamlc src/kernel/config.cmi
Ocamlc src/kernel/config.cmo
Ocamlc src/kernel/log.cmi
Ocamlc src/kernel/log.cmo
File "src/kernel/log.ml", line 193, characters 19-32:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "src/kernel/log.ml", line 230, characters 16-29:
Warning 3: deprecated: String.create
Use Bytes.create instead.
File "src/kernel/log.ml", line 246, characters 11-24:
Warning 3: deprecated: String.create
Use Bytes.create instead.
Ocamlc src/kernel/cmdline.cmi
Ocamlc src/kernel/cmdline.cmo
Ocamlc src/project/project_skeleton.cmi
Ocamlc src/project/project_skeleton.cmo
Ocamlc src/type/datatype.cmi
Ocamlc src/type/datatype.cmo
File "src/type/datatype.ml", line 1868, characters 17-28:
Warning 3: deprecated: String.copy
Ocamlc src/kernel/journal.cmi
Ocamlc src/kernel/journal.cmo
Ocamlc src/project/state.cmi
Ocamlc src/project/state.cmo
Ocamlc src/project/state_dependency_graph.cmi
Ocamlc src/project/state_dependency_graph.cmo
Ocamlc src/project/state_topological.cmi
Ocamlc src/project/state_topological.cmo
Ocamlc src/project/state_selection.cmi
Ocamlc src/project/state_selection.cmo
Ocamlc src/project/project.cmi
Ocamlc src/project/project.cmo
File "src/project/project.ml", line 435, characters 9-32:
Warning 48: implicit elimination of optional argument ?selection
File "src/project/project.ml", line 761, characters 24-32:
Warning 48: implicit elimination of optional argument ?selection
File "src/project/project.ml", line 776, characters 22-30:
Warning 48: implicit elimination of optional argument ?selection
Ocamlc src/project/state_builder.cmi
Ocamlc src/project/state_builder.cmo
Ocamlc src/kernel/typed_parameter.cmi
Ocamlc src/kernel/typed_parameter.cmo
Ocamlc src/kernel/dynamic.cmi
Ocamlc src/kernel/dynamic.cmo
Ocamlc cil/src/cil_types.cmi
Ocamlc src/kernel/parameter_customize.cmi
Ocamlc src/kernel/parameter_customize.cmo
Ocamlc src/kernel/parameter_sig.cmi
Ocamlc src/kernel/parameter_state.cmi
Ocamlc src/kernel/parameter_state.cmo
Ocamlc src/kernel/parameter_builder.cmi
Ocamlc src/kernel/parameter_builder.cmo
File "src/kernel/parameter_builder.ml", line 465, characters 34-41:
Warning 48: implicit elimination of optional argument ?sep
File "src/kernel/parameter_builder.ml", line 530, characters 34-41:
Warning 48: implicit elimination of optional argument ?sep
Ocamlc src/kernel/plugin.cmi
Ocamlc src/kernel/plugin.cmo
Ocamlc src/kernel/kernel.cmi
Ocamlc src/kernel/kernel.cmo
Ocamlc src/kernel/emitter.cmi
Ocamlc src/kernel/emitter.cmo
Ocamlc src/lib/floating_point.cmi
Ocamlc src/lib/floating_point.cmo
Ocamlc src/lib/rangemap.cmi
Ocamlc src/lib/rangemap.cmo
Ocamlc src/lib/binary_cache.cmi
Ocamlc src/lib/binary_cache.cmo
File "src/lib/binary_cache.ml", line 342, characters 4-33:
Warning 3: deprecated: String.set
Use Bytes.set instead.
File "src/lib/binary_cache.ml", line 346, characters 4-15:
Warning 3: deprecated: String.fill
Use Bytes.fill instead.
Ocamlc external/hptmap.cmi
Ocamlc external/hptmap.cmo
Ocamlc src/lib/hptset.cmi
Ocamlc src/lib/hptset.cmo
Ocamlc src/printer/printer_api.cmi
Ocamlc src/printer/printer_builder.cmi
Ocamlc src/printer/printer_builder.cmo
Ocamlc cil/src/cilmsg.cmi
Ocamlc cil/src/cilmsg.cmo
Ocamlc cil/ocamlutil/alpha.cmi
Ocamlc cil/ocamlutil/alpha.cmo
Ocamlc cil/ocamlutil/cilconfig.cmi
Ocamlc cil/ocamlutil/cilconfig.cmo
Ocamlc cil/src/logic/logic_ptree.cmi
Ocamlc cil/src/frontc/cabs.cmo
Ocamlc cil/src/cil_datatype.cmi
Ocamlc cil/src/cil_datatype.cmo
File "cil/src/cil_datatype.ml", line 1349, characters 20-31:
Warning 3: deprecated: String.copy
Ocamlc cil/src/cil_state_builder.cmi
Ocamlc cil/src/cil_state_builder.cmo
Ocamlc cil/src/logic/utf8_logic.cmi
Ocamlc cil/src/logic/utf8_logic.cmo
File "cil/src/logic/utf8_logic.ml", line 38, characters 6-23:
Warning 3: deprecated: String.unsafe_set
File "cil/src/logic/utf8_logic.ml", line 40, characters 6-23:
Warning 3: deprecated: String.unsafe_set
File "cil/src/logic/utf8_logic.ml", line 42, characters 1-18:
Warning 3: deprecated: String.unsafe_set
File "cil/src/logic/utf8_logic.ml", line 48, characters 10-23:
Warning 3: deprecated: String.create
Use Bytes.create instead.
Ocamlc cil/src/machdep_x86_16.cmi
Ocamlc cil/src/machdep_x86_16.cmo
Ocamlc cil/src/machdep_x86_32.cmi
Ocamlc cil/src/machdep_x86_32.cmo
Ocamlc cil/src/machdep_x86_64.cmi
Ocamlc cil/src/machdep_x86_64.cmo
Ocamlc cil/src/machdep_ppc_32.cmo
Ocamlc cil/src/cil_const.cmi
Ocamlc cil/src/cil_const.cmo
Ocamlc cil/src/logic/logic_env.cmi
Ocamlc cil/src/logic/logic_env.cmo
Ocamlc cil/src/escape.cmi
Ocamlc cil/src/escape.cmo
Ocamlc cil/src/logic/logic_const.cmi
Ocamlc cil/src/logic/logic_const.cmo
Ocamlc cil/src/cil.cmi
Ocamlc cil/src/cil.cmo
File "cil/src/cil.ml", line 5717, characters 11-22:
Warning 3: deprecated: String.copy
File "cil/src/cil.ml", line 5727, characters 7-17:
Warning 3: deprecated: String.set
Use Bytes.set instead.
Ocamlc src/printer/cil_printer.cmi
Ocamlc src/printer/cil_printer.cmo
Ocamlc src/printer/cil_descriptive_printer.cmi
Ocamlc src/printer/cil_descriptive_printer.cmo
Ocamlc cil/src/frontc/errorloc.cmi
Ocamlc cil/src/frontc/errorloc.cmo
Ocamlc cil/src/ext/expcompare.cmo
Ocamlc cil/src/frontc/cabs_debug.cmi
Ocamlc cil/src/frontc/cabs_debug.cmo
Ocamlc cil/src/frontc/cabshelper.cmi
Ocamlc cil/src/frontc/cabshelper.cmo
Ocamlc cil/src/logic/logic_utils.cmi
Ocamlc cil/src/logic/logic_utils.cmo
Ocamlc cil/src/logic/logic_builtin.cmi
Ocamlc cil/src/logic/logic_builtin.cmo
Ocamlc cil/src/logic/logic_print.cmi
Ocamlc cil/src/logic/logic_print.cmo
Ocamlc cil/src/logic/logic_parser.cmi
Ocamlc cil/src/logic/logic_parser.cmo
Ocamlc cil/src/logic/logic_lexer.cmo
Ocamlc cil/src/frontc/lexerhack.cmo
Ocamlc cil/src/mergecil.cmi
Ocamlc cil/src/mergecil.cmo
Ocamlc cil/src/rmtmps.cmi
Ocamlc cil/src/rmtmps.cmo
Ocamlc cil/src/logic/logic_typing.cmi
Ocamlc cil/src/logic/logic_typing.cmo
Ocamlc cil/src/frontc/cprint.cmi
Ocamlc cil/src/frontc/cprint.cmo
Ocamlc cil/src/frontc/cabscond.cmi
Ocamlc cil/src/frontc/cabscond.cmo
Ocamlc cil/src/frontc/cabsvisit.cmi
Ocamlc cil/src/frontc/cabsvisit.cmo
Ocamlc cil/src/frontc/cabs2cil.cmi
Ocamlc cil/src/frontc/cabs2cil.cmo
File "cil/src/frontc/cabs2cil.ml", line 2513, characters 26-38:
Warning 3: deprecated: Array.create
Use Array.make instead.
Ocamlc cil/src/frontc/cparser.cmi
Ocamlc cil/src/frontc/clexer.cmi
Ocamlc cil/src/frontc/clexer.cmo
Ocamlc cil/src/frontc/cparser.cmo
Ocamlc cil/src/logic/logic_preprocess.cmi
Ocamlc cil/src/logic/logic_preprocess.cmo
Ocamlc cil/src/frontc/frontc.cmi
Ocamlc cil/src/frontc/frontc.cmo
Ocamlc cil/src/ext/callgraph.cmi
Ocamlc cil/src/ext/callgraph.cmo
Ocamlc cil/src/ext/dataflow.cmi
Ocamlc cil/src/ext/dataflow.cmo
Ocamlc cil/src/ext/oneret.cmi
Ocamlc cil/src/ext/oneret.cmo
Ocamlc cil/src/ext/cfg.cmi
Ocamlc cil/src/ext/cfg.cmo
Ocamlc src/buckx/buckx.cmi
Ocamlc src/buckx/buckx.cmo
Ocamlc src/kernel/ast_info.cmi
Ocamlc src/kernel/ast_info.cmo
Ocamlc src/kernel/ast.cmi
Ocamlc src/kernel/ast.cmo
Ocamlc src/kernel/globals.cmi
Ocamlc src/kernel/globals.cmo
Ocamlc src/kernel/kernel_function.cmi
Ocamlc src/kernel/kernel_function.cmo
Ocamlc src/logic/property.cmi
Ocamlc src/logic/property.cmo
File "src/logic/property.ml", line 576, characters 10-21:
Warning 3: deprecated: String.copy
File "src/logic/property.ml", line 578, characters 59-69:
Warning 3: deprecated: String.set
Use Bytes.set instead.
Ocamlc src/logic/property_status.cmi
Ocamlc src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2027:
Error: Signature mismatch:
...
Values do not match:
val vertex_attributes :
v ->
[> `Color of int
| `Label of string
| `Shape of [> `Box | `Diamond ]
| `Style of [> `Bold | `Filled ] list
| `Width of float ]
list
is not included in
val vertex_attributes :
V.t -> Graph.Graphviz.DotAttributes.vertex list
File "src/logic/property_status.ml", line 1479, characters 16-33:
Actual declaration
share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo'
failed
gmake: *** [src/logic/property_status.cmo] Error 2
*** Error 2 in devel/frama-c
(/exopi-cvs/ports/infrastructure/mk/bsd.port.mk:2766
'/exopi-obj/pobj/frama-c-1.10/.build_done')
*** Error 1 in devel/frama-c
(/exopi-cvs/ports/infrastructure/mk/bsd.port.mk:2487 'build')
===> Exiting devel/frama-c with an error
*** Error 1 in /exopi-cvs/ports (infrastructure/mk/bsd.port.subdir.mk:147
'build')
Error: job failed 256
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
