On Mon, Jun 22, 2015 at 12:26:57AM +0200, Jérémie Courrèges-Anglas wrote: > > 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?
It keeps breaking 1 out of 4 bulks... > >>> 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 > -- Antoine
