ID0001034: **This issue was created automatically from Mantis Issue 1034. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001034 | Frama-C | Kernel > Makefile | public | 2011-11-30 | 2012-05-16 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | luoting | **Assigned To** | signoles | **Resolution** | no change required | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : I am trying to install frama-c Nitrogen-20111001 in ubuntu10.04 (linux 2.6.32). Firstly ,./configure luoting@luoting-desktop:~/frama-c2011/frama-c-Nitrogen-20111001$ ./configure configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... make make version is GNU Make 3.81: Good! configure: ***************************** configure: * CONFIGURE OCAML COMPILERS * configure: ***************************** checking for ocamlc... ocamlc OCaml version is 3.11.2: good! ocaml library path is /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version and standard library... differs from ocamlc; ocamlopt discarded. checking for ocamlc.opt... no configure: ******************************************* configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * configure: ******************************************* checking for ocamldep... ocamldep checking for ocamldep.opt... no checking for ocamllex... ocamllex checking for ocamllex.opt... no checking for ocamlyacc... ocamlyacc checking for /usr/local/lib/ocaml/ocamlgraph/graph.cmo... yes configure: your OcamlGraph version is incompatible with Frama-C. configure: switching to OcamlGraph provided by Frama-C checking for ocamlgraph... yes checking for ocamlgraph.tar.gz... yes 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 (2928.571 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... 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 why... yes checking for why-dp... yes checking for alt-ergo... yes Fatal error: unknown C primitive `caml_expm1_float' configure: alt-ergo version is . configure: alt-ergo's array theory unsupported. checking for coqc... yes configure: ******************************************************* configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure: ******************************************************* checking for /usr/local/lib/ocaml/lablgtk2/lablgtk.cma... yes checking for /usr/local/lib/ocaml/lablgtk2/lablgtksourceview2.cma... yes checking for /usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cma... yes checking for dot... yes checking for /usr/local/lib/ocaml/dynlink.cmxa... no configure: ************************************* configure: * CHECKING FOR PLUG-IN DEPENDENCIES * configure: ************************************* configure: WARNING: native dynlink unavailable (ocaml 3.11 or higher required) 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: yes 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: yes configure: users: yes configure: value_analysis: yes configure: aorai: yes, static configure: report: yes, static configure: security_slicing: yes, static configure: wp: yes, static and then $make luoting@luoting-desktop:~/frama-c2011/frama-c-Nitrogen-20111001$ make Building ocamlgraph make[1]: ?????? `/home/luoting/frama-c2011/frama-c-Nitrogen-20111001/ocamlgraph' sed -e s/VERSION/1.8/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \ META.in > META rm -f src/version.ml echo "let version = \""1.8"\"" > src/version.ml echo "let date = \""`date`"\"" >> src/version.ml rm -f .depend ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\ lib/*.ml lib/*.mli \ src/*.ml src/*.mli \ editor/*.mli editor/*.ml \ view_graph/*.mli view_graph/*.ml \ dgraph/*.mli dgraph/*.ml > .depend make[1]:?????? `/home/luoting/frama-c2011/frama-c-Nitrogen-20111001/ocamlgraph' make[1]: ?????? `/home/luoting/frama-c2011/frama-c-Nitrogen-20111001/ocamlgraph' ocamlc -c -I src -I lib -g -dtypes src/version.ml ocamlc -I src -I lib -pack -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/path.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/components.cmo src/kruskal.cmo src/flow.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo File "_none_", line 1, characters 0-1: Error: src/sig.cmi is not a compiled interface make[1]: *** [graph.cmo] ?? 2 make[1]:?????? `/home/luoting/frama-c2011/frama-c-Nitrogen-20111001/ocamlgraph' make: *** [lib/graph.cmi] ?? 2 why? Thanks!