--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Frama-C on OS X



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