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

[Frama-c-discuss] error when install frama-c



Good morning all.

I have a problem when I try to install frama - c.

 I have installed ocaml 3.11 and then I have used ./configure command. The
result of this command is attached in this email

When I use make command I have received the message

"make: *** No targets specified and no makefile found.  Stop."

I have tried to solve it but frama-c does not work.

Anyone help me, please?
Thanks you
Nam
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090830/55c682ad/attachment.htm 
-------------- next part --------------
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.1: Good!
ocaml library path is /usr/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... 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
checking for /usr/local/lib/ocaml/ocamlgraph... no
checking for /usr/local/lib/ocaml/ocamlgraph/graph.cmx... no
configure: Switching to local ocamlgraph
checking for ocamlgraph... yes
checking for ocamlgraph.tar.gz... yes
checking for ocamlgraph/Makefile... yes
configure: ***********************************************
configure: * CONFIGURE NON-MANDATORY TOOLS AND LIBRARIES *
configure: ***********************************************
checking for ocamldoc... ocamldoc
checking for ocamlmktop... ocamlmktop
checking for otags... no
checking for dot... no
configure: **********************
configure: * CONFIGURE PLATFORM *
configure: **********************
checking platform... Unix
checking if performance counters are usable... ok (2900.000 cycles per us)
configure: ***************************
configure: * WISHED FRAMA-C PLUG-INS *
configure: ***************************
checking for src/constant_propagation... yes
constant_propagation... yes
checking for src/from... yes
from... 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/jessie... yes
jessie... yes
checking for src/ltl_to_acsl... yes
ltl_to_acsl... yes
checking for src/metrics... yes
metrics... yes
checking for src/miel... no
miel... no
checking for src/occurrence... yes
occurrence... yes
checking for src/pdg... yes
pdg... yes
checking for src/postdominators... yes
postdominators... yes
checking for src/scope... yes
scope... yes
checking for src/security... yes
security... 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... yes
checking for src/wp... no
wp... no
configure: *******************************************************
configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure: *******************************************************
checking for ltl2ba... no
plug-ins not fully functional:
  ltl_to_acsl

checking for /usr/local/lib/ocaml/lablgtk2/lablgtk.cmxa... no
plug-ins disabled:
  gui

checking for /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cmxa... no
checking for /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cmxa... no
plug-ins disabled:
  gui

checking for /usr/local/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... no
plug-ins not fully functional:
  syntactic_callgraph

checking for /usr/local/lib/apron.a... no
checking for /usr/lib/apron.a... no
plug-ins not fully functional:
  jessie

checking for why/jc... yes
checking for /usr/local/lib/ocaml/dynlink.cmxa... yes
checking for lablgtk2's custom tree model... no