--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on August 2013 ---
Here it is. Yeah, I thought it was an ocaml-graph incompatibility. It found my installed ocamlgraph but says it should be compatible... configure:3159: checking for /opt/local/lib/ocaml/ocamlgraph/graph.cmx configure:3173: result: yes configure:3200: OcamlGraph 1.8.2+svn > 1.8.2 found: should be compatible! ---------------------------------------------------------------------------------- This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. It was created by configure, which was generated by GNU Autoconf 2.69. Invocation command line was $ ./configure ## --------- ## ## Platform. ## ## --------- ## hostname = alban.local.tld uname -m = x86_64 uname -r = 12.4.0 uname -s = Darwin uname -v = Darwin Kernel Version 12.4.0: Wed May 1 17:57:12 PDT 2013; root:xnu-2050.24.15~1/RELEASE_X86_64 /usr/bin/uname -p = i386 /bin/uname -X = unknown /bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown /usr/bin/hostinfo = Mach kernel version: Darwin Kernel Version 12.4.0: Wed May 1 17:57:12 PDT 2013; root:xnu-2050.24.15~1/RELEASE_X86_64 Kernel configured for up to 2 processors. 2 processors are physically available. 2 processors are logically available. Processor type: i486 (Intel 80486) Processors active: 0 1 Primary memory available: 8.00 gigabytes Default processor set: 115 tasks, 547 threads, 2 processors Load average: 5.80, Mach factor: 0.28 /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /opt/local/bin PATH: /opt/local/sbin PATH: /VSL/Tools/bin PATH: /usr/texbin PATH: /Users/siegel/Documents/workspace/TASS PATH: /tools/bin PATH: /Users/siegel/repos/vsl/projects/mpi-spin/trunk/bin PATH: /usr/bin PATH: /bin PATH: /usr/sbin PATH: /sbin PATH: /usr/local/bin PATH: /usr/texbin ## ----------- ## ## Core tests. ## ## ----------- ## configure:2304: ****************** configure:2306: * CONFIGURE MAKE * configure:2308: ****************** configure:2591: checking for make configure:2607: found /usr/bin/make configure:2618: result: make configure:2304: ***************************** configure:2306: * CONFIGURE OCAML COMPILERS * configure:2308: ***************************** configure:2673: checking for ocamlc configure:2689: found /opt/local/bin/ocamlc configure:2701: result: ocamlc configure:2755: checking for ocamlopt configure:2771: found /opt/local/bin/ocamlopt configure:2783: result: ocamlopt configure:2796: checking ocamlopt version and standard library configure:2805: result: ok configure:2822: checking for ocamlc.opt configure:2838: found /opt/local/bin/ocamlc.opt configure:2850: result: ocamlc.opt configure:2859: checking ocamlc.opt version and standard library configure:2867: result: ok configure:2877: checking for ocamlopt.opt configure:2893: found /opt/local/bin/ocamlopt.opt configure:2905: result: ocamlopt.opt configure:2914: checking ocamlc.opt version and standard library configure:2922: result: ok configure:2304: ******************************************* configure:2306: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * configure:2308: ******************************************* configure:2938: checking for ocamldep configure:2954: found /opt/local/bin/ocamldep configure:2966: result: ocamldep configure:2979: checking for ocamldep.opt configure:2995: found /opt/local/bin/ocamldep.opt configure:3007: result: ocamldep.opt configure:3023: checking for ocamllex configure:3039: found /opt/local/bin/ocamllex configure:3051: result: ocamllex configure:3064: checking for ocamllex.opt configure:3080: found /opt/local/bin/ocamllex.opt configure:3092: result: ocamllex.opt configure:3108: checking for ocamlyacc configure:3124: found /opt/local/bin/ocamlyacc configure:3136: result: ocamlyacc configure:3159: checking for /opt/local/lib/ocaml/ocamlgraph/graph.cmx configure:3173: result: yes configure:3200: OcamlGraph 1.8.2+svn > 1.8.2 found: should be compatible! configure:2304: ****************************************** configure:2306: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES * configure:2308: ****************************************** configure:3319: checking for ocamldoc configure:3335: found /opt/local/bin/ocamldoc configure:3347: result: ocamldoc configure:3361: checking for ocamldoc.opt configure:3377: found /opt/local/bin/ocamldoc.opt configure:3389: result: ocamldoc.opt configure:3405: checking for ocamlmktop configure:3421: found /opt/local/bin/ocamlmktop configure:3433: result: ocamlmktop configure:3449: checking for ocamlcp configure:3465: found /opt/local/bin/ocamlcp configure:3477: result: ocamlcp configure:3491: checking for otags configure:3521: result: no configure:3529: checking for ocamlfind configure:3545: found /opt/local/bin/ocamlfind configure:3557: result: ocamlfind configure:3595: checking for /opt/local/lib/ocaml/site-lib/zarith/zarith.cmxa configure:3609: result: no configure:3618: WARNING: Zarith not found: will use the default less efficient library instead configure:2304: ********************** configure:2306: * CONFIGURE PLATFORM * configure:2308: ********************** configure:3656: checking platform configure:3670: result: Unix configure:5033: result: Default preprocessor is gcc -C -E -I.. configure:2304: *************************** configure:2306: * WISHED FRAMA-C PLUG-INS * configure:2308: *************************** configure:5115: checking for src/constant_propagation configure:5128: result: yes configure:5222: checking for src/from configure:5235: result: yes configure:5340: checking for src/gui configure:5353: result: yes configure:5451: checking for src/impact configure:5464: result: yes configure:5602: checking for src/inout configure:5615: result: yes configure:5730: checking for src/metrics configure:5743: result: yes configure:5847: checking for src/occurrence configure:5860: result: yes configure:5964: checking for src/pdg configure:5977: result: yes configure:6081: checking for src/postdominators configure:6094: result: yes configure:6176: checking for src/rte configure:6189: result: yes configure:6271: checking for src/scope configure:6284: result: yes configure:6421: checking for src/semantic_callgraph configure:6434: result: yes configure:6538: checking for src/slicing configure:6551: result: yes configure:6677: checking for src/sparecode configure:6690: result: yes configure:6794: checking for src/syntactic_callgraph configure:6807: result: yes configure:6906: checking for src/users configure:6919: result: yes configure:7012: checking for src/value configure:7025: result: yes configure:7198: checking for src/aorai/Makefile.in configure:7211: result: yes configure:7322: checking for ltl2ba configure:7350: result: no configure:7450: checking for src/obfuscator/Makefile.in configure:7463: result: yes configure:7626: checking for src/report/Makefile.in configure:7639: result: yes configure:7791: checking for src/security_slicing/Makefile.in configure:7804: result: yes configure:8007: checking for src/wp/Makefile.in configure:8020: result: yes configure:8147: checking for coqc configure:8175: result: no configure:8197: rerun configure to make wp using coq 8.4 configure:2304: ******************************************************* configure:2306: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure:2308: ******************************************************* configure:8269: checking for /opt/local/lib/ocaml/lablgtk2/lablgtk.cmxa configure:8283: result: no configure:8466: checking for dot configure:8482: found /opt/local/bin/dot configure:8494: result: yes configure:8538: checking for /opt/local/lib/ocaml/dynlink.cmxa configure:8552: result: yes configure:8597: result: native dynlink works fine. Great. configure:2304: ************************************* configure:2306: * CHECKING FOR PLUG-IN DEPENDENCIES * configure:2308: ************************************* configure:8674: WARNING: ltl2ba not found. configure:8698: WARNING: aorai partially enabled because ltl2ba missing. configure:8710: WARNING: /opt/local/lib/ocaml/lablgtk2/lablgtk.cmxa not found. configure:8724: WARNING: gui disabled because /opt/local/lib/ocaml/lablgtk2/lablgtk.cmxa missing. configure:8724: WARNING: gui disabled because /opt/local/lib/ocaml/lablgtk2/lablgtk.cmxa missing. configure:2403: WARNING: security_slicing disabled because gui not enabled. configure:2435: WARNING: impact only partially enabled because gui not enabled. configure:2435: WARNING: metrics only partially enabled because gui not enabled. configure:2435: WARNING: occurrence only partially enabled because gui not enabled. configure:2435: WARNING: scope only partially enabled because gui not enabled. configure:2435: WARNING: slicing only partially enabled because gui not enabled. configure:2435: WARNING: syntactic_callgraph only partially enabled because gui not enabled. configure:2435: WARNING: value_analysis only partially enabled because gui not enabled. configure:2435: WARNING: wp only partially enabled because gui not enabled. configure:2304: ********************* configure:2306: * CREATING MAKEFILE * configure:2308: ********************* configure:9180: creating ./config.status ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by config.status, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status on alban.local.tld config.status:892: creating src/aorai/Makefile config.status:892: creating src/obfuscator/Makefile config.status:892: creating src/report/Makefile config.status:892: creating src/security_slicing/Makefile config.status:892: creating src/wp/Makefile config.status:892: creating share/Makefile.config configure:2304: ******************************* configure:2306: * SUMMARY: PLUG-INS AVAILABLE * configure:2308: ******************************* configure:10380: semantic_constant_folding: yes configure:10380: from_analysis: yes configure:10380: gui: no, /opt/local/lib/ocaml/lablgtk2/lablgtk.cmxa missing configure:10380: impact: partial, gui not enabled configure:10380: inout: yes configure:10380: metrics: partial, gui not enabled configure:10380: occurrence: partial, gui not enabled configure:10380: pdg: yes configure:10380: postdominators: yes configure:10380: rte_annotation: yes configure:10380: scope: partial, gui not enabled configure:10380: semantic_callgraph: yes configure:10380: slicing: partial, gui not enabled configure:10380: sparecode: yes configure:10380: syntactic_callgraph: partial, gui not enabled configure:10380: users: yes configure:10380: value_analysis: partial, gui not enabled configure:10380: aorai: partial, dynamic, ltl2ba missing configure:10380: obfuscator: yes, dynamic configure:10380: report: yes, dynamic configure:10380: security_slicing: no, gui not enabled configure:10380: wp: partial, dynamic, gui not enabled ## ---------------- ## ## Cache variables. ## ## ---------------- ## ac_cv_env_CC_set= ac_cv_env_CC_value= ac_cv_env_CFLAGS_set= ac_cv_env_CFLAGS_value= ac_cv_env_CPPFLAGS_set= ac_cv_env_CPPFLAGS_value= ac_cv_env_CPP_set= ac_cv_env_CPP_value= ac_cv_env_LDFLAGS_set= ac_cv_env_LDFLAGS_value= ac_cv_env_LIBS_set= ac_cv_env_LIBS_value= ac_cv_env_build_alias_set= ac_cv_env_build_alias_value= ac_cv_env_host_alias_set= ac_cv_env_host_alias_value= ac_cv_env_target_alias_set= ac_cv_env_target_alias_value= ac_cv_file__opt_local_lib_ocaml_dynlink_cmxa=yes ac_cv_file__opt_local_lib_ocaml_lablgtk2_lablgtk_cmxa=no ac_cv_file__opt_local_lib_ocaml_ocamlgraph_graph_cmx=yes ac_cv_file__opt_local_lib_ocaml_site_lib_zarith_zarith_cmxa=no ac_cv_file_src_aorai_Makefile_in=yes ac_cv_file_src_constant_propagation=yes ac_cv_file_src_from=yes ac_cv_file_src_gui=yes ac_cv_file_src_impact=yes ac_cv_file_src_inout=yes ac_cv_file_src_metrics=yes ac_cv_file_src_obfuscator_Makefile_in=yes ac_cv_file_src_occurrence=yes ac_cv_file_src_pdg=yes ac_cv_file_src_postdominators=yes ac_cv_file_src_report_Makefile_in=yes ac_cv_file_src_rte=yes ac_cv_file_src_scope=yes ac_cv_file_src_security_slicing_Makefile_in=yes ac_cv_file_src_semantic_callgraph=yes ac_cv_file_src_slicing=yes ac_cv_file_src_sparecode=yes ac_cv_file_src_syntactic_callgraph=yes ac_cv_file_src_users=yes ac_cv_file_src_value=yes ac_cv_file_src_wp_Makefile_in=yes ac_cv_prog_COQC=no ac_cv_prog_HAS_DOT=yes ac_cv_prog_HAS_LTLTOBA=no ac_cv_prog_MAKE=make ac_cv_prog_OCAMLC=ocamlc ac_cv_prog_OCAMLCDOTOPT=ocamlc.opt ac_cv_prog_OCAMLCP=ocamlcp ac_cv_prog_OCAMLDEP=ocamldep ac_cv_prog_OCAMLDEPDOTOPT=ocamldep.opt ac_cv_prog_OCAMLDOC=ocamldoc ac_cv_prog_OCAMLDOCOPT=ocamldoc.opt ac_cv_prog_OCAMLFIND=ocamlfind ac_cv_prog_OCAMLLEX=ocamllex ac_cv_prog_OCAMLLEXDOTOPT=ocamllex.opt ac_cv_prog_OCAMLMKTOP=ocamlmktop ac_cv_prog_OCAMLOPT=ocamlopt ac_cv_prog_OCAMLOPTDOTOPT=ocamlopt.opt ac_cv_prog_OCAMLYACC=ocamlyacc ## ----------------- ## ## Output variables. ## ## ----------------- ## CC='' CFLAGS='' COQC='no' CPP='' CPPFLAGS='' CYCLES_PER_USEC='' DEFS='-DHAVE_CONFIG_H' DOT='dot' DYNAMIC_AORAI='yes' DYNAMIC_FROM_ANALYSIS='no' DYNAMIC_GUI='no' DYNAMIC_IMPACT='no' DYNAMIC_INOUT='no' DYNAMIC_METRICS='no' DYNAMIC_OBFUSCATOR='yes' DYNAMIC_OCCURRENCE='no' DYNAMIC_PDG='no' DYNAMIC_POSTDOMINATORS='no' DYNAMIC_REPORT='yes' DYNAMIC_RTE_ANNOTATION='no' DYNAMIC_SCOPE='no' DYNAMIC_SECURITY_SLICING='yes' DYNAMIC_SEMANTIC_CALLGRAPH='no' DYNAMIC_SEMANTIC_CONSTANT_FOLDING='no' DYNAMIC_SLICING='no' DYNAMIC_SPARECODE='no' DYNAMIC_SYNTACTIC_CALLGRAPH='no' DYNAMIC_USERS='no' DYNAMIC_VALUE_ANALYSIS='no' DYNAMIC_WP='yes' ECHO_C='\c' ECHO_N='' ECHO_T='' EGREP='' ENABLE_AORAI='partial' ENABLE_FROM_ANALYSIS='yes' ENABLE_GUI='no' ENABLE_IMPACT='partial' ENABLE_INOUT='yes' ENABLE_METRICS='partial' ENABLE_OBFUSCATOR='yes' ENABLE_OCCURRENCE='partial' ENABLE_PDG='yes' ENABLE_POSTDOMINATORS='yes' ENABLE_REPORT='yes' ENABLE_RTE_ANNOTATION='yes' ENABLE_SCOPE='partial' ENABLE_SECURITY_SLICING='no' ENABLE_SEMANTIC_CALLGRAPH='yes' ENABLE_SEMANTIC_CONSTANT_FOLDING='yes' ENABLE_SLICING='partial' ENABLE_SPARECODE='yes' ENABLE_SYNTACTIC_CALLGRAPH='partial' ENABLE_USERS='yes' ENABLE_VALUE_ANALYSIS='partial' ENABLE_WP='partial' EXE='' EXEEXT='' EXTERNAL_PLUGINS=' src/aorai src/obfuscator src/report src/security_slicing src/wp ' FC_MCPP='no' FRAMAC_DEFAULT_CPP='gcc -C -E -I.' FRAMAC_VERSION='Fluorine-20130601' GNOMECANVAS='' GREP='' GTKSOURCEVIEW='' HAS_DOT='yes' HAS_GNOMECANVAS='' HAS_GTKSOURCEVIEW='' HAS_LABLGTK='no' HAS_LTLTOBA='no' HAS_NATIVE_DYNLINK='yes' HAS_USABLE_NATIVE_DYNLINK='yes' HAS_ZARITH='no' HAVE_BUILTIN_VA_LIST='' HAVE_PTRDIFF_H='' HAVE_STDLIB_H='' HAVE_WCHAR_H='' LABLGTK='' LABLGTK_PATH='+lablgtk2' LDFLAGS='' LIBOBJS='' LIBS='' LOCAL_MACHDEP='' LTLIBOBJS='' LTLTOBA='' MAKE='make' NATIVE_DYNLINK='/opt/local/lib/ocaml/dynlink.cmxa' OBJEXT='' OCAMLBEST='opt' OCAMLC='ocamlc.opt' OCAMLCDOTOPT='ocamlc.opt' OCAMLCP='ocamlcp' OCAMLDEP='ocamldep.opt' OCAMLDEPDOTOPT='ocamldep.opt' OCAMLDOC='ocamldoc.opt' OCAMLDOCOPT='ocamldoc.opt' OCAMLFIND='ocamlfind' OCAMLGRAPH_HOME='/opt/local/lib/ocaml/ocamlgraph' OCAMLGRAPH_INCLUDE='-I +ocamlgraph' OCAMLGRAPH_LOCAL='' OCAMLLEX='ocamllex.opt' OCAMLLEXDOTOPT='ocamllex.opt' OCAMLLIB='/opt/local/lib/ocaml' OCAMLMKTOP='ocamlmktop' OCAMLOPT='ocamlopt.opt' OCAMLOPTDOTOPT='ocamlopt.opt' OCAMLVERSION='4.00.1' OCAMLWIN32='no' OCAMLYACC='ocamlyacc' OCAML_ANNOT_OPTION='-annot' OTAGS='' PACKAGE_BUGREPORT='' PACKAGE_NAME='' PACKAGE_STRING='' PACKAGE_TARNAME='' PACKAGE_URL='' PACKAGE_VERSION='' PATH_SEPARATOR=':' SHELL='/bin/sh' THREAD_IS_KEYWORD='' UNDERSCORE_NAME='' USABLE_NATIVE_DYNLINK='' VERBOSEMAKE='no' ZARITH_PATH='/opt/local/lib/ocaml/site-lib/zarith' ac_ct_CC='' bindir='${exec_prefix}/bin' build_alias='' datadir='${datarootdir}' datarootdir='${prefix}/share' docdir='${datarootdir}/doc/${PACKAGE}' dvidir='${docdir}' exec_prefix='${prefix}' host_alias='' htmldir='${docdir}' includedir='${prefix}/include' infodir='${datarootdir}/info' libdir='${exec_prefix}/lib' libexecdir='${exec_prefix}/libexec' localedir='${datarootdir}/locale' localstatedir='${prefix}/var' mandir='${datarootdir}/man' oldincludedir='/usr/include' pdfdir='${docdir}' prefix='/usr/local' program_transform_name='s,x,x,' psdir='${docdir}' sbindir='${exec_prefix}/sbin' sharedstatedir='${prefix}/com' sysconfdir='${prefix}/etc' target_alias='' ## ----------- ## ## confdefs.h. ## ## ----------- ## /* confdefs.h */ #define PACKAGE_NAME "" #define PACKAGE_TARNAME "" #define PACKAGE_VERSION "" #define PACKAGE_STRING "" #define PACKAGE_BUGREPORT "" #define PACKAGE_URL "" configure: exit 0 On Aug 26, 2013, at 3:51 AM, Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > Hello, > > 2013/8/23 Stephen Siegel <siegel at udel.edu>: >> File "src/misc/service_graph.ml", line 248, characters 43-44: >> Error: Signature mismatch: >> ... >> The field `in_degree' is required but not provided >> make: *** [src/misc/service_graph.cmo] Error 2 > > It looks like a conflict with ocamlgraph. Could you send your config.log file? > > > -- > E tutto per oggi, a la prossima volta > Virgile > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss